 24 - 19. Let u(x) = -2*x + 10. Let i be u(b). Suppose 2 = -0*k + k. Is k != i?
True
Let i be (36/8)/((-4)/16). Let c be (-30)/i*(-6)/(-4). Which is smaller: c or -2?
-2
Let q = 2062 + -24691/12. Is q at least 5?
False
Let a = -0.31 + 15.61. Let y = 15 - a. Let o = 0.1 - -6.9. Is y at most o?
True
Let u be (61/(-9) + 7)*105/7. Is -1/4 at most u?
True
Let x = -44 - 0. Which is smaller: -0.5 or x?
x
Suppose -3*l + 9 - 3 = 0, 16 = -2*q + l. Let k = q - -8. Let i be 2/11 + (-22)/121. Is i not equal to k?
True
Let r(z) be the first derivative of -2*z**2 + 13*z + 8. Let h be r(3). Which is greater: h or -3/61?
h
Let w be 98/8 - 6/24. Let f be 6/10*(w + -11). Is 4 > f?
True
Suppose 9*k - 5*k + 1464 = 0. Let a be 6/27 + k/(-54). Suppose 4*v = o - a - 2, v + 11 = 2*o. Is v > -2/37?
False
Let f = 4 - 1. Let c = -1158 + 1157. Let t be c/(-3*f/(-270)). Is t at least as big as -31?
True
Let p be 66/4 - 10/20. Suppose -5*d = -d - 384. Let x be ((-1)/(-3))/(2/d). Is x greater than or equal to p?
True
Let c = -10/121 - 1786/1815. Is -1 equal to c?
False
Let k(v) = -v**3 - 14*v**2 - 13*v - 5. Let l be k(-13). Let y be -2 - l - (-2)/(12/(-14)). Is 15 >= y?
True
Let x = 0.2 + -0.22. Let q = 6.98 - x. Suppose -c - 7 = -3*f, -f + 70*c + 3 = 69*c. Does q = f?
False
Let z = 165 + -168. Let x be ((-1)/9)/(12/36). Are z and x equal?
False
Let p be -2 + 3/(-2)*(-18)/3. Let i(b) = b**3 - b**2 + 3. Let s be i(3). Let q = s - 14. Is q > p?
False
Let m = -2086 + 707153/339. Is m greater than or equal to 1?
False
Let l be ((-87)/(-3) + 0)/1. Let n be -4 + 1 + (-1)/(l/(-88)). Does n = 0?
False
Suppose 23 = -2*d + 5*r, -4*d - 48 = 4*r - 16. Let w = 54 - 51. Suppose -5*h - 36 = -2*b, 5*b - 22 = w*h - 8. Which is smaller: h or d?
d
Let y(f) = f**2 + 24*f - 106. Let d be y(-28). Is -50 at most d?
True
Suppose -5*v + o + 133 = 0, 0 = -5*v + 2*o - 58 + 194. Is v greater than 42?
False
Let c(o) = -4*o**3 - 110*o**2 + 57*o + 30. Let l be c(-28). Let a = -64 - -40. Let h be (-34)/a + (-1)/4. Which is smaller: l or h?
h
Let c be 2 + 2 + (0 - (-114)/(-27)). Is -7/25 at most as big as c?
True
Let n = -368 + 367.767. Let z = n + 0.033. Is -7 equal to z?
False
Let c(h) = 3*h**3 - 22*h**2 + 4*h + 12. Let i be c(7). Let o(r) = 5*r - 1. Let j be o(1). Suppose -5*d - 12 = -j*m, 0 = -5*d - 19 - 1. Which is greater: i or m?
m
Let h = -16.7 - -91.7. Let c = h + -75.2. Do c and 6 have the same value?
False
Let p = 2 - -6. Let x be 32 + (4 - (-1 + 1)). Suppose -4*f = -p + x. Is f greater than -8?
True
Let r be 3*-1*3/(-585)*5. Which is smaller: 1 or r?
r
Let d be 25/430*4/(-5). Suppose 5*v - 20 = -2*a - 0, 0 = a. Let h(k) = k**3 - 4*k**2 + k - 3. Let x be h(v). Which is bigger: x or d?
x
Let d = 1753967/131 - 13389. Is 0 at least as big as d?
False
Suppose 2*w - 2 = -4*k, w - 2 - 1 = 0. Let g be -3 - (-4 + (-1 - (-2 + k))). Is g at least 1/29?
False
Suppose -b - 3 = 2. Let m be -1*(b - -1 - -79). Let q be (2 + 144/m)*-5. Is q >= -7?
True
Let k = 303 + -624. Let m = -327.97 - k. Let w = m - -7. Are 1 and w equal?
False
Suppose 3*a = 2*o + 3 - 9, 2*a = 2*o - 10. Suppose 4*k + 3*k - 49 = 0. Which is greater: k or o?
o
Let s(n) = -6*n + 0*n - 9 - n**2 + 0*n. Let f = -1332 - -1328. Let t be s(f). Which is greater: t or -2/15?
-2/15
Let s = 248/215 - -2/43. Suppose 73*o - 89*o + 7 = -9. Which is smaller: s or o?
o
Let f be 1/((4 + 1)/(-565)). Is f smaller than -114?
False
Let k = 2/5825 - -29013/326200. Is 1 equal to k?
False
Suppose 2*l = -4*k, l - 4*l - 6 = 0. Which is bigger: k or -2/2521?
k
Let f = -218 - -135. Let w be f/(-28) + 90/21 + -4. Which is greater: 3 or w?
w
Suppose -21 = -14*j - 7. Which is greater: 1/823 or j?
j
Let p = -270 - -270. Which is smaller: 110 or p?
p
Let a(f) = 2*f + 55. Let v be a(-28). Are -6/31 and v non-equal?
True
Let d = 48 - 45. Suppose d*t + 2*a = 4*a + 12, 5*a + 21 = 3*t. Which is greater: t or -19?
t
Suppose 15 = -2*a - 1. Suppose -4*t = 2*m - 30, -4*m + 3*t - 5 = -2*t. Suppose -m*v = -7*v - 20. Is a at least v?
True
Let h be 1/(-2) + (-117)/(-162). Let d = 0.038 - -0.052. Are h and d equal?
False
Let y(f) = f**2 + 7*f - 10. Let h be y(-9). Suppose -h = 11*o + 3. Which is greater: 3/26 or o?
3/26
Suppose -5*u - 7 = 4*l + 13, 4 = l - u. Which is smaller: -1/27 or l?
-1/27
Let o(g) = -g**2 + 11*g - 28. Let b be o(7). Let c = -174 + 1228/7. Which is smaller: c or b?
b
Suppose -2 = -2*h - 16. Let k = 0 + 0. Suppose k*l - 3*l + 4*w - 29 = 0, 3*w = 5*l + 41. Is l bigger than h?
False
Let k be (-4)/(-6)*(2 - -4). Suppose k*y - 30 + 26 = 0. Which is smaller: y or 1/11?
1/11
Let m be (-5814)/70 + 64/1120. Let h be (-4)/5*(-410)/(-4). Which is smaller: m or h?
m
Suppose -2*z = -3*v - 20, 0*z - z - 8 = 3*v. Let o be ((-1)/(-3))/(z/132). Is o != -2?
True
Let i(y) = 2*y**2 - 10*y - 20. Let r be i(-6). Which is smaller: r or 566/5?
r
Let c = -10.9 + 12. Let u = c - 0.1. Let q = 829 + -828.7. Is q <= u?
True
Let r be 664/(-6640)*(-3 + (1 - 2)). Is 1003 smaller than r?
False
Let x(b) = b**3 - 8*b**2 + 9*b - 8. Let z be x(7). Let w be z*(-2 + (-16)/(-6)). Suppose -w*j = -j. Which is smaller: j or -1/4?
-1/4
Let s = -5 - -20. Let j = 14.5 - s. Let n = 109/150 - 3/50. Which is smaller: j or n?
j
Let m be (-2)/(5/(4*-20)). Suppose 0 = -4*a - m + 4. Which is smaller: -6 or a?
a
Let f(j) = j**3 - 3*j**2 - 4*j + 13. Let m be f(3). Which is greater: 4/95 or m?
m
Let n(r) = r + 3. Let s be n(3). Suppose -6*h - s = -3*h. Which is smaller: -1 or h?
h
Let i be (43/3 + -13)*3/1158. Which is greater: i or 1?
1
Let f(s) = -19*s + 1. Let o be f(-5). Suppose 0*m + 6*m = -o. Let b = -17 - m. Are 2/25 and b equal?
False
Suppose -2 - 1 = 3*f. Let o be 1 + f + 6/3. Suppose -o*y = g - 5, 0 = -y - 2*y - 4*g + 15. Are -3/8 and y nonequal?
True
Let l = 983.7 + -984.7. Let s = 2.75 - 3. Let v = s - 0.05. Do v and l have the same value?
False
Let f = -0.73 + 4.69. Let s = -0.04 - f. Let v = -4.4 - s. Is 1 bigger than v?
True
Let a = -0.017 + 1.107. Let p = a - 8.19. Let w = -7 - p. Does w = -0.6?
False
Let b = 4.86 + -5. Let i = -2315.1 + 2465. Let g = i - 150. Which is smaller: b or g?
b
Let w = -2 + -7. Let l = 7009/7 - 1001. Is w greater than l?
False
Let k = -621 - -620.9. Do 30/49 and k have different values?
True
Suppose 4*v + 5*h + 859 = 0, 0 = 5*v - 7*v - 3*h - 431. Which is greater: v or -210?
-210
Let b = -91 - -13. Let y = b + 76. Let a = -18 - -25. Is y <= a?
True
Let g be ((-3966)/(-4) + -6 + 6)/3. Is 332 greater than or equal to g?
True
Let h = 137 - 190. Which is smaller: h or -54?
-54
Let f be (-2)/(366/675 - (-8)/(-36)). Which is bigger: f or -0.1?
-0.1
Let h(g) = 2*g**2 + 5*g**2 - 15*g**2 + g**3 + 13 + 5. Let v be h(8). Let c be v*3/(-15) + 3. Which is bigger: -2 or c?
c
Suppose -4*z + c - 3*c + 18 = 0, 5*z = c + 5. Suppose -4*g + j + 10 = -3, 0 = -3*g - 4*j + 24. Suppose 4*r + a = 1, -g*r + a = -10 + 3. Is z > r?
True
Let d be 10/(-30) - 66/18. Does d = -32/9?
False
Suppose 2*p - 58 = -0*p. Let s = 2524 - 2496. Does p = s?
False
Let g = -191 + 78. Which is smaller: -112 or g?
g
Let v(s) = 12*s - 12. Let d be v(6). Let m be 7*d/14*1. Let w be (-36)/(-20)*m/9. Is 0.1 < w?
True
Suppose -35*c + 6295 = 1710. Which is smaller: 129 or c?
129
Let p(j) = -j**2 - 6*j - 3. Let n be p(-2). Let l(m) = -m**3 + 4*m**2 - 6*m - 3. Let s be l(n). Is -59 not equal to s?
True
Let n = 35 + -36. Let a be -2 + 6 + 3*n. Is a < -3?
False
Let g = 5 + 1. Suppose 3 = -3*t + g*t. Let s = t - 0. Which is bigger: 4/3 or s?
4/3
Let o(a) = -a**2 - 8*a + 85. Let p be o(-14). Is p < 54?
True
Let v = 16 - 9. Suppose v*t + 21 = -21. Is t greater than -1?
False
Let t be (-1 - 2)/(0 - 3/4). Suppose 10*g - 14*g = t. Let n = 1/109 + -223/545. Is g at most n?
True
Suppose 0 = -2*r - 25 - 61. Let t = 25 + r. Is -17 not equal to t?
True
Let y = 2361277/169 + -13972. Which is smaller: y or 0?
0
Let d be 10/(-15) - 83/(-3). Let t = -29 + d. Which is bigger: -6/5 or t?
-6/5
Let i be (2/8 + (-24630)/101880)*-3. Which is greater: i or -1?
i
Let q = -2.777 + 2.8. Let h = 0.113 - q. Which is greater: 0.1 or h?
0.1
Let j be (-1 - -2)/((3 - 8)/(-15)). Let u(d) = d**3 + 5*d**2 + 3*d - 1. Let s be u(-4). Suppose -s*b - 42 = -j. Is b <= -13?
True
Let f = -70.947 + 71. Let j = f - -0.047. Which is smaller: j or -0.2?
-0.2
Let y = 41.2 - 40