is greater: 47 or n?
47
Let u = -454 + 480. Which is smaller: 28 or u?
u
Let a be ((-9)/5 + 1)/((-14)/105*-51). Which is greater: a or -1/16?
-1/16
Let o(c) = 10*c**2 + 53*c + 697. Let g be o(-14). Is 1915 at most g?
True
Let q be 8/16*-12*(-5)/10. Let j(h) = -4*h**2 + 14*h - 5. Let u be j(q). Is -7/45 at least u?
False
Let x(i) = i**2 - 114*i + 1166. Let d be x(107). Which is greater: d or 418?
418
Let g be 13/((-26)/6) - -1*5. Suppose 10 = g*h + 8. Which is smaller: h or 37?
h
Let w(o) = -2*o**2 + 2*o - 5. Let s be w(4). Let t(k) = 8*k - 77. Let r be t(16). Suppose -20*h - 549 = r. Is s greater than or equal to h?
True
Let f be ((-65)/39)/(2/(-6)) - 588/(-45). Which is smaller: 0.1 or f?
0.1
Let x = 199/11200 + 1/448. Suppose -2*d = d - 15. Suppose -3*u = 1 - 16, -d*l - 10 = -2*u. Which is smaller: x or l?
l
Let y be 5 - (-2 - (-940)/128). Let r(m) = 3*m**2 + 21*m - 23. Let q be r(-8). Which is smaller: y or q?
y
Let r be (-1089)/(-1335) + (-6 + (-224)/(-40))/1. Is r equal to 0?
False
Let g = -34.05517 + 0.05517. Is -5 >= g?
True
Let n(v) = -122*v + 141*v - 7 + v**2 - 25. Let m be n(-9). Which is bigger: -123 or m?
m
Let g(u) = -u**3 + 9*u**2 - 11*u - 20. Let k be g(7). Let n be -4*k + 12/(-32)*-8. Let h be (-3)/5 + (-102)/(-165). Which is bigger: h or n?
h
Suppose 0 = 68*x - 64*x - 8. Suppose -x*l = -11*l. Which is smaller: -6 or l?
-6
Let t = 271 + -37. Let p be (-8)/(-4) - 252/t. Let n be 6/40 + (-8)/20. Which is bigger: n or p?
p
Let g = 108.89 + 1.11. Let m = g + -110.1. Which is bigger: m or -6/7?
m
Let n = 1025.8 - 947. Let g = -78.29 - 1.71. Let k = n + g. Is 0.1 smaller than k?
False
Suppose -5*p - 2 = -0*h - h, -p = -3*h + 6. Suppose -3*w = -2*s + 170, 0*s + h*s - 226 = 4*w. Which is smaller: w or -58?
-58
Let r be ((-225)/(-10))/(-9) - 3/(-2). Let h be ((-10 - -3) + 5)/(8/r). Which is greater: 14 or h?
14
Let k(w) = w**2 + 8*w + 3. Let c be k(-6). Let a = -1844 - -20179/11. Is a less than or equal to c?
True
Let w = 1509.2 + -1508.2. Which is bigger: 1.824 or w?
1.824
Let g be 2 + (-9180)/3955 + 4/14. Let o = 1060.1 - 1060.2. Which is greater: o or g?
g
Let b = 29 - 10. Suppose -b = 3*t - 5*u + 7*u, -4 = -4*u. Is -7 < t?
False
Let o = 5.8694 - -0.0906. Let y = 4.96 - o. Is y > 0.2?
False
Let j = 804437/53 + -15179. Is 0 less than j?
False
Let w(l) = 2*l**2 + 181*l - 2100. Let v be w(13). Is -11 < v?
True
Let v(l) = l**2 + 9*l - 4. Let x be v(12). Suppose 0 = 11*u - 7*u + 2*b - 64, 24 = 2*u - 3*b. Let r be x/(-60)*-3 + 9/u. Which is greater: 7 or r?
r
Let n = -939/91 - -227/13. Let b = -0.16437 + 0.36437. Is n < b?
False
Suppose -2*g - 108 = -5*g. Suppose 9*f - 4*f - 168 = z, g = f + z. Let r(v) = -2*v + 47. Let c be r(6). Which is bigger: f or c?
c
Let b = -4285 + 4288. Is 13/24 at least b?
False
Let p be 3873/14 - 640/560. Which is smaller: p or 276?
p
Suppose 0 = 4*i - 8*d + 5*d + 23, -5*i + 5*d = 35. Is 415 less than or equal to i?
False
Let g = 3.83 - 34.98. Let d = 30 + g. Which is bigger: -1 or d?
-1
Let x(y) = -8*y**3 - 58*y**2 + 18*y + 26. Let d be x(-8). Which is greater: -14 or d?
d
Let k = -1/784 + 506467/2352. Let h = -216 + k. Which is greater: h or -8/3?
h
Suppose -9*s = -5*s + 24, 2*u + 1262 = 3*s. Are -639 and u nonequal?
True
Let a be (0 + 2)*(-16)/((-384)/(-1623)). Which is smaller: a or -134?
a
Suppose -52*p = -65*p + 65. Let j be (p/(-1))/(1/(-1)). Let h = 10 + -5. Is h greater than j?
False
Let j be 2/6*(-12204)/576. Is j >= -8?
True
Let v = 3360 - 3361. Which is bigger: v or -3/1351?
-3/1351
Let g = -73/6 - -12. Let i = -6.89758 + -0.10242. Which is bigger: i or g?
g
Suppose -2*l = 3*z + 2, 7*l - 16 = 2*l + 3*z. Suppose -l*g = -18 - 6. Suppose 4*h - 2*b + 4 = -g, 2*h + 5*b = -32. Is h smaller than -4?
True
Let s = 1491 - 901. Let h be s/(2 - -6 - 0). Is 74 bigger than h?
True
Let o(n) = 503*n + 6486. Let i be o(-13). Is -1029/19 less than or equal to i?
True
Suppose -91*c - 516350 = -321*c. Is 2245 equal to c?
True
Let d = -2296.5 + 2176. Is -0.3 bigger than d?
True
Let l(f) = -f - 22. Let c be l(-27). Suppose 5*p - 4*p + c = -q, -4*p + 4 = -4*q. Suppose 2*x - 10 = 4*z, 7 = -x + 2. Is p equal to z?
False
Let c = -35.98 - -38. Let g = c + -0.02. Let h be 18/15*(-1 + 84/24). Do h and g have different values?
True
Suppose -7*h + 4*h = -6, 7*n = -n - 4*h. Are n and 7/90 equal?
False
Let m = -369/475 - 20239/4275. Is -6 at most m?
True
Suppose 0*z = 2*y + 2*z - 170, -5*y + 421 = 3*z. Let q be (-79 + y)*22/8. Is 2 less than or equal to q?
True
Suppose 0*f = -3*f + 12. Let w = -114 - -108. Let r = w + 7. Which is smaller: f or r?
r
Suppose -29 = -11*o + 8*o + 4*g, 0 = 5*o - 4*g - 35. Suppose 116 - 530 = -o*k. Which is smaller: k or 137?
137
Suppose 2*q + f = -904 - 4563, f + 2735 = -q. Let b = q + 155738/57. Is b at least 1?
False
Let a = -17190 - -1873792/109. Let d = 10326/763 + a. Is 13 bigger than d?
False
Let a = -0.08 - 104.92. Let v = -72.8 - a. Let p = v + -32. Is 3/19 equal to p?
False
Let j be 18/(-3)*5/(-6) - 0. Suppose -2*p = -2*z - 8 - 20, j*p + z = 52. Is 100/9 > p?
True
Let s = -468 - -483. Let d = -12 - 4. Let n = s + d. Which is bigger: 4 or n?
4
Let h be (151 - (4 - 3))*(-39)/78. Let y(r) = r**3 - 3*r**2 - 10*r + 8. Let w be y(6). Suppose -f = w + 19. Is f bigger than h?
False
Suppose -529*h - 20 = -525*h. Let o = h - -9. Suppose 0*n - 4*v - 28 = -3*n, 5*v = -5*n. Is n less than o?
False
Let j(h) = -h**2 - h + 20. Let d be j(4). Let g = 1/4518 + -81349/112950. Are d and g nonequal?
True
Let d = 2813 - 7410. Are d and -4596 nonequal?
True
Let b(c) = -3*c**2 - 7*c + 23. Let n be b(-7). Let t be 16*10 + n/(-75). Are t and 160 equal?
False
Let g(c) = 3*c + 9. Let j be g(-3). Let w be 1*(-75 - (0 - j)). Let v be 30/w + 6/20. Is v greater than -5?
True
Let a be (9*(-20)/(-312))/(5/((-25)/15)). Is -1 at least a?
False
Let z(t) = -104*t + 4. Let k be z(-3). Let p be 2/7 - k/28. Let i be (35/(-21)*3)/((-1)/(-2)). Which is smaller: p or i?
p
Let x(d) = 9*d - 7. Let r(u) = -2*u + 36. Let g be r(20). Let l be x(g). Is -45 at most l?
True
Let m(a) = -2*a**3 - 87*a**2 - 41*a - 40. Let u be m(-43). Let v be (-1)/(-3) + 56/u*21. Which is smaller: v or -132/13?
-132/13
Let p be 2/6 + (-1)/3. Let k be (-12851)/144438 - 4/(-56). Which is smaller: p or k?
k
Suppose 3 - 13 = -2*k. Suppose -k*w = 3*l + 64, 0*w + 4*w = -4*l - 72. Let u be (1 + 1)*l/26. Are -2/145 and u nonequal?
True
Let s be ((2 - -1) + -18)/(-2). Let f = -5001 - -4981. Which is greater: f or s?
s
Let z = 790 - 145. Are 645 and z non-equal?
False
Let k = -533 - -929. Suppose -k = q + 5*q. Let t = 66 + q. Do -1/2 and t have the same value?
False
Let n be ((-9)/20)/(-3 + (-315)/(-84)). Which is greater: -154 or n?
n
Let s = -7620 - -9212588/1209. Is 0 not equal to s?
True
Let a(i) = i + 14. Let r be a(-14). Let u be (r + (-1)/(-7))*(6145 - -2). Let g = u - 876. Which is greater: g or 1/2?
g
Let p = 262 + -270. Let u = -3 - p. Which is smaller: u or -1?
-1
Let j be (-748)/99*18/(-4). Suppose p - 50 = -i + j, 5*p - 258 = -3*i. Which is smaller: i or 80?
80
Let d = 20 + -23. Let n(i) = i + 43. Let v be n(-31). Let j be (v/9 - 2)*(-72)/(-30). Which is greater: d or j?
j
Let z be 4/(-6) + (-6)/(-9). Suppose -v - g + z*g + 40 = 0, -8 = -2*g. Suppose -3*h = -2*c - c + v, -4*h - 52 = -5*c. Which is bigger: -9 or h?
h
Let m(p) = p**2 + p + 2. Let k be m(0). Let l be (-2)/3 + -4 + (-2306)/6. Let n = -408 - l. Which is greater: k or n?
k
Suppose -55 = -5*m + 4*z - 9*z, -4*m - 2*z + 50 = 0. Let q be ((-2)/(-35))/(10/m). Is q at most 1?
True
Let k = -917/6 - -15133/102. Is 1 at most k?
False
Let i = 965 - 624. Let s = i - 517. Which is smaller: s or -0.1?
s
Let g(u) = 17*u**3 + 2*u**2 + 2*u - 3. Let k be g(2). Let n = 692 - 688. Suppose -n*m - k = 19. Is m < -41?
False
Let z(n) = -n**2 + 14*n + 161. Let m be z(19). Suppose -w + 3*g = -21, 4*w - 3*g + m - 105 = 0. Is w != -15/2?
True
Suppose -344*o = 443296 + 596960. Which is greater: o or -3025?
o
Let x be ((-58)/87)/(22/(-666)). Let w = -4152/209 + x. Let v be (-1 + 2)*(0 - 0). Which is greater: v or w?
w
Let b = 332.95599 - -0.04401. Which is smaller: 0 or b?
0
Let s = 1/67792 - -27794683/2508304. Which is bigger: 12 or s?
12
Let h = 80/51 - -3782/255. Let g be (9774/(-345))/3 + 161/(-23). Let t = h + g. Is 0 l