?
True
Let p(w) = w**3 - 40*w**2 + 75*w - 31. Let y be p(38). Is y != -65?
True
Suppose -4*k = -t - 661, k - 40 - 120 = 2*t. Which is smaller: k or 167?
k
Let h = -56236/7 + 8048. Is h >= 0?
True
Let q be -3 + (-8 + -1)/(-3). Suppose -4*x = t - 1, -3*t + q*t + 3 = -3*x. Which is smaller: -1/7 or x?
-1/7
Let u be 2/(-9) + (-66)/(-54). Let y be 1 - 2 - 9/(-12). Is u equal to y?
False
Let n(k) = 6*k**3 - k**2 + 2*k - 6. Let g be n(2). Which is bigger: g or 41?
g
Suppose -9 + 9 = -5*y. Which is smaller: 9/25 or y?
y
Let m(z) = z**3 - 24*z**2 - 63*z - 24. Let k be m(26). Does k = -312?
False
Let q = 0 - 7. Suppose 7*z - 18 = z. Suppose -3*j = z*s + 9, s - j = -0*j - 11. Do q and s have the same value?
True
Suppose 4*b - 5*k = -23, 3*b - 4*k + 26 = -2*k. Suppose x + 5*f = -34, -f - 26 + 8 = x. Is b less than or equal to x?
False
Let n be -1 + (650/91 - 6). Suppose -6*i + i + 25 = 0. Suppose 2*w + j = 6, 12 - 35 = -3*w - i*j. Is n less than w?
True
Suppose 18 = -3*o - 0*o. Let c be (2 - (1 + 2))/((-2)/o). Is c less than or equal to 0.4?
True
Let c = -0.087 - -124.487. Let m = c - 124. Is m smaller than -15?
False
Let t be (-13)/(-5) + 27/(-45). Suppose -t + 7 = -5*a. Is a greater than or equal to -1?
True
Let k = -7 + -3. Let w = k - -10.1. Which is greater: w or -10?
w
Let j(s) = 6*s**2 + 3*s - 4*s**2 + 1 - s**2. Let c be j(-3). Which is bigger: -2/53 or c?
c
Let x be 3/(-10)*((-448)/(-42))/8. Which is bigger: -1 or x?
x
Suppose -4*q - 2*h + 48 = -2*q, -2*q + 48 = 4*h. Is 26 at most q?
False
Let y = 21/10 - 38/5. Suppose -4*w + 3*d = 23, 4*w - 2*d + 10 = -12. Which is smaller: w or y?
y
Let x = 6 - 6.04. Let p = -22 + 12. Let z = 9 + p. Which is smaller: z or x?
z
Let c = 799.23 - 792. Let u = c - 1.23. Which is smaller: u or 3?
3
Let u be (5 - (-8)/(-2))*-1. Let z be 1/(-2) - 1/u. Let m(r) = -r + 4. Let n be m(4). Is n equal to z?
False
Let a be (-57)/4*(-146)/657. Let w = 5 - 3. Which is bigger: w or a?
a
Let g be (-1 + -5)/(2/10). Let r be (-8)/g*(-50)/(-20). Which is smaller: 0 or r?
0
Let o be (-8)/12 - (-6)/9. Let j be (1/22)/(4*(-2)/16). Which is greater: j or o?
o
Let d = -45 + 41. Let w be ((-21)/(-3) - d)*1. Do w and 10 have different values?
True
Let m = -304.2 - -303. Is m < -1?
True
Suppose 0 = -9*k + 58 + 68. Which is smaller: k or 9?
9
Let o be 279/69 - 4 - (0 - 0). Let f(t) = -t - 7. Let q be f(-6). Which is bigger: q or o?
o
Suppose -5*i - 5*v = 45, 0 = -5*i + 2*v + v - 77. Suppose f = m + 13, -2*m - 39 = m - f. Do i and m have the same value?
True
Let q = 884 - 992. Is -113 equal to q?
False
Let x(w) = -w**2 + 12*w + 108. Let g be x(18). Let t be (-10)/12 - 2/4. Is t < g?
True
Let p(q) = -q**3 + 12*q**2 + 16*q - 13. Let s be p(14). Is s > -182?
True
Let v = -4.404 - -0.004. Let n = 0.2 + v. Let x = n - -4. Which is bigger: -5 or x?
x
Let k be -1*9 + (15 - 13). Let h be 1*k*(-18)/(-63). Is h less than -1?
True
Let z be (1469/(-78) - -13)*(-2)/40. Is 0 greater than or equal to z?
False
Let u be 8/(624/4278) + (-4)/(-26). Suppose 28 = a + u. Which is bigger: -28 or a?
a
Let l be (-4)/1 - (-1 - -6). Let s be ((-38)/3)/(l/(-54)). Let p be (-8)/(-20) + s/(-10). Is p >= 8?
True
Let v = 142959 - 654323347/4577. Let n = -1084729/22885 + v. Let p = 48 + n. Are 0 and p equal?
False
Let w = -0.01 + 38.01. Let a = -38 + w. Is a bigger than -11?
True
Let l = -0.359 - 0.001. Let b = l - -0.55. Are b and -2/7 nonequal?
True
Suppose 3*h + u = 3*u + 11, 5*h - 2*u - 13 = 0. Let y(l) = l**3 + 9*l**2 - 2*l + 8. Let a be y(-11). Let p be (-98)/a + 5/(-10). Are h and p non-equal?
True
Suppose -2 = -l + 1. Let f be 5/(-5)*2*l. Let a be f/8*96/132. Is -2 equal to a?
False
Suppose -z = 3*q - 8*q - 14, -5*z = -q + 2. Let l = 0 + 0. Suppose 4*a = -l*a. Which is smaller: z or a?
z
Let d be (-738)/560 - 4*(-2)/32. Let g = d - 2/35. Suppose -5*q - 2*t - 1 = -t, -4*q = 3*t - 8. Which is smaller: q or g?
g
Let h be (-433)/(-7 - 180/(-24)). Is h greater than or equal to -864?
False
Suppose -3*x - x = -24. Suppose 0 = 4*l + 5*y + 25, -3*y = l - x*y - 15. Suppose -k = -5*f + 11 + 7, l = 4*k - 5*f + 27. Is -3 < k?
False
Let r(u) = -5*u**2 + u - 1. Let i be r(-3). Let t(v) = 2*v**2 + 26*v - 4. Let h be t(-11). Does h = i?
False
Let u be (1/6)/((-2)/3). Suppose 729 - 72 = 9*n. Suppose -n*q - 5 = -78*q. Which is bigger: q or u?
q
Let a = -3/61 + 73/244. Let p = -0.6 + -2.4. Let z = p + 2.99. Is z less than or equal to a?
True
Let s be (-1)/(-18)*(-1638)/(-780). Is s > 1?
False
Suppose 7*w = 14*w - 1155. Let g = w - 164. Let i = -0.1 - -0.2. Are g and i unequal?
True
Let y = 709 + -700. Is y at least as big as -26?
True
Let b(s) = -s**3 + 6*s**2 - 8*s + 1. Let v be b(2). Which is greater: v or -9/34?
v
Let h be ((-472)/(-12))/(2/(-3)). Let t = h - -121/2. Let q = 0.4 - 0.2. Which is smaller: t or q?
q
Let h be (10/625)/((-118)/(-40) - 3). Is -1 >= h?
False
Suppose 5*n = -5*t - 865, 4*t - 6*n + n = -674. Let p be t/(-13) + (-10)/65. Let r(j) = -j**2 + 10*j + 18. Let w be r(p). Which is smaller: -20 or w?
w
Let a(o) = o**3 + 13*o**2 - 8*o + 12. Let c be a(-13). Let j = c - 109. Which is greater: j or 6?
j
Let h = 0.0499 - -0.4501. Is -0.051 at least h?
False
Let z = -14.4 + 16. Let l = 2.6 - z. Is 2/25 at most l?
True
Let j be (-2)/(-6) - (-14)/7. Is j smaller than 9?
True
Let a = 2186 - 2028. Which is smaller: 792/5 or a?
a
Let t = 5170 - 20565/4. Is 29 <= t?
False
Let u = -8846/26123 + 54/173. Is u greater than or equal to -1?
True
Let u = -67/7 + 61/7. Let i = u + 19/14. Which is smaller: i or 14?
i
Let u = 2 - 129. Let n = 137 + u. Which is smaller: n or -3?
-3
Suppose 339*p - 338*p = -16. Is p not equal to -16?
False
Let v(o) = 5*o + 78. Let f be v(-16). Is -17/5 less than or equal to f?
True
Suppose 0 = -6*x - 136 + 406. Suppose 4*i - x = 5*q, 3*q = 2*i + 2*q - 15. Which is bigger: i or -1?
i
Let m be (-3)/149*((11 - 16) + 6). Which is greater: 1 or m?
1
Let o be -4 - -2 - 163958/511. Is o < -322?
True
Let b = 120457/8496 + -227/16. Which is smaller: b or 0?
b
Let p be (-657)/(2/(-23) + (-1694)/(-2024)). Which is bigger: -875 or p?
-875
Suppose 0 = -k + 3*w + 17, 10 = -5*k - 5*w - 5. Suppose 0 = -k*g - 3*g + 10. Suppose -3*q - 6 = -0*z + g*z, -4*q + 2 = z. Is -7 bigger than z?
False
Suppose -1599*d + 1591*d - 16 = 0. Is d >= 297/4?
False
Let v = 42 - 48. Let j = -29/65 - -3/65. Is v smaller than j?
True
Suppose 9 = -5*f - 2*i - 26, -3*i = f + 20. Let g be -2*4/20*f. Suppose -g*x + 3 = -s, 1 = 2*x - 3*s - 4. Which is bigger: x or 4/7?
x
Let x be (0 - -11) + (-11 - -10). Let r be (-8)/x - (-560)/(-50). Is r not equal to -10?
True
Let s(g) = 2*g**2 + 23*g + 61. Let l be s(-4). Are l and 26/75 nonequal?
True
Suppose -17*s - 1 - 16 = 0. Let g = 0.37 - 0.15. Is g != s?
True
Let o = 27 + -24. Let z be (-6)/(-8)*o/(81/30). Is z < 0?
False
Suppose -4*s + 248 = -4*b, -6*b + 3*s = -2*b + 249. Which is smaller: 0 or b?
b
Let m = 47 + -2. Let q be 3/m*5/8. Which is bigger: 0 or q?
q
Suppose -g + 81 - 33 = 0. Do 46 and g have the same value?
False
Suppose 2*q - 45 = -4*l - 165, q + 90 = -3*l. Is l at least as big as -94/3?
True
Suppose -5*r - 33 - 5 = -2*n, 0 = -4*n - 5*r + 136. Let c = n + -17. Let k = c - 13. Which is greater: k or -2/33?
-2/33
Suppose -3*s + 151 = -5*j, -j - 166 = -5*s + 93. Is s less than 50?
False
Let t(w) = 3*w**2 + 9*w + 2. Let y be t(-6). Let p be 4/(y/(-1922)) - 1. Let u = 138 + p. Is u at least 1/4?
False
Let s = -12773/7 + 1825. Is s bigger than 308/5?
False
Let f be -1 + 2 + (-7)/(63/24). Let d be 43/3 + (-3)/9. Suppose 2*c = n + 3*n + d, -3*n - 24 = 3*c. Which is greater: f or c?
f
Let o = 64 - 78.2. Is o smaller than -0.2?
True
Let p = -1886963913/280 + 6739149. Let y = p - -55/7. Is 0 at most as big as y?
True
Let i = 102 - 179. Let x = i + 77. Is -1/3 smaller than x?
True
Let s(q) = -2*q**2 + 23*q + 9. Let h(g) = -g**2 + 11*g + 4. Let b(m) = 13*h(m) - 6*s(m). Let d be b(5). Let p = d - -1. Is -1/15 < p?
False
Let x = 6 + -22. Let o = x + 11. Let a = o - 1. Is a bigger than -2?
False
Let n = 62.18 + -62. Let p = -0.28 + n. Which is smaller: p or -3?
-3
Let u be (-3)/(-2) - (-2)/(-1). Let v = -155 + 358. Let n = -202.9 + v. Is n != u?
True
Let g(v) = -v**3 + 7*v**2 - 5*v - 5. Let p(k) = k**3 - k**2 + k + 6. Let w be p(0). Let b be g(w). Suppose 3