 than s?
False
Let w = 34 - 45. Let v be 22/w - -2*2. Suppose 2*q + 80 = 4*n + n, 3 = v*n + 5*q. Which is bigger: 16 or n?
16
Let f = 6067 - 6067.2892. Which is smaller: 0.1 or f?
f
Let s = -7325 + 7267. Is s equal to -45?
False
Let m = 16 + -16. Suppose m = 7*f - 15 - 6. Suppose -4*b + 85 = 3*h, 0*b - 3*h = -f*b + 69. Is 22 greater than or equal to b?
True
Let l(a) = 41 + 122 - 6*a + 10*a + 0 + 14*a. Let u be l(-9). Is 2/459 greater than or equal to u?
False
Let j = -48 + 47. Let c = 108 + -165. Let o = -35 - c. Which is greater: o or j?
o
Suppose 0*w - 5*w = 75. Let u be (-13)/2*(2 + 2). Let x = 10 + u. Is x equal to w?
False
Let n(f) = f**3 - 74*f**2 - 310*f - 158. Let t be n(78). Which is bigger: -127/42 or t?
t
Let o be -5 + (-18)/12*-2*5/3. Is o at least as big as -8/1167?
True
Let c be (-2344)/(-32) + 2/(-8). Suppose 3*k + y - c = 0, -56 = -3*k - 5*y + 33. Which is bigger: k or 22?
k
Let q be (-1 + (-12)/(-7))*(-76)/(-95). Is -975 != q?
True
Let u(x) = -x**3 - 5*x**2 + 4*x - 10. Let v be u(-6). Suppose -22 = -v*w + d - 5*d, -5 = -w + 4*d. Let r = -12 - -26. Which is bigger: w or r?
r
Let p(v) = -4*v**2 - 10*v - 24. Let u be p(-4). Let n be -2 - (32/(-400))/((-2)/u). Which is greater: n or 0?
0
Suppose 101*m - 13*m - 14245 = 11*m. Is m smaller than 176?
False
Let p = 0.145 - 0.25. Let a = -0.44419 - -0.03919. Let t = a - p. Are -10 and t non-equal?
True
Let h be (66/(-55))/(-6) + (10389/(-4170) - -2). Which is greater: 0 or h?
0
Let c be ((-6)/(-48)*2)/((-104)/78). Which is bigger: c or 1.5?
1.5
Suppose -2*a - 4 = 0, -a = -2*u + 4 + 10. Suppose u*k - 5 = k, -234 = 3*i + 3*k. Is -80 != i?
True
Let n be 8/(-29)*1/(-22). Let r = 704926070234/20097 + -35076184. Let y = n + r. Which is smaller: -1 or y?
-1
Suppose -s + 100 + 102 = -5*p, 0 = 4*s - 5*p - 793. Let u = -203 + s. Are u and 4 equal?
False
Let l(u) = u**2 + 12*u - 15. Let z be l(-14). Suppose 157 = z*o + 404. Is -16 at most as big as o?
False
Let y(f) = 22*f**2 - f**3 + 48 - f**3 - 3*f**2 - 47*f + f**3. Let l be y(17). Is l less than or equal to -175?
False
Let r(g) = -29*g - 272. Let b be r(-17). Let c = 228 - b. Let o = -1428 + 5741/4. Which is smaller: c or o?
c
Suppose -69*t = 189 - 4812. Suppose -l - 3*v + 82 = 0, 0 = -3*v + 1 + 14. Is t greater than or equal to l?
True
Let w be 165/(-825)*1/39*12. Suppose -8*v = -3*v. Which is bigger: v or w?
v
Let i = 2973854/33417 - 4179/47. Is i less than 0?
False
Let d be (-1 + 17 + -16)/(-1 - 4). Is d >= 1/9744?
False
Let i = 16.8 + 73.9. Let f = -100 + i. Let u = -5.7 + f. Is u at most as big as -2/7?
True
Suppose -83 = 7*k - 125. Let v(u) = u**3 - 8*u**2 + 12*u - 8. Let h be v(k). Let c be (-46)/112 + ((-9)/h)/9. Is c at least as big as -98?
True
Suppose -25 = -5*x, 0 = -2*r - x + 80 + 43. Let t = 1589 - 1528. Are r and t unequal?
True
Let q = -50 + 52. Suppose 0 = -4*h + q*h - 2. Suppose -9*w + 4*c = -4*w - 3, 2*w - 3*c = 4. Are h and w nonequal?
False
Suppose -2*m = 25*k - 26*k - 15, 4*m + 14 = -2*k. Is k smaller than 53?
True
Let q = -4947 + 4944. Which is smaller: 0 or q?
q
Suppose k = 2*h + 10, -4*k - 86*h - 20 = -82*h. Is -1/4229 less than or equal to k?
True
Let f(d) = d**3 + d**2 + 79. Let a(q) = 54*q**2 - 29*q - 56*q**2 + 14 + 1. Let j be a(-15). Let u be f(j). Is u less than or equal to 78?
False
Let r = -32929/6002045 + 11/1561. Which is smaller: r or 2/5?
r
Let n = -54513/20 + 2727. Which is bigger: 2 or n?
2
Suppose 0 = -4*w - c + 1996, -2*w + 381 = -c - 623. Let j be (2/22)/(5/w). Which is greater: 9 or j?
j
Let m = -4584/11 - -1553866/3729. Let s = -14986/2373 - m. Suppose -3*r = u - 9, -3*r + 4 = -u - 17. Which is greater: s or u?
u
Suppose -3*s = -4*v + 10, 0*v - 4*s = -2*v + 10. Which is smaller: v or 2/8131?
2/8131
Let p be 1 + (-1)/((-4)/(-84)). Let o be (-3)/13*4/p. Suppose 3*w - 5*f + 158 - 133 = 0, 4*w - 20 = -4*f. Is w less than or equal to o?
True
Suppose 2*h + 364 = -7*b + 12*b, 0 = 5*b + h - 358. Suppose -j - 4*w + 6 = -59, 3*w + 152 = 2*j. Is j >= b?
True
Suppose i + 4*a - 5*a - 35 = 0, -i + 4*a = -35. Let p = i - 40. Are p and 18 nonequal?
True
Suppose 13*y = 18*y - 5. Let h = 1 + y. Suppose h*m - m = 0. Is m greater than or equal to -2/9?
True
Suppose -962*x - 210 = -963*x. Suppose -4*m - k + 845 = 2*k, 3*m - k - 624 = 0. Is x bigger than m?
True
Let q be 1 + -2 + 3 - 86. Let f = -89 - q. Suppose 3*v = 2*a + 17, 8 + 1 = -3*a - v. Is a at least as big as f?
True
Let x(d) = d. Let l(s) = -1. Let i(p) = -3*l(p) - 2*x(p). Let m(w) = w**3 + 2*w**2 - w + 19. Let o be m(-4). Let h be i(o). Is 21 >= h?
True
Let a = 239 + -248. Let u(n) = 28*n + 134. Let c be u(a). Is c not equal to -116?
True
Let w be -19*3*(1720/(-300) + 4/10). Which is bigger: w or 310?
310
Suppose -1704 - 141 = -205*n. Is n greater than or equal to 421/44?
False
Let b = -754 - -267. Let c = -446.2 - b. Let a = c - 42. Which is smaller: a or -1/2?
a
Let l = -0.4 - -5.4. Let i = -8 + l. Let v(b) = 6*b + 206. Let k be v(-36). Are k and i non-equal?
True
Let m = 879 + -321. Let y = m + -300. Which is smaller: 257 or y?
257
Let x = -303.976 - -307. Let l = x - 0.024. Is l at least 20?
False
Let i = -14 + 15. Let f = 4017 - 4016. Is i at least f?
True
Let m be 8/16 - (-7451)/(-15030). Let s = m + 3/167. Let z be ((-16)/32)/(1/2). Is z less than or equal to s?
True
Suppose 8*l - 7*l = 30. Suppose 34*r = l*r. Suppose p + 15 - 7 = r. Which is smaller: -9 or p?
-9
Let r = -0.0556 + 0.1256. Let l be 66/9*2/4 + -2. Which is smaller: l or r?
r
Let u be (125/(-15))/(2/(-18)). Let g = -80 + u. Let v be 4/g + (-8)/(-30). Which is bigger: -1 or v?
v
Let l be (-2)/((-4)/32 - 0). Let v be (1 - 2)/(13 - l). Let w = 23.075 - 0.075. Is v less than or equal to w?
True
Let m(z) = 143*z - 573. Let k be m(4). Which is bigger: k or -5/936?
-5/936
Let f(d) = -d**2 + 22*d + 5. Let s be f(7). Let q be (24/(-105))/4*(-20 - s). Is q <= 8?
True
Let k be 0/1 + -57*(-1 + 0). Let z be 11/8 + (k/(-12) - -4). Let d = -39 - -41. Are d and z unequal?
True
Let n be (-46 - -38) + -3*(95 + 3). Is -298 at most n?
False
Let z be 13175/1479 - 3*3. Let n(d) = -d**3 - 12*d**2 - d - 13. Let r be n(-12). Is r < z?
True
Suppose 0 = 37*t - 35*t - 10. Suppose t*w - 9*w = 72. Which is smaller: -19 or w?
-19
Let g = -3235.403 - 2.597. Which is smaller: 2/5 or g?
g
Let b(l) = -l**3 - 9*l**2 - 6*l - 18. Let m be b(-9). Let h be m/(-24) + (-3)/(-6). Which is smaller: h or -22?
-22
Let l = 6981497/3914076 + 24/17167. Let r = l + -5/12. Which is bigger: r or 1?
r
Let m = -1497.9 - -1579. Let l = 81 - m. Is 8/5 less than or equal to l?
False
Let l be 3/225*(3115/(-2770) - 5). Let a = l + 6/277. Are 1 and a equal?
False
Let d(a) = 2*a**2 - 21*a + 91. Let y be d(14). Let j be 34/(0 - -2) - 3. Suppose y = 5*w - 4*p, -j = -2*w + 5*p + 48. Which is smaller: w or 83/2?
w
Let a = 216 - 212. Let k be (60/(-420))/(a/(-1379)). Is k >= 50?
False
Let k(f) = -124*f - 8753. Let n be k(-70). Let r = 5.3 + -5. Is n at most r?
True
Let r = -4191 - -4184. Are -0.028 and r unequal?
True
Suppose 5*k = 4*w + 9308, 4*w + 9306 = 5*k + w. Is k < 1861?
True
Let u = -0.4157 + 0.5957. Is u less than 0.07?
False
Let x(w) = 4*w**2 - 27*w + 39. Let j be x(10). Let y be (-3428)/(-26) + 26/j. Is y less than 131?
False
Let z(v) = -v**3 + 4*v**2 + 20*v - 23. Let k be z(7). Let r = -7 - k. Which is smaller: r or -3?
-3
Let l = 122 - 96. Let y = l + -25. Suppose 2*z = -2*v + 10, 0 = -v - 4*z + 12 + 8. Is y bigger than v?
True
Let m be 47/(846/432) - -4. Is 7 at most m?
True
Let d be -14*5/12 + 6 - (-2)/(-12). Which is smaller: d or 1/2333?
d
Let j be (-204)/(-10)*(-1 + -4). Let a = j + 182. Suppose 4*r - 12 - a = 4*g, -3*r + 5*g + 59 = 0. Is r at least as big as 29?
False
Let n = -5605/6 + 1867/2. Which is greater: n or 581?
581
Let f = 0.02 - 4.52. Let k = f + 5.22. Let i = k + -0.22. Is i greater than -2/5?
True
Let h be 1359/(-302)*(-2)/537. Which is greater: -0.3 or h?
h
Suppose 28*p = -43*p + 4*p + 29547. Which is smaller: 442 or p?
p
Let c(a) = 1005*a**3 - a. Let g be c(1). Let t be ((-1)/(-2))/((-1)/g). Let f = t + 3526/7. Which is smaller: f or 0.1?
0.1
Suppose 5*p - 54 = -4. Suppose p*b - 1728 - 12 = 0. Is b at least as big as 173?
True
Suppose 0 = 7*y - 3*y + 44. Suppose 218 = d + 4*a, 7*a + 430 = 2*d + 12*a. Let m be d/75*(-