 u at least as big as p?
False
Let g be 1*(-8 - -12) + (-13)/((-26)/(-4)). Does g = 923?
False
Let x(q) = 84*q - 4871. Let p be x(96). Which is smaller: 6385/2 or p?
6385/2
Suppose 67973 = 75*x + 22448. Does x = 2433/4?
False
Let b(k) = -58*k**2 + 80*k + 61. Let j be b(7). Is -1/4 smaller than j?
False
Suppose 0 = 3*v + 2*l + 44, 0 = 2*v - 2*l - 7668 + 7664. Let a = 106 - 338/3. Is a >= v?
True
Let s = 613/15 - 376176/9205. Is 0.1 bigger than s?
True
Let y be (379/15160)/((1 - (-129)/4) + 1). Which is greater: 1 or y?
1
Let b(x) = x**2 + 20*x - 21. Let u be b(1). Suppose 2*r - 13 = l, 2*l + r = -u*r - 6. Is l greater than or equal to -68/13?
True
Suppose 0 = -3*d - 149 + 995. Let r = d + -307. Which is greater: 0 or r?
0
Suppose 19*m - 44 = 127. Let d be (-93)/(-5146)*(30/m + 2). Is d less than 1?
True
Let d = -161 - -310. Let t = d + -154. Suppose 5*c - 53 = -n, c - 23 = -2*c - 5*n. Is t equal to c?
False
Let s(k) = 1390*k**2 - 9*k + 22. Let g be s(2). Let v = g - 27922/5. Which is greater: -20 or v?
-20
Let a(v) = v**2 + 23*v + 119. Let t be a(-8). Is t at most as big as -1/6235?
True
Let t = -2180 - -1972. Which is greater: t or -212?
t
Let f be -2*(154/32)/7. Let z = 39/40 + f. Let l = 0.119 + -4.119. Is z < l?
False
Suppose -2*w + 5*r = 10, w + 5*r + 4 = -1. Let l = -51.7 - -31.8. Let s = l - -19.9. Is s at most w?
False
Let z(s) = s**2 - 2*s + 37. Let j be z(19). Suppose -j = 7*f + 3*f. Let d = f + 37. Which is smaller: d or -1/9?
-1/9
Let j be 646/(-1204) + -1 + 1. Let q = j + -3/86. Suppose -568*d + 573*d = -5*w - 25, -3 = -5*w + 2*d. Which is smaller: w or q?
w
Let r be 141/(-1)*(-160)/30. Suppose p - r = -140. Are 612 and p unequal?
False
Let j = 112/37133 + 449158192/854059. Let p be -1*(-526)/(1 + -2). Let v = j + p. Which is greater: -1 or v?
v
Let s be (-13)/(-1170130)*-2*(-5 - -7). Is -1 not equal to s?
True
Let h = 1.256 + -1.07. Let y = 8735 + -8735. Which is greater: h or y?
h
Let d = 8963.511 + -8963. Is 20 < d?
False
Suppose 0 = 4*u + 23 - 27. Let g = -5/2 + u. Let t = -2 - g. Do -15 and t have the same value?
False
Let q be (7 - 53195/(-100)) + 2 + (-32)/10. Which is bigger: 537 or q?
q
Suppose -65*w - 96*w = 621752 + 322674. Which is bigger: -5865 or w?
-5865
Suppose -5*q - 10 = -0*q, 4*j - 810 = -q. Let c = -373 + j. Are -171 and c nonequal?
True
Let w be 12/((-62 + 64)/(1 + -2)). Let p be (0 - 2)/(4/14). Do p and w have the same value?
False
Suppose 4*d - 3*n - 179 - 21 = 0, 0 = -3*d - n + 150. Suppose 3*v = 5*i + d, 74 = 5*v + 3*i - 2*i. Let j = 277 + -262. Are v and j equal?
True
Let s = 15530.9493 + -15531. Which is greater: 0 or s?
0
Let a(h) = -3693*h**3 + 6*h**2 + 12*h + 9. Let y be a(-1). Is 3695 at most as big as y?
True
Let k be (-1 - 0)/(((-33)/(-3))/22) + -2934. Are k and -2936 nonequal?
False
Let m = 6.04 + -7.04. Let j = -8 - -5.5. Let h = j + -0.5. Which is greater: h or m?
m
Let f(v) = 2*v**2 - 9*v + 5. Let k be f(4). Let l be k/(-3 - (-183)/60). Suppose -16*y - 108 = -l*y. Is y at least as big as 30?
False
Let x = -18749 + 22372. Is 10870/3 at most as big as x?
False
Let k(y) = -34*y - 3822. Let h be k(-114). Which is smaller: 148 or h?
h
Suppose -y = 3*o - 15, -4*o + 25 = 6*y - 3*y. Suppose 0 = 3*j + 5*f + 23, -6*j - f = -o*j + 13. Let v be ((-16)/12)/((-4)/j). Which is smaller: -13 or v?
-13
Let b(o) = o**3 - 3*o**2 - 102*o - 101. Let h be b(-1). Is -47/25 > h?
True
Let s = -1599.3 + 1599.3891. Which is greater: -7 or s?
s
Suppose -2*f - 82 = 2*h, -13*h = -18*h - 4*f - 211. Which is smaller: h or -9?
h
Let v = -3267 - -3269. Is v bigger than 160.5?
False
Suppose -11*u + 7*u + 12 = 0. Let r be (-60)/615*u/(-6). Is -1 not equal to r?
True
Let g = -33 + 32.83. Let m = -7.5 - -7.57. Let z = g + m. Which is smaller: 0.15 or z?
z
Let o = 49 - 69. Let n be (10/6)/5 + (-2990)/6. Let s = -515 - n. Is s equal to o?
False
Suppose d + 48 = 4*z + 3*d, -3*z + 29 = -2*d. Let t = -24 - -33. Let j be t - -3*(2 - 1). Which is greater: j or z?
j
Let v be 1336 - 1 - (-137 + 149). Is v less than 1322?
False
Let l = -227.13 + 227. Let w = -0.87 + l. Are 8/3 and w unequal?
True
Let k(f) = 21*f**2 + 20*f - 37. Let b be k(2). Let o = 46 - 19. Let z = b - o. Which is smaller: 61 or z?
z
Let x be (((-156)/(-18))/((-6)/(-81)))/(1/(-4)). Which is greater: -471 or x?
x
Let n be (0/(-2))/(-1*(-2)/(-2)). Let z be 1/(-5) - (-1 - (-68295)/(-125)). Let w = z - 547. Is w > n?
True
Let u = -513 + 513.577. Let c = -0.47 + u. Which is smaller: c or -2?
-2
Suppose 0*y - 4*x + 76 = -5*y, -2*y - 29 = -3*x. Suppose 34 = -4*k + l, 3*l + 16 = -k + 7*l. Is k less than or equal to y?
False
Let i = 7570 - 6495. Is i < 1075?
False
Let g = -4160 + 2373. Let q = 280556/157 + g. Is q less than 1?
True
Let o(g) = g + 10. Let l be o(-4). Suppose 5*j - 4*w - 39 = 0, 2*j + 64 = l*j + 5*w. Suppose -j*p - 130 = -p. Which is smaller: -3 or p?
p
Let z = -33 + -48.8. Let r = 82 + z. Let h = -0.029 + -0.971. Is h <= r?
True
Let q be 31*(-25)/(-1550)*2/(-7)*0. Let k be (6084783 + 1)*(-1)/(-754). Let r = -8070 + k. Is r at most q?
False
Let g = -200 + -32. Is g greater than -238?
True
Let u be (-3458)/(-3) + (-42)/(-126). Are 1152 and u equal?
False
Suppose -5891 = -n - 606. Is n at most as big as 5286?
True
Suppose -3*p - 219 = -4*t + 201, 5*p - 490 = -5*t. Let o = t - 485/4. Which is greater: -18 or o?
-18
Suppose -3*o - 3*t + 184 = -200, -t = 4*o - 506. Suppose 0 = -77*h + 71*h + o. Which is smaller: h or 29?
h
Let o(x) = 5*x**2 - 32*x - 699. Let p be o(-24). Is p at most as big as 2950?
True
Let x = 86 - 74. Let a be x + 9/(18/(-8)). Suppose -c - 4*h = 19, -3*c - 3*h + 4*h = -a. Which is greater: c or -1/48?
c
Suppose -k + i + 695 = 0, -3*k = -i - 715 - 1366. Which is smaller: k or 685?
685
Let x be 2 - (3 - 3)/(-4)*-1. Suppose 3*v + 50 = -x*v. Let a = v - -28/3. Which is greater: 11/4 or a?
11/4
Let w be 25660/(-47) + 44/(-1034). Is w at least -2734/5?
True
Let g = 15255850363 + -6849871310045/449. Let v = 12256 - g. Let c = 8527/898 + v. Is 9 smaller than c?
True
Let t = -2 + -5. Let o(q) = 2680*q + 16081. Let p be o(-6). Is t equal to p?
False
Let p be (-60)/28 - (-1168988)/1190. Which is smaller: p or 981?
p
Suppose 2*v - 4 = 0, 3*v + 2346 = -41*c + 37*c. Which is greater: c or -591?
c
Let q = 867 - 71. Which is bigger: q or 795?
q
Let x(w) = 6*w + 164. Let c be x(-27). Suppose 0 = 5*y - 5*z, 122 - 126 = y - c*z. Suppose -61 = -5*d - 2*o, -20 - 12 = -4*d + 4*o. Which is greater: d or y?
d
Let r(g) = -9*g + 26. Let b(h) = -11*h + 26. Let d(o) = 4*b(o) - 5*r(o). Let a be d(-3). Let m be (-2)/(-6)*0 - 29. Is a bigger than m?
False
Suppose 4*g = -4*u - 288, 5*u = g + 22 + 38. Let s = -313 - -244. Is s greater than or equal to g?
True
Let a = 23292 - 23291. Which is greater: a or 27/10?
27/10
Suppose 3*g + 6 - 12 = 0. Let m be g/(-6) - 1225/(-30). Suppose -3*x + 123 = 3*f, -x = 7*f - 2*f - 201. Which is smaller: f or m?
f
Let y be -2447 - (2 - -1 - 4)*(-24 - -28). Which is smaller: y or -2445?
-2445
Let t = 0.396 - 0.25. Let s be (0 - 2) + 18 + -20 + (-272)/(-64). Which is bigger: s or t?
s
Let z be (-286)/(-65) + -5 + 17202/28695. Which is greater: 1 or z?
1
Let q = 173 - 176. Let u be (-35)/q*(-6)/(-5). Which is greater: 15 or u?
15
Let g = 691 - 685.12. Is 0 >= g?
False
Let j(h) = 4*h**3 - 6*h**2 - 17*h + 36. Let r be j(7). Is r >= 995?
True
Let k = -14.995 - -8.995. Is -0.446 greater than k?
True
Suppose -u - 6 = -2*u. Suppose 0 = 5*v + u*v. Which is smaller: v or -5/9?
-5/9
Suppose 4*k - k = 0. Suppose 2*z + 2 = -k. Let w = 17/22 + -303/506. Which is smaller: z or w?
z
Suppose 2*l = 6*l + 12, -3*l - 45 = -4*g. Let h = 5/2137 - -104688/10685. Which is smaller: g or h?
g
Let p = 45 + -40. Let g be 3/2 - p/10. Let y be -1*(g + 0 - 0)*7. Do y and -10 have different values?
True
Let k(w) = -w**3 - 16*w**2 + 18*w + 12. Let r be k(-17). Let f = -19 + -25. Let n be (3/6)/(1*4/f). Which is bigger: n or r?
r
Suppose -48*c + 90047 + 192193 = 0. Is c >= 5881?
False
Let o = -350 + 371. Suppose -3*p = 18 - o. Is -5/72 at least as big as p?
False
Let z be (-2 - (-264)/126) + -3*(-8)/(-252). Is 21/104 < z?
False
Let r be (-3 + 93/5)/((-466)/33319). Which is bigger: -1116 or r?
r
Let d be 10/(-146)*(-4)/(-10). Let l(m) = -415 + 859 + 13*m - 353. Let i be l(-7). Which i