lse
Let n(d) = 17*d**2 - 351*d - 474. Let k be n(22). Let v be 35/(-4)*(-1 - 3). Is k greater than v?
False
Let o = -4.7721 + 0.0701. Let u = 0.002 + o. Let l = u + 4.76. Which is smaller: l or 4/7?
l
Let u(t) = -23*t + 7. Let f be u(1). Let m be (f/(-12))/(-2*(-2)/42). Let w be (-87)/(-6) - 0 - 7/m. Is w less than or equal to 15?
True
Let g be (15 + 108)*(0 + -3). Let w = -368 - g. Which is bigger: w or -8/145?
w
Let v(n) = n**2 - 29*n + 23. Let u be v(26). Let r be 13/104 - u/(-312). Which is smaller: -3 or r?
-3
Let g(x) = -2*x**2 - 89*x - 347. Let j be g(-41). Is j > -412/7?
False
Let y = -28/669 + -7492/34119. Which is bigger: y or 1?
1
Let l be (-17 - (-32 + 16))*0. Let s be 2*1 - 4784/2396. Is s not equal to l?
True
Let m(t) = -340*t + 1365. Let i be m(4). Suppose -p + 60 = 3*p. Is p at most i?
False
Let h = 371232004/90465 - -34/18093. Let y = h - 4142. Is -39 at most y?
True
Let d(z) = -56*z**2 + 727*z - 2. Let x be d(14). Which is bigger: -2399/3 or x?
-2399/3
Suppose 0*j = -3*j - 2*q - 61, -8 = -2*q. Let d be (-230)/25 - 1/(-5). Is d bigger than j?
True
Suppose -5*l - 13498 = -0*l + 10547. Is 0.1 greater than l?
True
Let s be ((-2)/(-6))/((-14)/(-7728)). Let q = 166 + s. Is q bigger than 350?
False
Let z = 36568054/685 + -53384. Is z <= 1?
True
Let u = 0.02371 + 2.97629. Which is smaller: -57/37 or u?
-57/37
Let g be (16130/(-25))/((-27)/270). Is 6452 bigger than g?
False
Suppose 5*n + a = 0, 61*n = 60*n + 5*a. Which is smaller: n or -1563?
-1563
Let n be 5978/15645*(-21)/4. Let c = n + -14/149. Let h be 10*16/20 - (56 - 46). Which is smaller: c or h?
c
Let s = 36 - 20. Let t = 178 - 195. Let p be ((-25)/5 + 4)*t. Which is greater: p or s?
p
Let k be 1/(2*6/12). Let d be k + -3 - (-384)/195. Is -1 not equal to d?
True
Let i = 29791 - 139034595/4667. Let s = 32839/396695 - i. Is 1 greater than s?
True
Suppose -14*l + 645 - 1877 = 0. Is -61 >= l?
True
Let p be 10*(-9)/405 + 0 + 61772/(-18). Which is greater: p or 1?
1
Let h = -276.24 + 278.24. Is 1486 smaller than h?
False
Suppose 8*n + 16 = 16*n. Suppose -9 = -4*g - g - 4*d, 0 = -g + 3*d - n. Are g and 6/53 equal?
False
Let s = -1368.15 - -1368.1. Which is smaller: 910 or s?
s
Suppose -12 = -5*t + 18. Let x be (-402)/(-9)*t/16. Which is bigger: x or 17?
17
Let d = 5.528 + -5.5216. Are 0 and d nonequal?
True
Let j(t) = -2*t**2 + 30*t - 54. Let l(u) = 2*u**2 - 33*u + 55. Let m(v) = -2*j(v) - 3*l(v). Let r be m(18). Which is greater: 26 or r?
26
Suppose 97*z - 102*z = -510. Let h = z - 64. Is h greater than 38?
False
Let m be ((310437/12)/17)/(-3). Is -506 > m?
True
Let j(g) = -g + 9. Let z be j(-6). Suppose -z*w = -22*w + 63. Which is smaller: 8 or w?
8
Let i = 230 + -1062. Let b = i - -173. Which is bigger: -660 or b?
b
Suppose 3*h - 5 = 2*h. Let s(m) = 3*m**2 + m**2 - 10*m - 1 - h*m**2 - 2*m. Let v be s(-13). Is -13 bigger than v?
True
Let o(p) = -p**3 + 22*p**2 - 2*p + 26. Let v be o(22). Suppose 4*b + 2*r + 3 - 1 = 0, 0 = 2*b - 5*r - 5. Let a = 2 - b. Which is smaller: v or a?
v
Let u(w) be the second derivative of -w**5/120 + w**4/8 - 17*w**3/3 - w. Let j(p) be the second derivative of u(p). Let h be j(3). Is -3/37 at most as big as h?
True
Let g = -255 - -260. Suppose 4*h - h - 107 = g*r, -r - 5*h - 27 = 0. Which is smaller: r or -19?
r
Suppose -3*i = y + 280, 0 = -i - 3*i - 2*y - 374. Let l = 130 + i. Suppose -3*w - 43 = -7*w - 5*q, -4*w - 3*q + l = 0. Is w at least as big as 5?
True
Let b be (-104)/(-2)*(8 - 1). Let c = 359 - b. Which is greater: -1 or c?
-1
Let w(j) = j**2 + 12*j + 8. Let k(q) = -q**3 - 7*q**2 - 3*q + 3. Let b be k(-6). Let v be w(b). Let f = v + -60. Are -9 and f unequal?
True
Let v = 738 + -738. Which is smaller: -3/833 or v?
-3/833
Suppose 4*r + 686 + 487 = m, 4*r - 5*m + 1161 = 0. Let d be 7*(-2)/4*r/21. Let f(a) = a**2 - 5*a. Let x be f(10). Which is smaller: d or x?
d
Let n = 0.288 + -0.33. Suppose 149 = 53*p + 43. Which is greater: n or p?
p
Let u = 215957 + -1941532/9. Let d = u + -231. Which is smaller: d or 215?
d
Suppose 3*l - 5*c + 1 = 0, -2*c = 4*l - 5*l + 1. Let o be ((-4)/(-6))/(33/6)*-69. Is l greater than o?
True
Suppose 0 = b, 3*p + b - 993 = -0*p. Let c = p + -330. Which is bigger: -3/43 or c?
c
Let g = -0.23 + 1.21. Let s = 1.03 - g. Is 0.02 not equal to s?
True
Let h be 0/(3 - (-1 - -2)). Suppose 2*v + 4*s = 32, -s = -2*s - 1. Suppose -3*n - 2*o + v = 0, 4*o = -3*n + 8*o. Which is greater: h or n?
n
Let v(n) = -4*n + 40. Let t be v(24). Let q = -225/4 - t. Let k = q + 3/4. Is k at least 1.3?
False
Let o be ((-6)/24)/(3/(-12)). Suppose -s + z = -3 - o, -5*s - 4*z = 16. Which is greater: -17/41 or s?
s
Let c = 575 + -582. Which is greater: -85/14 or c?
-85/14
Let s = 4271926133/2787190 + -2/278719. Let f = s + -1536. Which is greater: f or -4?
f
Let t be 8054778/(-11950) - 1/(-25). Which is bigger: t or -673?
-673
Let l = -308296 - -908786/3. Which is smaller: l or -5368?
-5368
Let j(r) be the first derivative of 11*r**3/3 - r**2/2 - 6. Let y be j(-2). Let b = y + -47. Which is smaller: 1/9 or b?
b
Let r(u) = 5*u**2 + u - 221. Let x be r(-16). Which is greater: 2083/2 or x?
x
Let d be ((-2)/3)/((-366)/9). Let p = -181/3843 - d. Is p smaller than 1?
True
Let z(v) = 4 + 8*v - 5 + 7 + v**2. Let f be z(-8). Let x be (-1)/5 - ((-198)/15)/f. Which is smaller: 5/6 or x?
5/6
Let z = -1 - -6. Suppose 0 = z*w + 3*i - 5, w + 14 = -w + 2*i. Let a be 56/(-18) - (27 + 6916/(-252)). Which is smaller: w or a?
a
Suppose -78*u = 375 + 171. Are u and -50 unequal?
True
Suppose -3*g - 88 = -34. Let h be (-119738)/207 + 4/g. Let m = h + 569. Which is smaller: -9 or m?
m
Let p be (-1 + (-2)/2)*(-153)/84. Let f = -197/56 + p. Does 7 = f?
False
Let j = 6/11129027 - 65900839/142877909753397. Let p = j - -4827363433/8558874. Let b = 564 - p. Which is smaller: b or 0?
b
Suppose -n + 4*l = -6*n - 5, -15 = -n - 4*l. Let t(m) = -m**2 - 3*m + 12. Let a be t(n). Let z be 20/(-25)*(-9)/(-4). Which is smaller: z or a?
z
Suppose 18*x + 2915 = 881. Do x and -118 have the same value?
False
Let d(o) = o**3 - 5*o**2 + 8*o + 17. Let r be d(5). Let f(s) = -s**2 + 2*s + 2. Let n be f(-1). Let a be (-741)/65*(-6 - n). Are r and a nonequal?
False
Let s = 1147.1 + -1145. Which is smaller: s or -1?
-1
Let y = 22 - -254. Let u = -276 + y. Is u greater than 8?
False
Let v = -0.06 - 0.14. Let f be ((-175)/25)/(-168) + (-866)/48. Which is smaller: f or v?
f
Let p(w) = -w**3 - 17*w**2 + 4*w - 252. Let g be p(-18). Are -1222/11 and g equal?
False
Let u = -64.9 + 60.9. Let y = -1 - 8. Let l = u + y. Is l at most 1?
True
Suppose -3*r = 15, -3*r - 2 = -v - 14. Let k be 9/2*8/(-12). Let o be 170/8*k*32/72. Which is greater: v or o?
v
Let a = -23455.9 + 23455. Is 1764 at most a?
False
Suppose -5768*y = -5789*y + 21. Let g(s) = s**2 - 8*s - 1. Let j be g(7). Let v be 6 + j + (-728)/(-365). Does y = v?
False
Let f = -807 + 808. Let i = -21 - -81. Let v be 2/i*(6 - 3). Is v at most as big as f?
True
Let o = 2304 + -2337. Which is smaller: -14 or o?
o
Let m(q) = -q**3 - q**2 + 2*q + 1. Let r(l) = 3*l**3 + 31*l**2 - 33*l + 28. Let w(c) = -2*m(c) - r(c). Let k be w(-30). Which is bigger: -0.04 or k?
k
Suppose 3*q - 73 = 2*z, 5*z = -2*q - 0*z + 74. Let i = q - 20. Suppose -y = i*y. Which is bigger: 3 or y?
3
Let z = 545.9278 - -0.0722. Let v = z + -545.841. Which is smaller: -2 or v?
-2
Let g be (-9)/(-45) - (-208116)/(-180). Which is smaller: g or -1152?
g
Let a = 47 - 5. Let b = -39 + a. Suppose 0 = -b*v - 12*v. Is v > -2/5?
True
Suppose 59 - 62 = -3*y. Is 1/40 < y?
True
Suppose 12*g + 425 = -4*g + 7353. Which is greater: g or 434?
434
Let b = -2/38553 + -25700/38553. Let u(x) = -x**2 + 6*x - 1. Suppose r + 8 = -2*h + 6*r, 4*h + 5*r = 44. Let w be u(h). Which is greater: b or w?
b
Let g = 287.3508 + 0.6492. Is 1/15 at least g?
False
Let l = 9204 + -9297. Do l and 10 have the same value?
False
Let q = 1894.95 - 1786. Let t = q + 2.05. Let h = t + -104.8. Are h and -0.1 equal?
False
Let l = 17 - 17.2. Is l bigger than 158/3?
False
Let c = 1.16 + 71.84. Let s = c - 73. Is 0.06 > s?
True
Suppose 1628*c - 1596 = 1649*c. Do -88 and c have the same value?
False
Let c be 48/(-28) - (-8349)/644. Does c = 11?
False
Suppose -4*w - 2*u - 42 = 0, 10*w + 32 = 6*w - 4*u. Let q be 143/w + (1 - -4)*1. Does -16 = q?