 -1 + (-32)/(-6) + 4/(-3). Let b be (0 + (-2)/r)/(888/36). Do b and -1/3 have the same value?
False
Let c be ((-14)/33)/(0 + 2/(-30)). Let h = c + -151/22. Which is smaller: h or -1?
-1
Suppose -444 = -2*r + 4*n, -r + 146 = -4*n - 74. Which is greater: r or 223?
r
Let b = -8 + -8. Let c = b - -15.5. Let q = c - -0.4. Is 0.4 greater than or equal to q?
True
Let y(i) = i**3 - 10*i**2 + 5*i + 6. Let t be y(8). Let r = 44590 - 400573/9. Let h = t + r. Are h and 0 equal?
False
Let l = -10943 + 1083308/99. Let a = -413 + 4546/11. Let z = l + a. Is 1 != z?
True
Let p(h) = h**2 - 9*h + 11. Let t be p(9). Suppose -5*x + 9 = -t. Is 3 less than or equal to x?
True
Let d = -3.18 + 12.88. Which is bigger: 0 or d?
d
Suppose 0 = 2*n - 5*b + 23, 4*b - 10 - 10 = 0. Which is bigger: -18 or n?
n
Suppose 152 = -4*i + 3*x - 30, 2*i + 98 = -2*x. Is i less than -48?
False
Suppose 3*c + 8 - 5 = 0. Let p be (c - 2/(-2))*(-5)/(-10). Which is bigger: 3/7 or p?
3/7
Let m(v) be the second derivative of v**3/2 + 69*v**2/2 - 8*v. Let w be m(-20). Does w = 8?
False
Suppose 0*h - 10 = -5*h - 4*l, -4*h - 4*l + 8 = 0. Let q(w) = w**2 + 6*w - 5. Let b be q(-7). Is h greater than or equal to b?
True
Suppose -5*m + 3*m + 2*u = -8, -33 = -2*m - 3*u. Which is greater: 16 or m?
16
Let w(l) = -23*l - 12. Let r be w(3). Let o = r + 245/3. Let y(s) = -s**3 + 1. Let z be y(1). Which is smaller: z or o?
z
Let r = -10085457/649 + 15540. Which is greater: r or 0?
r
Let s = -1062/14497 - 2/14497. Does s = 1?
False
Let r(n) = 12*n**2 + 6*n + 20. Let m be r(-3). Let j = m + -109. Are 20/9 and j nonequal?
True
Suppose i - 6*c + c - 17 = 0, -8 = -i + 2*c. Let a = -155 + 154. Which is bigger: i or a?
i
Let x be (-1)/(-7*1/(-21)). Let o be -60 - -1 - (-3 - -4). Let s be (o/9 - -3)*x. Are 12 and s nonequal?
True
Let b = 0.2 + -0.1. Suppose 2*z + 4 = -y - 10, -y - 6 = z. Is z less than b?
True
Suppose 83*f - 14211 = 92*f. Is -1579 < f?
False
Suppose 0 = 3*o - u + 4*u - 435, 3*o + 2*u - 431 = 0. Let j be (-8)/36 - 4/((-108)/o). Is 4 less than or equal to j?
True
Suppose 2*q = -q. Let i(h) = 2*h - 19. Let v be i(11). Suppose 3*l - 5*n + v = q, l = -6*n + 4*n - 1. Which is bigger: l or -12?
l
Let p be 2 - 1 - (-123)/(-6)*2. Let v = p - -1158/29. Which is smaller: v or -1?
-1
Suppose 170 = 5*a + 5*a. Is a > 23?
False
Let v = 4 - 36. Let p be 2/(-21) - (-1424)/(-42). Is v at least as big as p?
True
Let q(c) = -7*c**3 + 3*c**2 + 3*c + 3. Let w be q(-2). Let d be w/(-234) - 2/9. Which is smaller: 52 or d?
d
Let p = 0.3 + 9.7. Let a = -1059 + 1070. Let h = p - a. Is h <= 4?
True
Let v be (10 - 32)/((-4)/(16/(-3))). Let l = 28 + v. Is 0 != l?
True
Let s be 132/36 + 1/3. Suppose 5*h - g + 64 = 0, -s*h + 0*g - 5*g = 28. Is h smaller than -13?
False
Let l(h) = h**3 - 5*h**2 + 8*h - 8. Let m be ((-2)/4)/((-5)/30). Suppose m*s = 13 - 1. Let p be l(s). Which is smaller: 10 or p?
p
Suppose 2*m - a = 219, -6*m + 213 = -4*m + a. Suppose 4*f - m = -0*f. Let i = 0.1 + -0.1. Which is bigger: i or f?
f
Suppose 5*a + 3*g + 20 = 4*a, -4*g = -a - 6. Let x = -32 - a. Is -17 >= x?
True
Suppose 5*f = 2 + 23. Let u(n) = -n**2 + 1 - 3*n + 5 + 7*n. Let t be u(f). Which is smaller: -1/21 or t?
-1/21
Suppose -i + 4*i + 51 = 0. Let m = -15 - i. Let b be (-8)/(-3) - (0 + m). Which is smaller: 0 or b?
0
Let b(z) = z**3 - z**2 + z - 13. Let x be b(0). Let m = 22 + x. Let k = -11 + m. Is k < -2?
False
Let s be 2 + (8/28 - (-298)/(-14)). Which is smaller: 2 or s?
s
Let t = -4.65 - -4.65. Are -0.061 and t equal?
False
Let d be ((-4)/(16/(-132)))/(1/(-2)). Let u = d - -66. Which is smaller: -1/36 or u?
-1/36
Let t be (-3 - 35/(-10))*18*1. Do t and -7 have the same value?
False
Let s = 583 + -584. Let n be ((-1)/(-33))/(2 - 1). Do s and n have the same value?
False
Let o(y) = -y**3 - 6*y**2 + 7*y. Suppose -5*v + 3*v = 14. Let d be o(v). Suppose d*q = 2*q - 2. Which is greater: 5/7 or q?
q
Let w be (-4)/(-30) - 1157361/(-1305). Which is smaller: w or 888?
w
Suppose 6*l + 422 = 530. Are l and 17 nonequal?
True
Let g = -86 + 70. Suppose 3*j = j + 6. Let y be (60/6)/((-2)/j). Is g greater than y?
False
Let u be -6*21541/52*(-4)/6. Is u greater than 1658?
False
Let h(n) = n**2 + 4*n + 2. Suppose -18 = 4*j - 2*v, 2*j + 6*v + 34 = 2*v. Let s be h(j). Let a = s + -22. Are 2/27 and a non-equal?
True
Let s be (1 + -2)*52*(-50)/(-20). Is -130 greater than or equal to s?
True
Let t(i) = -i**3 - 5*i**2 + 5*i - 2. Let d be t(-6). Let x be ((-10)/4)/((-18)/(-36)). Let n = d + x. Which is smaller: n or -12/7?
-12/7
Suppose 3*s + 12 + 18 = 0. Suppose -2*b - 1 = -23. Let p = s + b. Which is smaller: -1/5 or p?
-1/5
Suppose o - 3*f + 25 = 3*o, 4*o = -3*f + 35. Suppose o*i - 14 = 91. Let h be (-14)/24 - (-7)/i. Is 1 less than or equal to h?
False
Let l = 2.6 - 5.6. Which is greater: 2/9 or l?
2/9
Suppose -3*j = -0*j. Let p be (-14)/(-14) + (-32)/38. Which is bigger: j or p?
p
Let f be 32/(0 + 4) + -2. Suppose 0*w - 24 = -f*w. Suppose 20 = 5*g, p + w*g + 5 - 22 = 0. Which is smaller: 9/5 or p?
p
Suppose 0*r = r - 7. Let n = 9 - r. Let z be (-40)/48 - n/12. Which is greater: -2 or z?
z
Let f = -3522 + 2364. Let n = f + 5764/5. Is -4 equal to n?
False
Suppose 24 = -7*t + 31. Which is smaller: 2/525 or t?
2/525
Let y be (12/(-9))/(7/(-3)). Let x = -6 + 8. Which is smaller: y or x?
y
Let n(s) = 15*s - 553. Let f be n(7). Which is smaller: f or -450?
-450
Let p = 0.2 + 0. Suppose 1476 = 89*c - 7*c. Is c at least p?
True
Let l be (1 - (-9)/60)/(4/(-16)). Which is smaller: l or -2/9?
l
Let k = -11 + 12. Suppose -180 = -6*v + v. Let r be (-4)/(-6)*v/32. Which is smaller: r or k?
r
Let v be (138/(-16))/((-81)/486). Is v less than or equal to 0?
False
Let u = -658 - -520. Which is smaller: -976/7 or u?
-976/7
Let b = 14905597/2176 + -6850. Which is greater: -1 or b?
b
Let y = 3 + 6. Suppose 5 = -4*g + 4*u + 41, -3 = -3*u. Do y and g have different values?
True
Let t(s) = -3*s - 3. Let o(d) = -d - 1. Let j(c) = 17*o(c) - 6*t(c). Let z be j(-1). Is z smaller than -1/40?
False
Let o = 34 + -32. Suppose 0 = 4*t + 2*q - 65 - 65, o*t - 3*q = 61. Is t < 32?
False
Let i = 333 - 332.9. Let s = 0.04 + 0.26. Let k = -0.13 + s. Is i bigger than k?
False
Let a = 29 + -48. Let m be (-3)/18 - a/6. Let o be 4*(2 + 8/(-5)). Which is smaller: m or o?
o
Let h = -23.29 - -0.19. Let l = h - -23. Is l >= -15?
True
Suppose r + 31 = 4*p + 8, r = -2*p + 13. Let o be (-2)/p + 28/57. Let u be ((-2)/6)/((-1)/3). Do u and o have the same value?
False
Suppose -j - 59 = -5*q, 4*q - 5*q + 16 = 4*j. Let v(t) = t**3 - 4*t - 2. Let o be v(2). Is o greater than q?
False
Suppose 255*b - 2464 = 247*b. Which is bigger: b or 309?
309
Let k be (-4 - 2) + 88/52. Is -3 > k?
True
Let f(y) = y**2 + 15*y - 55. Let r be f(-18). Is -1/426 bigger than r?
True
Suppose -5*f - 4 = 3*o - 0, 3*f - 4*o + 14 = 0. Let i be (-2)/(-7) + (36/14)/f. Which is smaller: -1/53 or i?
i
Let v be -2 - (75/22)/5. Let b = 1763/682 + v. Is -1 equal to b?
False
Let g(z) = z**2 - 3*z - 3. Let a(d) = 3*d - 2. Let u be a(2). Let j be g(u). Suppose 5*l = 2*x + 76, -3*x - j = -3*l + 50. Is 15 < l?
False
Let m = -112 + 252. Let c = m - 141. Is -1 != c?
False
Let v = -1417 - -1417. Is v not equal to -1/674?
True
Let n = 833 - 832. Let v = 13090/23 + -569. Which is greater: n or v?
n
Let o(l) = -l**3 - 12*l**2 + 12*l - 14. Suppose 4*i - 2*q - 24 = -72, -5*i - 63 = -q. Let h be o(i). Is -5 > h?
False
Let y(j) = -j**2 - 23*j - 128. Let r be y(-9). Which is greater: -3/31 or r?
-3/31
Suppose -z + 4 = -1. Suppose -276 = z*t - 11*t. Which is bigger: 45 or t?
t
Let n be ((-100)/16)/(-5) + -1. Let q be 6*2/(-3) + 5. Suppose -q = -5*i - 6. Is n > i?
True
Let s be 19/7 - 26/(-91). Suppose 3 - 1 = -s*u + 2*a, -4*a + 16 = 0. Let q be u*(-1)/(-9)*-3. Are q and 0 equal?
False
Let d be -137*6/168 + (2 - -3). Which is bigger: 1 or d?
1
Let x = 145 - 145.342. Let n = 0.142 + x. Which is smaller: 16 or n?
n
Suppose 5*n - 15 = -0*n. Let i(z) = 10*z**2 - 73*z + 22. Let f be i(7). Is f < n?
True
Let l(p) = 2*p + 1. Let s(k) = -k. Let r(q) = -l(q) - s(q). Let t be r(-4). Let y be 2/((-8)/12*t). Which is greater: y or 4/5?
4/5
Let m(y) = -y**2 - 19*y - 35. Let k be m(-17). Which is smaller: -32/75 or k?
k
Let c = 33 + -62. Let q(o) = 2*o**2 - 19*o - 30. Let h be q(0