60. Let i = n - -18. Is -3/2 < i?
True
Let q = -664 - -780. Which is smaller: q or 1/2?
1/2
Let u = -100 - -111. Suppose -a + 516 = u*a. Is 43 < a?
False
Let s = -32 + 228/7. Suppose 0 = 2*t - 6*k + 3*k - 14, -9 = 3*t + 3*k. Is t greater than s?
True
Let z = -0.9 - -25.9. Let s be -1 - (2/4 - (-3)/(-6)). Which is greater: s or z?
z
Let n = -30 - -33. Let c(h) = h - 1. Let k be c(n). Which is greater: k or 4?
4
Suppose 2*a = 7*a. Suppose a*k + 24 = s - 4*k, -6 = 2*k. Suppose -41 = -3*o - 2*w - 15, 0 = -3*o - 3*w + 21. Is s <= o?
True
Let a be 7 + 1*-4*(-9)/(-18). Suppose 3*m + 6 = 3*p, -5*m + 4*m - a*p = -22. Is m less than 6?
True
Let z = -6774741/677 - -10007. Which is smaller: z or -1?
-1
Suppose -214*u = -222*u + 4344. Is u bigger than 544?
False
Suppose -p + 118 - 58 = 0. Let k = -59 + p. Is -3/34 at least k?
False
Let b be 0 + 5 - (-225)/159 - 6. Do 0 and b have the same value?
False
Suppose -6*u - 90 = -m - u, 235 = 4*m + 5*u. Let h = -47 + m. Which is smaller: h or 20?
h
Let i = -274 + 656. Let v = 1919/5 - i. Let c = 1 + 0. Is c at most as big as v?
True
Let q = 64.101 + -0.101. Which is greater: q or 2/3?
q
Let g = -0.76 - -0.9. Let f = g + -0.44. Which is bigger: f or 5?
5
Let v be 5*-1*22/(-55) - -23. Which is smaller: 176/7 or v?
v
Suppose 3*p + 517 = 3*g + 2*p, 3*p + 333 = 2*g. Let q be ((-4)/g)/(9/(-27)). Is -1 at least q?
False
Let n = 0.08 - 0.18. Which is smaller: -284 or n?
-284
Suppose 0*f = -f. Suppose -u + 1 - 2 = f. Let h = 1/1766 - -3479/93598. Which is greater: h or u?
h
Suppose -k + 1 = 0, -k - k - 10 = -4*j. Suppose -4*p = -j*z - 44, -z + 0*p - 22 = -5*p. Let t be -3 + -1 - 48/z. Which is smaller: t or 2/37?
t
Let y = -191/11 - -178/11. Is -1 > y?
True
Let h = -24 + 24.15. Let x = h - 0.25. Let m = 1 + -1.03. Is x bigger than m?
False
Let q = -24.1 - -25. Let v = -0.8 + q. Which is greater: v or 16?
16
Suppose 2*i + 2 = -2*m, -6*m + 17 = -2*m - 3*i. Suppose -20*w + 43 = 3. Suppose -2*g - w*p = -0*p - 22, -m*g + 22 = -5*p. Is g > 10?
True
Suppose -4*j = -5*j + 3. Let h be ((-1)/j)/(1/(-6)). Suppose h = 2*v + 8. Is v less than or equal to -2?
True
Let p = 21.5 + -21.4. Which is smaller: p or 372?
p
Let b = -135 + 199. Suppose -8*x - 126 = -10*x. Which is smaller: x or b?
x
Let l = -71 - -70. Suppose -z + 13 = -3*q - 0*z, -4*q + 4*z - 12 = 0. Let w be 6/3*1/q. Which is smaller: l or w?
l
Suppose 0 = -k - 8 - 0. Let a be (70/k)/(-7)*4. Suppose 0 = -5*u - 5*y - 25, 3*u - a*y - 1 + 8 = 0. Is -2 > u?
True
Suppose 25 = -8*u + 81. Suppose -s + 0*s - 4 = 3*q, u = -5*q - 2*s. Is -1/14 less than q?
False
Let r(v) = -v**3 + 4*v**2 + 7*v - 5. Let z be r(4). Let g = 32 - z. Let f be (-56)/66 - (-6)/g. Which is bigger: f or 0?
0
Let k = 28 - 24. Let d be (-7)/(-6) - k/6. Let u be 38/(-40) - (-3)/4. Do d and u have different values?
True
Let w(v) = -3*v**3 - 4*v**2 - 3*v - 10. Let a be w(-3). Is 43 smaller than a?
True
Suppose 6*a - 12 = 18. Suppose 0 = -4*f - a*o + 53, -37 + 94 = 5*f - 3*o. Which is smaller: 11 or f?
11
Let j = 150 + -52. Is j at least 99?
False
Let q(a) = a**2 + 28*a + 37. Let j be q(-27). Do j and 1 have different values?
True
Suppose 10*u = 213 - 233. Which is smaller: u or -332?
-332
Let o(a) = -2*a - 9. Let v be o(-7). Suppose -20 = -v*d + 5. Which is smaller: d or 1/3?
1/3
Let c = -0.17 + 0.22. Let i = 1.95 + c. Do i and -5 have the same value?
False
Suppose 22*m = 15*m + 7. Is m < 2/653?
False
Let n be ((-5)/7)/(1/(-6)). Let k be (7/(56/(-6)))/((-2)/8). Which is greater: k or n?
n
Let s be (-51)/(-153)*(0 + (-201)/(-4)). Which is greater: 16 or s?
s
Suppose 3*c - 3 = -0*c. Let d = -28.47 - 0.53. Let t = 24 + d. Which is greater: c or t?
c
Let w be (-72)/(-12)*(2 - 3/2). Let n = 1.5 + -2. Let g = 0.4 + n. Is w > g?
True
Let g(a) be the first derivative of a**2/2 - 4*a - 45. Let s(n) = -n**2 - 5*n - 4. Let q be s(-4). Let j be g(q). Is j less than -5?
False
Let f(l) = -2*l**2 + 0*l - 3*l + 9*l + l - 8. Let c be f(5). Is -24 greater than or equal to c?
False
Suppose 7*g - 11*g - 184 = 0. Let j be (g/16)/(2/(-4)). Is j not equal to 7?
True
Let y be 0/((-4)/(-3 - 1)). Suppose y = -5*b - 5, z + 3*z = 4*b + 16. Which is greater: z or 2?
z
Let n = 94.2 - 95. Is -0.02 greater than or equal to n?
True
Suppose 3*r - 126 = 45*r. Which is greater: r or -28/11?
-28/11
Let z be 0 + 15/(-25) + (-35)/25. Which is smaller: z or -8?
-8
Suppose 8*x - 3*d + 12 = 9*x, 0 = 4*x + 5*d - 41. Let t(k) = 3 + 8 + 1 + k + 0. Let v be t(-5). Which is bigger: x or v?
x
Let i = -27 - -19. Let h be (-9)/6*i/(-60). Is 1 < h?
False
Let q(a) = 3*a**2 + 3*a + 1. Let g be q(-2). Suppose -5 = g*j - 2*j. Let z be (-30)/170*22/(-33). Is j < z?
True
Let j be (-2)/8 - (-1)/4. Let x be (-4)/22 - (-6 - 925/(-55)). Which is bigger: j or x?
j
Let h = 313 + -4696/15. Which is greater: h or 3?
3
Let f be 12/(0 + 9/120). Is -2 equal to f?
False
Let n be (814 - -20) + (3 - 7). Are 830 and n nonequal?
False
Suppose 2*m = -0*m + 42. Let g be -1 + 0 + -18 + 2. Let u = 37 + g. Which is bigger: u or m?
m
Let f(v) = 2*v**3 + 21*v**2 + 4*v - 10. Let p be f(-10). Let w = p + -49. Is 2 at most as big as w?
False
Let b = -225/8 - -203/8. Which is smaller: -0.36 or b?
b
Let l = 0.01 - -3.99. Let i = l + -3.9. Let g = 6.5 + -6.4. Is i greater than g?
False
Let k = 2/1081 - 1085/2162. Let j = -3 + 1. Which is bigger: k or j?
k
Suppose -27*s + 24 = -3. Is 10/37 >= s?
False
Let m be ((-30)/35)/(2/14). Let s be (-1)/2 + (-21)/m. Let x = -3 + s. Is x less than -7/5?
False
Let b = -1.391 + 1.391. Suppose 2*q + h - 16 = -3*h, -q + 3*h = 12. Let x be -1 + (q - 15/(-13)). Is x > b?
True
Let l be (-341 + 1)*((-9)/2 + 4). Which is smaller: 171 or l?
l
Let z = 14 - 13. Let c be (-28)/(-66)*((-1026)/(-63) + -12). Is c != z?
True
Let z be (-7)/((-238)/60) - 2. Let q = 13707 - 13708. Is q less than or equal to z?
True
Suppose -5*h + 2*a = -0*a - 130, -5*a = 5*h - 130. Suppose 10 = 4*r + h. Is r bigger than 2?
False
Let y = 814 + -2449/3. Let w(c) = c**3 + 5*c**2 + 3*c - 5. Let s be w(-4). Is s >= y?
True
Let z = 72 - 68. Let m(w) = 2*w**3 + w**2 - 1. Let s be m(1). Let t be s - (128/14)/z. Which is smaller: t or 1?
t
Suppose -3*i = i - 5*m + 4, -5*i - 4*m - 5 = 0. Let u = 153 + -279. Let p = 749/6 + u. Is p at most i?
True
Suppose 5*z - 2405 = 70*a - 72*a, -5*a + 3*z + 5997 = 0. Which is smaller: -0.1 or a?
-0.1
Let l = 1269 + -1254. Is l != 16?
True
Suppose o = 7*o - 42. Suppose -3*t + 3 = 5*s, -o*s + 3*s + 4 = 2*t. Suppose -i - s = -2. Is i less than or equal to -2/5?
True
Let t be 5*(231/35 + -7). Is t smaller than 0.0448?
True
Let m = 0.01 + -0.81. Let u = 15 - 14.3. Let f = u + m. Is f less than -0.5?
False
Suppose 4*s = 5*f - 0*f + 67, -3*f = -3*s + 54. Suppose 4*z + 96 = -6*p + 2*p, s = -2*p + 3*z. Is -20 at most as big as p?
True
Let q(i) = -i**2 - 20*i + 43. Let a be q(-22). Let g be a*4 + (14 - 9). Which is smaller: g or 23?
g
Let j be (12/5)/(14/70). Let r be -8*1/(200/j). Which is bigger: 1 or r?
1
Let c be (-13338)/11 - 258/(-473). Is c at most -1213?
False
Let n(x) = -9*x + 55. Let i be n(6). Which is smaller: i or 6/83?
6/83
Let g = 0.1568 - 68.8568. Let v = 66 + g. Let u = v + 2.7. Do -2/3 and u have the same value?
False
Let d = 1.8 - 7.8. Let q = 7 + d. Which is bigger: -36 or q?
q
Let j be (-441)/(-315) - (-1 + (-14)/(-10)). Is j > -1/319?
True
Let g be ((-11)/(-22))/((-1)/(-274)). Let m = g + -256. Let p be (-34)/m - 16/7. Which is smaller: p or -1?
p
Suppose 3*f + 3*p = -19 + 4, 0 = 5*p + 15. Let m be (4/f)/(16/(-12)). Let h be -28 + 28 - (-2)/4. Which is bigger: h or m?
m
Suppose 0*x + 5 = 5*x. Let g = -210 + 234. Is g less than x?
False
Let q = 9436 + -9322769/988. Is 1 at least q?
True
Let u be 4*((-84)/16)/(-7). Suppose u = 2*d + 1. Suppose 0*o = -3*o. Is d > o?
True
Let y = 14/9 - 37/18. Let v = -4 + 25/6. Let c = v - 1/2. Which is greater: c or y?
c
Let r = -292 - -260. Is r > -32?
False
Suppose 4*i = -2*h - 2*h, 5 = 5*i. Which is smaller: 19.1 or h?
h
Suppose 0 = -i + 19 - 15. Suppose 0 = 2*h - 4*b + 6, 5 = 4*h - i*b - 3. Is h bigger than 10?
False
Let p(m) = -m**3 - 25*m**2 + 148*m - 61. Let q be p(-30). Do q and 2/199 have the same value?
False
Let c = 0.0305 + 2.9695. Let r = -7 - -13. Which is smaller: c or r?
c
Suppose -6*y = -11*y + 10. Let m(i) = 4