aller: -1 or t?
-1
Let y be (-12)/20 - 2*4/20. Let d be 5/(-3)*6/(-52). Are y and d equal?
False
Let z be ((-20)/100)/(2/20). Suppose 5*t + 23 = -4*x, -4*t - 5*x - 16 = -3*x. Is z at least t?
True
Let f = -123083/73 + 1686. Which is greater: 0 or f?
0
Let y = -1583/16815 + -2/3363. Let m = 402/1235 + y. Let i = -672 + 672. Is i > m?
False
Suppose 4*v + 8 + 4 = 0. Let g(r) = -r**2 - 2*r + 4. Let w be g(v). Is 7/5 bigger than w?
True
Let j(a) = -2*a + 9. Let q be 22/4 + 4/(-8). Let f(m) = -m + 9. Let b be f(q). Let r be j(b). Is 5 < r?
False
Let f(w) = w**2 - 6*w + 2. Let j be f(4). Let d = -10 - j. Let o = 364 + -371. Is o equal to d?
False
Suppose 5*a + 20 = -4*o, -2*a = 2*o + 2*o + 32. Let u = -11 - o. Let x(c) = c**2 + 2*c - 4. Let b be x(-3). Is b smaller than u?
False
Let q = 1 - -1. Let y(v) = 2*v - 4 - 6*v + q + 5*v + v**3. Let d be y(0). Which is smaller: -3 or d?
-3
Let x = 792 + -550. Is 240 bigger than x?
False
Let t be (86 - -3) + -1*4. Let i = t + -88. Which is smaller: i or -14/5?
i
Suppose -30 = 3*q + 18. Let v be (0 - q/12)*-3. Let m be 0 + 0 - v/3. Which is greater: 2 or m?
2
Suppose -7*d + 14*d = 105. Is d < 10?
False
Let n = -331 - -327. Let b = -112 + 76. Let r be ((-6)/24)/((-2)/b). Is r <= n?
True
Suppose 8*y = 9*y + 9. Let b be (-30)/2 - (12 + y). Is b != -17?
True
Let r be (-1426)/854 + 4/2. Let q = r - -6/61. Suppose 1351*d - 3 = 1354*d. Is q > d?
True
Let u = 6 - 5.97. Let x = u - 0.43. Let v = -0.3 + 0.2. Is x greater than v?
False
Let d = -1061 + 1065. Let a be 58/12 + (-1)/(-2). Which is smaller: a or d?
d
Let a = 41 - 12. Suppose -5*t + 6 = -a. Is 10 <= t?
False
Let l(v) = -2*v**3 + 5*v**2 - 4*v + 3. Suppose 0 = 3*x - 13 + 4. Let k be l(x). Is k < -18?
False
Suppose -90 = 15*q - 160 - 95. Suppose -5*r + 9 = 2*k - 13, 0 = 5*k + 2*r - 55. Does q = k?
True
Let i = 1.27 + -1.18. Let o = 71 - 70.41. Let r = i - o. Which is greater: r or -2/5?
-2/5
Let u be -2 + -2 - 67557/(-16884). Which is greater: u or 0?
u
Suppose -4*k + 97 = 85. Which is smaller: k or -9?
-9
Let w be 15/((-75)/10) - 0. Is w less than or equal to -210?
False
Let a be 2*(-1)/1 - (-924)/(-105). Let z = a - -913/85. Is z >= 0?
False
Let r = -0.402 - 0.038. Let w = -0.14 - r. Let f be 2 + 6/(-2)*1. Is f smaller than w?
True
Let a = 17.06 + -0.06. Let r = a + -18. Is r >= -3/16?
False
Let t = -3.97 + 4. Let l be 5 - 6/(-4)*(-32)/12. Which is bigger: l or t?
l
Let q be 3472/31 + (0 - 1)*5. Which is bigger: 104 or q?
q
Let l be (150/(-18) + 1)/2. Let a be 11/(-2) - 2/(-4). Which is smaller: a or l?
a
Let w = 91 - -37. Let f = w - 128.1. Let p = -0.6 - -1.3. Which is smaller: f or p?
f
Suppose 0 = 4*x + r + 135, 3*x + 32 = 2*x - 2*r. Which is greater: -32 or x?
-32
Suppose 0 = -4*r - 20, 2*z = 2*r - 0*r + 14. Suppose 40 = z*b + 38. Which is bigger: b or 2/9?
b
Let y = -81/7 - -79/7. Let q = -97 + 45. Let d = 45 + q. Which is bigger: d or y?
y
Let n = 5.26 - 0.06. Let a = 6 - n. Let j = a - 0.5. Is j greater than 1?
False
Let h = -721 - -748. Is 16 < h?
True
Let j be (-1)/(2/6 + 0). Let l be (-25 - 3)*j/2. Suppose 0 = 8*m - 11*m - l. Is -13 > m?
True
Let y = 173 + -147.7. Does 0 = y?
False
Let g = 0 - 0. Let n = -165 - -164.9. Let v = g + n. Which is greater: -6/11 or v?
v
Let w(r) = -r**2 - 19*r + 148. Let q be w(6). Let g = 0 - 1. Is q smaller than g?
True
Let u(k) = 2*k**2 + 4*k + 5. Let g be u(-2). Let h be (12/(-8))/((-510)/g). Which is smaller: 0 or h?
0
Let z = -3.21 + 3.41. Which is bigger: z or 30?
30
Let w(t) = t**2 + 3*t + 3. Let s be w(-3). Suppose 5*j = 3*f, -4*j = -s*j. Suppose 0 = -27*n + 25 - 79. Which is greater: n or f?
f
Let i = -102 - -104. Let g = -0.5 + i. Which is greater: -1 or g?
g
Let q(k) = k**2 + 45*k - 45. Let l be q(1). Which is greater: -5/91 or l?
l
Suppose 2*r - 3 = r + 2*u, 3*u + 4 = 2*r. Suppose p - 172 = 2*p - 4*l, 837 = -5*p - 3*l. Let a be p/595 + 4/10. Is r smaller than a?
True
Let w(x) = 7*x - 36. Let g be w(7). Which is bigger: 12 or g?
g
Let b = -1.825 - -1.725. Let z = -36 - -14. Which is greater: z or b?
b
Suppose -2*k - k - 24 = 0. Let y = k - -11. Let i be 6 + (2 - (3 - -1)). Which is greater: i or y?
i
Let z = -15.5 + 25.2. Which is bigger: z or -0.1?
z
Let a(o) = o**2 + 9*o + 5. Let m be a(-9). Suppose 6*u + 16 = 10*u. Suppose -23 = -5*z + u*f, 4*z - 2*f + 3*f - 31 = 0. Does z = m?
False
Let j(f) = -f**2 - 4*f - 41. Let y be j(0). Let w be (3 + 30/(-5))*y/3. Is 40 at least as big as w?
False
Let l = -38 + 38. Suppose l = 7*b - 3*b + 16. Which is greater: b or 2?
2
Let i = 0.9 + 3.1. Let a = 46 + -45. Which is smaller: i or a?
a
Suppose 0 = 4*f + 12, 0*f = -4*t + 2*f + 10. Let a = 152.71 - 205.71. Are t and a unequal?
True
Suppose 0 = 4*r + h + 2*h - 14, 2*h - 4 = 0. Suppose 3*t - 30 = -r*t. Let d = t + -3. Is d at most 2?
False
Let d = -0.064 + -1.024. Let g = d - -0.088. Is 16/5 != g?
True
Suppose 71*k = 68*k. Is 4/41 greater than k?
True
Let k = 31 - 30. Let u be 5 + -4 - (k + -1). Suppose 4*h + u = 3*h. Is 1/10 smaller than h?
False
Let w = 13 - 9. Suppose 4*b + 8 = -w*b. Let y = -918/5 - -183. Is y less than or equal to b?
False
Let v(z) = -z - 6. Let h(c) = -6. Let n(o) = -3*h(o) + 2*v(o). Let t be n(4). Is t at least as big as -7/4?
False
Let l = -220 - -220. Which is bigger: 5/52 or l?
5/52
Suppose -l - 16 + 15 = 0, 3*l + 7 = -4*k. Is -15/19 equal to k?
False
Suppose -3*x - 5*h = -2, -2*h - 22 = 5*x - 0*h. Suppose 51 + 48 = -11*p. Is p less than x?
True
Let c be 7/4 - (-2)/8. Let f = 139 - 139.2. Is f greater than c?
False
Suppose 3*u = -14 + 11. Do u and 6/19 have the same value?
False
Let i = -5 - -8. Suppose -5*a - 67 = i. Let u be 3/a - 6/21. Is 2 > u?
True
Let d = -193 + 213.1. Let r = 24 + -43. Let l = r + d. Is 1 > l?
False
Let y = 65 - 42. Let h(r) = -r**2 + 39*r - 283. Let p be h(11). Which is smaller: p or y?
y
Let x = -0.75 - -24.75. Let r = -28.29 - -0.29. Let c = r + x. Which is bigger: c or 2/11?
2/11
Let p be ((-3962)/(-14))/(11/44). Is p < -1/4?
False
Let k(g) = -g**3 - 4*g**2 - 4*g - 7. Let u(d) = -3*d**3 - 8*d**2 - 8*d - 15. Let x(o) = -5*k(o) + 2*u(o). Let y be x(5). Is y >= 3?
False
Let k = 136 + -148. Do -15 and k have the same value?
False
Let o(a) = a**3 - 2*a**2 + a - 4. Let g be o(3). Suppose -z - 5 = -g. Which is smaller: z or 1?
1
Suppose 10 = 13*u - 8*u. Let i be 5 + u + 0/3. Suppose -2*d - i = -5*j - 2, -2*j + d = -3. Is -1 less than or equal to j?
True
Let i = -33 + 42. Let f be -4 + 2 - (0 - 0). Let s(w) = 2*w**2 - 2*w - 1. Let b be s(f). Which is smaller: i or b?
i
Let v = 3100/29 - 107. Let n = -84 + 83. Is n bigger than v?
False
Let t be ((-14)/(-4))/(2/(-8)). Suppose -288 = 16*a - 80. Which is smaller: a or t?
t
Suppose i - 63 + 7 = 0. Does i = 56?
True
Let b = -185 - 165. Is -348 smaller than b?
False
Let b be ((-4)/(-40992)*-6)/((-5)/20). Which is smaller: b or 1?
b
Let q = -169 + 204. Is q > -3?
True
Suppose 24 = -2*y - 4*c, -c + 0 - 4 = 0. Let m be (-3)/y - 206/(-24). Let k = m - 9. Is 0 smaller than k?
True
Suppose -22*f + 17442 = 16*f. Is f != 460?
True
Suppose -r = r + 4*l + 236, 0 = r + 3*l + 117. Let x be (0 + 1)*5 + 0. Let d be (-4 + 1)*x/r. Is 0 less than or equal to d?
True
Suppose -2*s + 8 = 2*s. Suppose 5*j - 2*g = -15, -12*j + 4*g - 5 = -7*j. Which is smaller: j or s?
j
Let t(c) = c**3 + 15*c**2 - 3*c - 35. Let v be t(-15). Is 11 greater than or equal to v?
True
Let p = 1517 + -30357/20. Is 0 greater than or equal to p?
True
Let k = -4991/11 + 453. Which is greater: k or 5?
5
Let g = 3251/3 - 1050. Is g < 3?
False
Suppose -15 = -5*d, 4*s - 5*d - 25 = 2*s. Suppose 2*q - 5*o = s, -16 = 3*q + o + 3*o. Let y = q - 2. Does 3 = y?
False
Let t be 66/(-135) - 24/(-40). Is -1/22 <= t?
True
Let k be (-20)/6 - (-4)/(-6). Suppose -7 = -5*p + 13. Let d be (-2)/p*2/k. Which is smaller: -1/6 or d?
-1/6
Suppose -288 = -2*p - 2*p + 2*u, 0 = 3*p + 4*u - 194. Which is bigger: 68 or p?
p
Let u = 0.0374 - -0.0626. Which is smaller: u or -152?
-152
Let j be (-8 - -8) + 1*-20. Let w be (-148)/(-70) + -3 - 12/j. Which is greater: -1 or w?
w
Let g be 2010/624 - 3 - 8/(-52). Let v = 5 + -8. Let x be (-2)/v*(-3)/2. Is g greater than or equal to x?
True
Let s = 0.31 + 6.69. Let n = s - 5.5. Let u = -1.38 + n. Which is smaller: u or 2/7?
u
Suppose 0 = -f - 5*f. Is f > -2/61?
True