q at most t?
False
Let x = 25 - 43. Suppose 11 = m - 2. Let r = x + m. Is r greater than -3?
False
Let z = -128 + 127. Let w be (-6)/(-3 - -129*z/(-40)). Which is bigger: -28 or w?
w
Let l be 2/2 + (13 - 15). Let z be l + (-85)/(-45) + 0. Which is smaller: 1 or z?
z
Suppose -4*s + 72 = 2*j, s - j = 26 - 8. Suppose -2*w + 3*w - 5 = 0, 3*c - 16 = -2*w. Which is bigger: c or s?
s
Let a be (0 - (-2417)/(-1940)) + (-325)/(-260). Which is bigger: 1 or a?
1
Let z = -17/5 + 4. Is z at most as big as -94?
False
Let w = 404 + -388. Is w < -6/5?
False
Suppose -2*w - s + 12 = 1, -10 = 5*w - 5*s. Which is greater: 18 or w?
18
Let v be 350/980*(-4)/(-5). Is v <= 687?
True
Let m = 0.65 - -25.35. Let b = -116 + 90.2. Let u = b + m. Is 3 > u?
True
Suppose 14*w = 6*w - 136. Is w not equal to -7?
True
Let m = 1267 - 219193/173. Let s = m + 364/1557. Is s at most 1/2?
True
Let q(t) = -3*t**2 - t - 1. Let a be q(-4). Let w be -3 + ((-24)/(-20))/((-6)/210). Do a and w have different values?
False
Suppose -3*l - 2 = -2*l. Let k = l + 5. Let x be (14/12)/((-5)/(-10)). Which is smaller: k or x?
x
Suppose 0 = -h + 3*q - 3 - 4, -2 = -4*h - 3*q. Let r be h/(((-4)/(-9))/(-4)). Let c be ((-4)/(-6))/(42/504). Which is greater: r or c?
r
Let i = 29.3 - 20.3. Let y be (4/6)/(35/21). Is i not equal to y?
True
Suppose 3*j = 2*m - 289, 5*j = 5*m - 414 - 61. Let l = 79 + j. Is l bigger than -21?
True
Let t be ((-6)/1785)/(12/(-60)). Which is smaller: -1 or t?
-1
Let x = -111 + 328/3. Suppose -7*h = 5*h. Suppose 2*a + 1 = -u, -4*u + a + h = -5. Is u at least x?
True
Suppose 5*j - k - 9 = -51, -3*k - 18 = 3*j. Let l(a) = a**3 + 9*a**2 + 10*a + 15. Let n be l(j). Is -1 >= n?
True
Suppose -6*t + 226 = -278. Let p be (-2 - -1)/(4/t). Let s = p - -22. Which is greater: 4 or s?
4
Suppose 12 = n + 1. Let r = -8 + n. Let z be 2*69/42 - r. Is z <= -1?
False
Let o(f) = 6*f - 34. Let t be o(6). Suppose 2*g = 4*x + 350, -3*g + x + 525 = 6*x. Let k = g + -871/5. Is k smaller than t?
True
Let m(s) = -10*s + s + 3 + 6 - 7*s**2 + s**3 + 3. Let w be m(8). Suppose -w*j - 24 = o, -j + o + 3*o + 11 = 0. Which is smaller: j or -6?
-6
Let g = -1728 - -1733. Which is greater: g or 97?
97
Let v = 1819 - 1687. Which is smaller: v or 137?
v
Suppose 5 + 7 = -4*a. Let k(b) = -14*b**2 - 14*b - 7. Let o be k(-1). Which is greater: a or o?
a
Let i be 0*2/(2 - 0). Let n = 3/161 - -104/3059. Which is smaller: i or n?
i
Let c = 18.4 + -16.4. Let i = -3 - -2.94. Is i less than or equal to c?
True
Let j be (-2 - -2)/(1 + 1). Let k be (-5)/10 + (-2)/8 + 2. Which is smaller: j or k?
j
Let n = -8572758/115 - -74544. Let b = 12/23 + n. Suppose 0 = -4*s + 3*s - 0*s. Which is bigger: b or s?
s
Let q be 1*-1*(-29 + 11)/(-2). Suppose -3*x = 18 + 9. Is x <= q?
True
Let b be -63 + 0 - 0*(-4)/16. Which is greater: -58 or b?
-58
Suppose -5*p + p - i = -2, 5*i = -4*p + 10. Let a be 1/4 + 13/(-4). Let h be (-27)/(-24) - a/(-4). Is p at most h?
True
Let u be (-3)/(-2)*(-18)/(-27). Let r = u + -31. Which is smaller: -28 or r?
r
Let a be (-15)/(-165) + 94/(-792). Which is bigger: 0 or a?
0
Let y = -351/7 + 50. Suppose -p - o - 2 = 0, 4*o = p - 13 - 10. Suppose -p*d - 4*s = -8, -d - 5*s + 17 = 7. Which is bigger: y or d?
d
Let h = 0.117 + 0.883. Let d = -17/372 + 4/31. Do h and d have different values?
True
Suppose 0 = -10*j - 5 + 5. Let s be ((-3)/(-54))/(3/60). Which is smaller: j or s?
j
Let h = 107113095/82474 - 327975/274. Let u = h - 712/7. Let g = 0 - 0. Which is bigger: g or u?
u
Let y be (-21)/114 - 2/(-4). Let s = 169/114 - y. Suppose -u - 15 + 16 = 0. Is s at most u?
False
Suppose 0 = -5*k + 10, -5*k = 4*l - k - 56. Let m(y) = y - 50. Let d be m(l). Is d > -38?
False
Let f = -2/2575 - -319314/18025. Let c = -606/35 + f. Which is smaller: c or 0?
0
Let n(b) = 7*b**3 - 10*b**2 + 8*b - 5. Let a(w) = -4*w**3 + 5*w**2 - 4*w + 2. Let y(x) = 5*a(x) + 3*n(x). Let i be y(4). Are i and -23/5 equal?
False
Suppose 4*g + 8 = 2*h, -14 = g - 4*h + 2. Which is smaller: g or 2/41?
g
Let s(w) = -2*w**2 + w + 20. Let c be s(-5). Let j = -31 - c. Does j = 4?
True
Let i(u) = 39*u - 213. Let o(k) = -11*k + 61. Let f(b) = -5*i(b) - 18*o(b). Let v be f(11). Is 5/11 <= v?
False
Let z = -0.076 + -0.134. Let p be -1 - 1 - (1 + -4). Is z <= p?
True
Let t be (-1065)/18 - ((-44)/(-24) - 2). Let k = 48 + t. Which is smaller: -34/3 or k?
-34/3
Let c(w) = w**3 + 10*w**2 + 11*w + 28. Let q be c(-8). Let x = -35 + q. Do x and 33 have the same value?
True
Suppose 0*s - 4*s + 60 = 0. Let y be (s/(-16))/((-9)/12). Which is smaller: y or -0.1?
-0.1
Suppose 0 = 5*i - 4*l + 155, 5*i - 1 + 171 = l. Let n be (4/20)/((-9)/i). Is n at most as big as 0?
False
Let i = -2993/3 - -975. Let h = i + 22. Let q(y) = y**2 + 19*y + 77. Let d be q(-6). Is h greater than d?
True
Let h = -0.5 - -0.57. Let a = 13.1 - 13. Which is smaller: h or a?
h
Let g = -17 - -19. Suppose 2*m - 3*q = 19, g*q - 4 = m + 5*q. Suppose 2*w - 6*w = m*v + 103, -93 = 5*v - w. Is v > -19?
False
Let o = 13 + -11. Let i be 1085/20 - o/8. Which is bigger: 53 or i?
i
Suppose -4*m + 1 - 89 = -4*x, -x = 5*m - 22. Suppose 311 = 12*i + 23. Which is smaller: x or i?
x
Let b = -8 - -7. Let j be b*2/2 + -11. Let t be (-2)/8*18/j. Which is smaller: t or 1?
t
Let t(p) = -3*p - 25. Let w be t(-32). Which is bigger: w or 73?
73
Let q = 139 - 134. Suppose -q*n = 3*a + 2, n = -3*a - a + 3. Which is smaller: 2/157 or n?
n
Let s = -4903/2164445 + 6/1907. Which is smaller: 0 or s?
0
Let j = 6014 - 5998. Suppose -z + 6 = -7. Which is smaller: z or j?
z
Let s = -444/17 + 26. Suppose -1 - 2 = -3*v. Is v less than s?
False
Let t(y) = 33*y + 152. Let s be t(-5). Is s != 3?
True
Let t(m) = m**2 - 5*m - 2. Let n be t(3). Let a be ((-6)/n)/((-39)/26). Let f(y) = y**2 - 3*y - 4. Let x be f(5). Which is greater: x or a?
x
Let r = 81 - 158. Let y = r + 74. Suppose -3*w - i - 6 = 2, -3*i = 5*w + 8. Which is bigger: w or y?
y
Let l be 22 + 3 + -3 + 1. Let m = -25 + l. Let s be (-1)/4 + 6/(-16). Which is greater: s or m?
s
Suppose -5343 + 483 = -20*y. Is 243 bigger than y?
False
Let f be 7/(-70) + 71/10. Is f < 6?
False
Let t be (12/(-2))/(-1) + (-744)/119. Which is bigger: t or 1?
1
Let x be (-70)/20*(-56)/49. Which is bigger: 74/15 or x?
74/15
Let a(f) = 3*f - 5. Let x = 17 - 62. Let p be 18/x + (-24)/(-10). Let i be a(p). Is -2/29 at least as big as i?
False
Suppose 5*p - 27 = i - 0*i, 0 = -2*p + 8. Is i greater than -15?
True
Let a(y) = 4*y**2 + 20*y + 76. Let q(k) = -k**2 + k - 1. Let u(i) = a(i) + 3*q(i). Let x be u(-19). Let b be 1 - 0 - 28/10. Which is smaller: x or b?
x
Let y = -36923/46562 + 49/62. Is y less than 0?
True
Let c = -16 - -5. Let r be 56/(-1) + 7 + c. Let f be (-6)/(-45) + 38/r. Which is smaller: f or 5/6?
f
Let d = 24013/46 + -522. Let w(q) = q**2 - 6*q + 5. Let j be w(5). Is j != d?
True
Let z be 0/(3 + -2 + -3). Let c be -1 + (-21)/(-30) - 44/(-55). Is z bigger than c?
False
Let g = 7.5 + -8. Let a = g - 0.9. Let t = a - -1.3. Do -21 and t have the same value?
False
Let z = -3 + 2. Let v = -6.8 + 5.9. Let r = z - v. Which is bigger: 9 or r?
9
Let z = 4 - 4.35. Let i = 0.28 + z. Which is greater: -0.4 or i?
i
Let a be (-10)/(-40) - 2/8. Suppose a = -5*i + 1 + 4. Let m = -3 + 23/8. Which is smaller: m or i?
m
Let r be 2/((-4318)/6 + (-2)/(-3)). Is r greater than or equal to 1?
False
Suppose -2*n + 7 + 9 = 0. Suppose 7*a = n*a - 8. Which is smaller: a or 11?
a
Let s be (1/6)/(4/16). Suppose 0 = -6*p - 247 - 5. Let j be 6/4*(-56)/p. Is j > s?
True
Let y be (-2)/8 + (-7)/(-4) - 77. Do y and -76 have the same value?
False
Suppose 15 = -0*b + 3*b. Let i be ((-6)/b)/((-28)/(-70)). Is i greater than or equal to -19/5?
True
Suppose 3*n + 34 = 25, -11 = r + 4*n. Which is smaller: r or -2/2369?
-2/2369
Let f = 1 + -1. Let i be (0 - -4) + (-5 - (-56)/7). Let c be (f + 0)/(i/7). Which is greater: c or 1?
1
Let b be ((-27)/5)/9*-45. Which is bigger: b or 30?
30
Suppose 11 = -4*h + 27. Suppose 3*w - 3 = h*z - 2, -4*z = 3*w - 17. Let i = 19 - 19. Which is smaller: i or w?
i
Suppose -u + 34 + 38 = 3*k, 0 = -2*u + 2*k + 160. Which is bigger: 83 or u?
83
Let r be -79 + 88 - (-39 - -2). Is r at least as big as 29?
True
Let r be ((-2)/(-3))/((-6)/9). Let g(n) = -15*n**3 - 2*n**2 + 1. Let j be g(r). Suppose 4*p - j = -50. Are p 