*i + 2*t - 198. Suppose -2*d + i = 6. Let l be (-1)/(-2) + (-216)/d. Is l greater than -12?
False
Suppose 4*m + i = 3*i - 10, -5*m - 5*i + 25 = 0. Let f be ((-15)/24)/5*20/(-25). Is f at least m?
True
Suppose 2784 = 95*u - 87*u. Is u at most as big as 349?
True
Let t(f) = f**3 - 12*f**2 + 19*f + 25. Let g be t(7). Which is greater: -86 or g?
-86
Let w be 55/(-33)*27/30. Is -3 > w?
False
Let u be 5605/36252 + (-22)/18 + 1. Let q = u - -8/53. Let h(y) = -y**2 + 5*y + 5. Let j be h(6). Which is greater: j or q?
q
Let m(v) = -v**2 - 12*v - 9. Let t be m(-10). Suppose 4*x = -4*l - 9 - t, 4*l + 13 = 3*x. Let z = x - 9. Is z < -10?
False
Suppose 5*v - 3*l - 213 = 0, 5*l + 4 + 1 = 0. Suppose -v + 12 = -6*s. Suppose 6*g = -5*x + 2*g - 17, s*x + g = -8. Is -2/49 greater than x?
True
Let t = 210 + -210. Is -221 < t?
True
Let o be 987/(-14)*10/15. Let z(b) = -2*b**3 + 6*b**2 - 3*b - 3. Let s be z(4). Is o smaller than s?
False
Suppose 4*m - 5*m + 198 = 0. Are m and 0 non-equal?
True
Let f = -284.5 - -281. Is f equal to 9?
False
Let w = 11/108 - -4/27. Let g = 67.89 - 67. Let s = g + 0.11. Is s < w?
False
Let o be 1/(3*(-9)/513). Let z = 40 + -58. Is z less than o?
False
Suppose -4*d - 791 = 3*x + 4, -5*x = 4*d + 805. Let n be (-47)/d - (-10)/25. Let v = 4/13 - n. Which is greater: 1 or v?
1
Let t be 212/(-14)*(-161)/(-12). Let v = -68 + -136. Let z = t - v. Are z and 1 non-equal?
True
Let d = 3.42 + -3.43. Is -0.14 at most as big as d?
True
Let g = 3 + -2. Let y = -806 - -522. Let l = y + 281. Do l and g have different values?
True
Let t = 28121 - 36079246/1283. Which is bigger: t or 0?
0
Suppose -5 = -5*n, 6 + 0 = 4*g + 2*n. Let u be (-2)/4 - (-38)/(-4). Let m be 22/u + -3 + 5. Which is smaller: g or m?
m
Let b(y) = y**2 - 8*y + 4. Let u be b(7). Let s be (u/4)/(54/(-16)). Let j = -23 + 22. Are s and j unequal?
True
Suppose -2*o - 3 = -s - o, -2*s = -4*o - 6. Let v(r) = -r + 3. Let z be v(s). Let l be ((-4)/(-6) - -1)/(-2). Which is bigger: z or l?
z
Let z be 10/5215*92 - 5/35. Is -1 bigger than z?
False
Suppose -3*z + 30 = 3*c, 0*z - 38 = -5*c - z. Suppose 3*a - 5*q - 146 = 0, 5*a - 2*a = 4*q + 142. Let g be (-14)/4*(-96)/a. Do c and g have the same value?
False
Let r = 20 + -29. Suppose 3*t - 5*l = 135, -2*t + 0*t + 2*l = -86. Let m be (t/(-12))/((-2)/(-6)). Which is smaller: r or m?
m
Suppose -50 = 4*z - 3*x, -2*z - 40 = 5*x - 2. Let n = 133.1 - 133. Which is bigger: n or z?
n
Let h be -17*(-1 - 0 - -2). Let y = h - -53/3. Let t = -20.61 - -17.61. Is y smaller than t?
False
Let j = -0.1 + 0.2. Let p = -344.8 - -340.8. Which is smaller: p or j?
p
Suppose 2*m + m = 321. Let v = 57 - m. Which is bigger: -51 or v?
v
Let q be (60/35)/(6 - 172/28). Which is bigger: q or 4/3?
4/3
Let b = 3 + -4. Let n be 4/(-16)*(-8)/(-6)*b. Is 2 at least as big as n?
True
Suppose 4*a - 2*a = 10. Let n(i) = -i**2 + 6*i - 4. Let q be n(a). Does q = -3?
False
Suppose -3*o + 122 = 4*x, x = -o - 8 + 48. Let a be (-14)/49 + 26/28*o. Is 35 at most a?
True
Let z be (7 - 0) + (-57 - -5). Which is bigger: -42 or z?
-42
Let k = -2 - -18. Suppose -7*i + 5*i = 4*j - 50, -4*i + 76 = 2*j. Which is smaller: k or i?
k
Let r(u) = u + 1. Let n(j) = 6*j + 2. Let s(b) = n(b) - 5*r(b). Let z be s(6). Suppose 3*o = -5*m + 22, 2*o + 2*o - 11 = -z*m. Is o at least 0.11?
False
Suppose -2*w + 0*w - 210 = -n, 3*w + 308 = -2*n. Let u = w - -317/3. Which is bigger: u or 1?
u
Let x = -542 + 23847/44. Let h = 0.04818 + -0.24818. Is h not equal to x?
True
Let j(c) = -c**3 + c + 4. Let m be j(0). Let s be (-8)/20 + (-17)/(-5). Suppose -s*h - 5 = 3*l + 1, -m*h + 16 = -4*l. Which is greater: -1 or l?
-1
Let f(j) = 2*j - 7. Let b be f(6). Let u = 11 - b. Is 9 not equal to u?
True
Let o be 3/(-18) + 30/(-504). Let v = o - -10/21. Which is greater: -0.1 or v?
v
Let s = -47.2 + 47.3. Is -324 < s?
True
Let n be (14/12)/(1711/174). Which is smaller: -1 or n?
-1
Suppose 0 = 11*q - 14*q - 2*q. Which is greater: q or 7/20?
7/20
Let h = 28 + -26. Let z(c) = 4*c - 6. Let k be z(h). Which is smaller: k or -8/5?
-8/5
Let d(a) = a**3 - 14*a**2 - 17*a + 29. Let z be d(15). Is z less than or equal to -80/47?
False
Let h(c) = c**3 - c**2 - 12*c - 5. Let d be h(4). Do d and 14 have the same value?
False
Suppose 4*i - 35 = -3*i. Suppose -14 = i*s + 3*l, -1 = 4*s - l - 0. Do s and -1/2 have the same value?
False
Suppose 2*g = 5*g - 24. Let s = 9 - g. Let c be s*3/12*0. Is 3/13 less than or equal to c?
False
Suppose 0 = 2*g + 4*m + 191 + 7, -5*g - 2*m = 463. Let w = g - -121. Is 30 greater than w?
False
Let v = 0.2 - 0. Suppose 2*g - 3*x = g + 10, -2 = 5*g - 2*x. Let s be -3 + 49/28 - g. Which is smaller: s or v?
v
Let m = 0.0002 + 0.0268. Are 1 and m unequal?
True
Let h = 18.853 - -0.047. Let s = h + 6.1. Let a = -4 + 13/3. Is s equal to a?
False
Let g(q) = -q**2 + 13*q + 101. Let l be g(13). Which is bigger: l or 106?
106
Let l = -15 - 3. Let r be (1 + -64)*(2 + -1). Let n be (-14)/l - 14/r. Which is smaller: n or -2/25?
-2/25
Suppose -202 + 514 = 6*n. Are 52 and n non-equal?
False
Let u be 8/6*210/7. Let p be (-28)/(-5) + 1 + u/(-25). Let q(y) = -7*y - 1. Let t be q(-1). Is t bigger than p?
True
Let v(l) = -l**3 + 4*l**2 + l + 4. Let n = 4 - -4. Suppose i = -i + n. Let z be v(i). Which is smaller: z or 10?
z
Let t = -0.31 + 2.11. Let b = t - 1.9. Let v be -1*(-2 - (-21)/10). Is b at least v?
True
Let k be (-55)/(-2) - (-1)/2. Suppose 0 = f + f + k. Let p = 3907 - 3920. Is f > p?
False
Suppose 3 + 8 = 3*s + 4*g, -3*g - 21 = -s. Let c = 12 - s. Suppose -8*w = -c*w. Is 1 <= w?
False
Let r be -1 - 39/9*6. Let f = 30 + r. Suppose f*q = -3*o + 3, 4*q - o - 2*o = 4. Does -2/19 = q?
False
Let n = -15 - -7. Let g = 15.83 - -0.17. Let c = -17 + g. Which is bigger: c or n?
c
Let m be 3 - 0 - 1385/321. Let d = 2/107 - m. Is 1 at most as big as d?
True
Let z = 151 - 152.71. Which is smaller: z or 0.4?
z
Let m(o) = 3*o**2 - 9*o + 2. Let j be m(6). Let g be (-2 + 4)*(13 + 448/(-35)). Are g and j nonequal?
True
Let k = -9027 + 9026. Let v = -3.7 - 0.3. Is v less than or equal to k?
True
Let p = 4470793/55 + -402743/5. Suppose 1468 = -2*i - 4*l, 403 = -i + l - 337. Let d = i + p. Which is bigger: d or 0?
d
Suppose -p + 95 = 4*l - 113, -3*p + 589 = 5*l. Suppose 0 = -3*d + 3*q + 144, 4*d + q - p = 4*q. Which is smaller: 43 or d?
43
Let y = 10616 - 5659. Let w = y - 163654/33. Let m = w - -6/11. Is m equal to -2?
False
Let p be 1/(-2)*12/(-6). Is -10/27 <= p?
True
Suppose -2*o = 4*u + 29 - 23, -4*o - 12 = u. Do 3/682 and u have the same value?
False
Let z be -3 - (0 - 3) - 1. Let p be 1/((-45)/(-10) + z). Let x = -5 - -13. Is x at most as big as p?
False
Let x be -1 + 9/3 + -52. Let f be ((-40)/x)/(2/20). Suppose -j + f = -1. Is j not equal to 9?
False
Let s = -286 - -290. Let d = 15.1 + -15. Which is bigger: d or s?
s
Let s be (3 + 6)*4/3. Let m be (-22 + -4)*2/(12/(-3)). Is s less than m?
True
Let r = -121 + 115. Let l(q) = -3*q + 6. Let f be l(6). Let x = f + 5. Which is bigger: x or r?
r
Suppose 0 = -72*h + 74*h - 8. Let m = 16022/7 - 2284. Which is smaller: h or m?
h
Suppose -16 + 4 = -4*w. Let y(x) = -x + 1. Let z be y(-3). Suppose -w*a = z*f - 15, -6*a + a = -f - 25. Which is greater: f or 2?
2
Let b = 318 - 320. Let j = 0.2 + 0.8. Let a = j + -0.9. Is b less than a?
True
Let h(n) = 3*n**2 + 4*n - 16. Let y be h(-5). Let p = y - 38. Let w = -1.5 - 0.5. Which is smaller: w or p?
w
Let s be (28/(-4))/(-1 - -3). Let c(w) = -2*w**2 - 136*w - 137. Let z be c(-67). Are z and s non-equal?
True
Let l(q) = -q**3 + q**2 + q + 2. Let g be l(2). Let o(j) = j**2 + 11. Let s be o(g). Is 11 at most as big as s?
True
Let m = -22 + 11. Let d = 3 + m. Is d less than -12?
False
Let u = 5.96 + -6. Let n = -1.66 + u. Let j = -1.6 - n. Which is bigger: j or -7?
j
Suppose 0 = 11*s - 128 + 51. Suppose -5*c + 31 = 4*g - 3*g, 5*g = -2*c + 40. Suppose s*j = g*j + 5. Which is smaller: j or 2?
2
Let s = 13 - -4. Let k = s - 7. Let o = k + -10.1. Does -3/2 = o?
False
Suppose -4*g - 8 = -152. Let m be 12*(g/16 - 3). Let p = m - -10. Which is greater: p or -1?
p
Let i be 0 + 0 + 4/2. Suppose 5*p = -4*t + 18 - i, -5*t + 20 = 5*p. Suppose 23*k = 95*k + 72. Which is smaller: p or k?
k
Let f be -13 - -13 - (-4)/(-18). Let o = -3956/9 + 438. Are f and o unequal?
True
Let