 than or equal to y?
False
Let b = 1652.19 - 1653.9. Is b < -28?
False
Suppose 5 = -t, 0 = 4*o - 9*t + 4*t - 29. Let u be 1/(0 + 3 + -1). Which is greater: u or o?
o
Suppose 0 = 5*z + 19*u - 18*u + 602, 0 = 4*z - 4*u + 472. Is z at least -120?
True
Suppose 182*m - 88*m = 0. Is m less than or equal to 88/119?
True
Let g = -2 + 6. Let x = 657 + -648. Suppose -g*r - 5 = -x. Which is smaller: -2/105 or r?
-2/105
Suppose -939*w + 934*w + 2*i - 81 = 0, -2*w - 44 = 5*i. Suppose 5*a + 66 = -14. Do a and w have the same value?
False
Let i = 581 + -388. Suppose 0 = -i*k + 189*k - 4. Let o = 1.6 + 0.4. Is k less than or equal to o?
True
Suppose 3*v + 0*h - 4*h = 40, -2*h - 16 = -v. Suppose -32 = -3*n - 3*x - v, 5*x - 10 = 5*n. Which is smaller: n or -32?
-32
Suppose 5*u - 10055 = 5*j, 4*j = -2*u + 2923 + 1093. Is u smaller than 2010?
False
Let i = -45 - -45. Let t be 3*4/(3 - -1) + i. Let d be ((-35)/10)/(4/t). Which is greater: -4 or d?
d
Let b be (9/((-72)/(-16)))/((-1)/(-228)). Which is smaller: b or 1821/4?
1821/4
Let z = -52 + 57. Suppose -5*i + r = -23, -z*i + 2*i + 3*r + 9 = 0. Suppose 0 = 3*x + i*q - 75, 4*q = 5*x + 7*q - 109. Are 20 and x equal?
True
Let m(f) = -4*f**3 - 176*f**2 + 6*f + 261. Let p be m(-44). Which is smaller: -0.221 or p?
p
Let f be ((-562)/8 - -1)/(19/(50 + -354)). Which is smaller: f or 1105?
1105
Suppose 0 = -66*u - 17*u + 18*u - 1235. Which is smaller: u or -138/7?
-138/7
Let c be (93/279)/(2*1/(-12)). Is -64/71 at most as big as c?
False
Let s = -6415 + 7025. Which is smaller: s or 609?
609
Let i be -4 + 303/9 - (-2)/(-3). Suppose -5*j + i*s - 33*s = 11, 4*s = -16. Let p = 4 - 6. Are p and j nonequal?
True
Suppose 6*c + 4725 = c. Let l = -16057/17 - c. Let z(y) = -18*y**2 + 111*y - 19. Let a be z(6). Is a > l?
False
Let d = -45 - -8. Let v = 42 - d. Which is greater: 80 or v?
80
Let p = -38259 - -38669. Is 31 > p?
False
Let l = 3143 - 3142. Which is greater: l or 11962?
11962
Let s = 12 - 3. Suppose s*p - 11*p = 28. Let b be 219/(-15) - (63/45 + -4 + 3). Which is greater: p or b?
p
Let j be (-51838)/(-337116) - -26*20/(-3380). Does -1 = j?
False
Let u = 334.76 - 334.7. Which is smaller: 0.202 or u?
u
Let c be (-2)/4 + 9218/44. Let r = c - 210. Do r and -2/171 have different values?
True
Let i(b) = -b**3 + 3*b**2 - 7*b + 4. Let s be i(6). Let f = -1526394 + 83959701/55. Let q = s + f. Is q != 0?
True
Let s = 1 + 8. Let k be -4 - (-27)/3 - 3. Suppose -k*p - 90 = -11*p. Which is bigger: s or p?
p
Let v(q) = -82*q - 275. Let z be v(7). Let f = z + 846. Suppose 0 = -2*s + 5*p - 10, -s - 31 = -4*s - 4*p. Which is smaller: f or s?
f
Let h(x) = 2*x**3 - 6*x**2 + 4*x + 4. Let m be h(4). Suppose 4*w + 133*w - 5*w - 5775 = 957. Which is greater: m or w?
m
Let k = -5.791 + 6.4. Let l = k - 0.009. Let b = 48.4 + l. Is -1/3 greater than b?
False
Suppose 4*j - 8 - 12 = 0. Suppose -j = p - 7. Let f be p + (-108)/14 - -4. Is -1 at most f?
False
Let p = 3212 - 3213. Which is greater: -1/114 or p?
-1/114
Let o = 38 + -48. Let j(u) = u**2 + 7*u - 118. Let s be j(8). Is s greater than o?
True
Let v be (-416)/(-1066)*2/8. Let c = 42/11 - 188/55. Is c at most as big as v?
False
Let a = 81895/36 - 6830/3. Which is greater: 1/3 or a?
1/3
Let w(i) = 9*i**3 + 48*i**2 + 11*i - 21. Let d be w(-5). Is d >= -25/1152?
False
Let c be (-4 + (-715)/(-15))/((-408)/36 - -11). Let o = 8 + -6. Is c not equal to o?
True
Suppose 4*d + 479 = -2*j + 19, 2*j = 5*d - 415. Which is greater: -226 or j?
j
Suppose 8*g = 31*g - 1749 - 2667. Is 1159/6 less than or equal to g?
False
Let w(m) = -m**3 + m + 66. Let q be w(0). Let l = -75 + q. Let i(a) = -a**3 - 11*a**2 - 20*a - 4. Let r be i(l). Which is bigger: 3 or r?
r
Let h = 55/25893 - -2116985512/129465. Let d = 16281 - h. Let j = -25483/360 - d. Do j and 1 have different values?
True
Suppose 0 = -12*n + 87 - 574 + 43. Which is smaller: -32 or n?
n
Let x be 3/(1433211/(-208)*-8). Which is smaller: 0 or x?
0
Let c be ((-1288)/138)/((-2)/(-42)). Which is greater: -197 or c?
c
Suppose -4*k + 420 + 2248 = 0. Let z = -18013/27 + k. Let h = 23 + -22. Is z < h?
True
Suppose -24 = -3*q + 3*p, 0 = -0*q + 3*q + 2*p - 9. Let v(x) = -2*x - 4*x + 2*x + 6 + 3*x. Let s be v(q). Is s less than or equal to -2/7?
False
Let k = 3/568 + 189/4544. Suppose -2*j = 15 - 5. Let o(i) = -i**2 - 5*i + 1. Let g be o(j). Which is greater: g or k?
g
Let h = 14 + -37. Let f = h + 43. Let q = -21 + f. Which is smaller: -2/15 or q?
q
Let f = -2.217 + 2.26. Let s = f - 0.043. Is s smaller than -196?
False
Let c = -1451 - -1450. Is c <= 8160?
True
Suppose 0 = 5*f - 3*l + 109 - 536, -166 = -2*f + 2*l. Do f and 2079/23 have the same value?
False
Let t = -1823443690 - -457683693512/251. Let s = 2680 + t. Which is greater: 1 or s?
1
Suppose l + 7 = -7*c + 3*c, -12 = 4*l. Which is greater: -0.05093 or c?
-0.05093
Let n(c) = 4*c**2 - 4*c - 3. Let u be n(-6). Suppose -172*x + u*x = 21. Let t be (16/(-20))/(4/(-10)). Which is bigger: t or x?
t
Let j = -225 - -165. Let r be 45/j + 1/(-4). Which is bigger: 15/41 or r?
15/41
Let z = -3.8 + -18.2. Let w = -29 + 20. Let n = z - w. Which is greater: n or 1/5?
1/5
Let t be (-13)/34 + (-2)/(-4). Let i = 515 + -467. Suppose 9*y - 39 = -i. Is y less than or equal to t?
True
Suppose -3*l - 222 = s, -2*l - 446 = 2*s + 2*l. Let x = -225 - s. Is x < 2/69?
True
Let n be (-5 - (-68)/8)*3/(21/3892). Are n and 1944 equal?
False
Let f = 10512 + -115746/11. Let t(p) = p**2 + 16*p + 17. Let r be t(-14). Which is smaller: r or f?
r
Suppose 0 = -w - 25. Let p = 332 - 358. Does w = p?
False
Let o = -32115 + 32114.8. Which is smaller: 0.1993 or o?
o
Let s = -7 + 5.9. Let c = -1.6 - -2.6. Let x = s + c. Which is smaller: x or -24?
-24
Let w(q) = -96*q**2 - 206*q + 1. Let j be w(-3). Let m be 556/6*63/6. Let i be (-4)/(-7) + m/j. Is i > -4?
True
Suppose 27*k - 551 + 227 = 0. Let o be k/(-7)*(-140)/40. Which is smaller: o or 0.13?
0.13
Let c = 779.69 + -780. Which is smaller: 76 or c?
c
Suppose 572*b - 577*b = 5*k + 175, 4*k - b + 170 = 0. Suppose 5*l - 104 = 3*f, 2*l + 2*l + 235 = -5*f. Is f bigger than k?
False
Let s be (-15 + (-504)/(-35))*(-90)/81. Is -13462 at most s?
True
Suppose 0 = -4*w + r + 34, -6*r = 2*w - 3*r - 10. Suppose 2*q = -3*b - b - 1636, -3*b - 1240 = -5*q. Let p = b + 2084/5. Is w not equal to p?
True
Let q be ((-20)/25)/((-7)/(-35)) + -5 + 9. Is 3/1300 > q?
True
Suppose -5 = 3*l - 2. Let q be 6650/4 - -2*30/40. Let v = 96509/58 - q. Are l and v equal?
False
Let s be (7 - -3) + (-4 - -2)/2. Let n be (-74)/s + 0 + -92 + 88. Is n >= -11?
False
Let s = 119.2594 + -0.2594. Is s equal to -10?
False
Let j(t) = -148*t + 52. Let l = 67 + -87. Let o be j(l). Let m be ((-4)/o*-9)/((-3)/(-2)). Which is greater: m or 1?
1
Let v be (1 + (-715)/15)*(-204)/10. Suppose -2*k = 4*m - 6*k + v, 1184 = -5*m + 3*k. Let s be ((-2)/((-4)/(-1)))/((-5)/m). Which is greater: -25 or s?
s
Let s = 4131/2 + -2069. Is 9/5 equal to s?
False
Suppose 0*k = w - 2*k - 1, 0 = 3*k - 3. Suppose s - 4*d - 1 = 0, -1 = 5*s - w*s - 5*d. Let x(h) = h**2 - 5*h - 2. Let y be x(5). Which is bigger: s or y?
y
Suppose -162 = -151*b + 148*b. Let w be 0 - 12/b - 58/(-18). Which is bigger: w or 12/7?
w
Let f = -22531.97 - -22748. Let n = f + -216. Is -14 > n?
False
Let p = -199.718 - -14.718. Which is greater: p or -1?
-1
Let z = -344 - -344. Let q be (-2)/(-8)*(-152166)/(-51). Let n = q - 746. Which is smaller: z or n?
n
Let k = 23 - 18. Let s be k/((-4 - -2) + 3). Let q = -795.97 - -796. Which is greater: s or q?
s
Let v be -2 - (-6)/3 - -2. Suppose -t = -3*h - 449, h + 2*t + 18 = -120. Let s = h - -149. Is v at least s?
True
Let m = 29.475 + -29.645. Is m equal to 10?
False
Let j = 238.1 + -282.88. Let x = j + 45. Let g = 0.18 + x. Which is smaller: 4 or g?
g
Suppose 4*r - 42 = 5*s, -5*s - 11*r - 36 = -13*r. Let h be (-2 - -1)*333/6. Let c = -60 - h. Which is smaller: c or s?
s
Let t(d) = -d**2 + 10*d - 4. Let h be t(8). Let f(u) = -u**2 - 62*u - 950. Let x be f(-31). Is h < x?
False
Suppose 30*i = -28*i. Let t be (-16)/135 - (-6)/(-15). Is i at least as big as t?
True
Suppose 2464 = -65*v + 73*v. Suppose 6*t = -2*w + t - 302, 2*w + 2*t = -v. Is -157 at least w?
False
Suppose 11*m - 12*m - 6 = 0. Let p be (-756)/m - (1 + 0). Is 125 bigger than p?
False
Let j be ((