t most as big as 52?
True
Suppose -160*r = -152*r. Is r > -6/95?
True
Suppose 4*w + 1 = x, 0 = w - 2*x + 2. Is -13/29 at most w?
True
Let z be (-7)/(-245) + 33/(-105). Let p = 2.05 - 2. Is z != p?
True
Let h be -1*((-6)/24 + 6/(-8)). Is 1.1 not equal to h?
True
Suppose 0*b + 4*b = 32. Suppose v - b = 5*v. Let l(a) = -a**3 - 3*a**2 - 2*a + 1. Let p be l(v). Which is bigger: p or -1?
p
Let l be -1 - (728/(-32) + -1). Which is bigger: l or 24?
24
Let x = 1.92 + -1.86. Let g = -0.032 + -4.068. Let q = g + 4. Which is smaller: x or q?
q
Let l be (-1530)/(-12) + (-6)/4. Let h = 1889/15 - l. Which is bigger: h or 0?
0
Let a = 2101/6 + -351. Let w(d) = d**3 - 2*d**2 - 3*d - 2. Let k be w(3). Which is smaller: a or k?
k
Let z(f) = -3*f + 19. Let m(r) = 2*r - 13. Let t(a) = 7*m(a) + 5*z(a). Let k(s) = 2*s**2 + 2*s + 1. Let j be k(-2). Let v be t(j). Is -4 > v?
False
Suppose u = 30*u - 464. Is u greater than 6?
True
Let c(p) = -p**3 - 2*p**2 - 3*p - 1. Let j(y) = 7*y + 42. Let r be j(-6). Let h be c(r). Let m = -16/53 - -779/2756. Is h bigger than m?
False
Let d(w) = 10*w - 17*w + 5*w. Let t be d(1). Is -1/2 <= t?
False
Let v = -5 - 309. Is v bigger than -315?
True
Let i(u) = -u + 13. Let k(c) = -c**2 + 10*c - 20. Let l be k(8). Let x be i(l). Do x and 17 have different values?
False
Let p = -61 - -87. Let c be (-1)/4 + p/8. Is 1 less than c?
True
Let h(i) = 6*i. Let n(x) = -x**2 + 5. Let d be n(0). Let g be h(d). Let j = 632/21 - g. Which is bigger: 2 or j?
2
Let x = -5 + 8. Suppose 6 = x*t - 0*t. Let i be (-19)/t - (-5)/10. Is i greater than -10?
True
Let h = -13 - -8. Let l = h + 7. Which is smaller: l or 7/4?
7/4
Let j = 18 + -12. Suppose 0 = 9*q - j*q. Does q = -6/35?
False
Let d = -2809 - -2809.059. Which is smaller: -1/8 or d?
-1/8
Suppose -7 + 7 = 60*l. Let q be 2 - (4/(-70) - -2). Is l bigger than q?
False
Let y = -81569/14281631 - 1309628028208/1220179707747. Let m = -717/863 - y. Let h = -2/77 + m. Which is smaller: h or 0?
0
Let f = 197 - 195. Which is smaller: 175 or f?
f
Let c = -0.155 - -75.155. Let u = -77 + c. Is -1/3 less than or equal to u?
False
Suppose -62 = h - 2*b, 282 = -5*h - 16*b + 12*b. Which is smaller: h or -61?
-61
Suppose -58 - 200 = 6*f. Let q = f - -41. Which is smaller: 0 or q?
q
Let b(l) = 13*l + 54. Let i be b(-3). Which is smaller: i or 14?
14
Suppose -4*f + 23 + 1 = 0. Suppose 220 = 2*d - f*d. Let u be (-1)/5 - 1/d. Which is greater: -2 or u?
u
Let p(l) = -l**2 + 9*l - 10. Let r be p(7). Suppose -r*h - h = 0. Let q(n) = n**3 - n - 2. Let k be q(h). Which is smaller: -3 or k?
-3
Let i be (3/((-105)/(-370)))/(15/91). Suppose -147 = 3*p + 45. Let s = p + i. Which is smaller: 0 or s?
0
Let b be (564/(-36))/((-9)/27). Which is bigger: -23 or b?
b
Let y be ((-14)/(-90))/((-282)/(-235)). Which is bigger: y or -1?
y
Let x(a) = a**2 - 3*a - 7. Let z be x(5). Let v be -1 + 1 + 3 + -6. Let m be ((-8)/v - z)/(-1). Is 0 < m?
True
Let u = 0 + 5. Let t be -1 - (4 + -7) - u. Let s = t + 13. Which is smaller: 12 or s?
s
Let a be ((-92)/(-5))/4 - (-2)/5. Suppose -11 = 6*v + a*v. Is -2/11 <= v?
False
Let u(o) = -2*o**2 - 25*o - 15. Let a(n) = -3*n**2 - 51*n - 29. Let b(y) = -6*a(y) + 11*u(y). Let s be b(8). Does s = 1/13?
False
Suppose 21*a + 1482 = 2*a. Is a >= -78?
True
Suppose -3*h + 8 = 2*b - 4*h, -5*b + 7 = 4*h. Suppose -6 + 0 = b*d. Let l be 2 - (d + 1 + 2). Is 1 at most l?
True
Suppose -o + 1 = 5*w - 15, -4*o - 3*w = -13. Which is smaller: o or 0?
0
Let m = -24 - -25.8. Let n = 0.8 - m. Is n greater than or equal to -1?
True
Let o(k) = -20*k + 5*k**2 - 23 + 8 - 4*k**2 - 3. Let w be o(20). Which is smaller: -15 or w?
w
Let i = 15 + -6. Let z = -3 + i. Let j be ((-9)/(-3))/(z/(-18)). Which is bigger: j or -10?
j
Let i(w) = w**2 - 2*w - 2*w - 3*w. Let c be i(5). Let r = c + 9. Which is greater: r or -3?
r
Let j = -907 + 489. Is j at least -418?
True
Let d = -31/4 - -25/12. Is d != -6?
True
Let c = 970607 + -165002651/170. Let n = c - -1/34. Let d(i) = i**3 - 5*i**2 - 5*i - 3. Let w be d(6). Which is smaller: n or w?
w
Let l(k) = -2*k**3 - 3*k**2 + k + 4. Let n be (-22)/(-55) + 12/(-5). Let h be l(n). Let g be h/(-4) + 11/(-2). Which is greater: g or -8?
g
Let y = 88 - 25. Let j = y + -64. Which is greater: 73 or j?
73
Let p = 130 - 284. Do -155 and p have the same value?
False
Let p be (-28 + 14)*(3 - (-25)/(-7)). Which is greater: 176/19 or p?
176/19
Let s = 21/67 - -1327/469. Suppose 4*d - 8 - 8 = 0. Which is bigger: s or d?
d
Let u be (-1)/(-3) + 9797/(-30846). Is u greater than -1?
True
Let f = 111451/10 + -11180. Which is smaller: f or -34?
f
Let c(i) = -28*i**2 - 2*i - 1. Let r be c(5). Is r equal to -711?
True
Let t = 6.1 + -16.1. Which is bigger: 4/9 or t?
4/9
Let t = 287/24 + -12. Is t less than -2?
False
Let z(y) = -5*y - 28. Let j be z(-4). Let x be (0 - 4) + (-56)/j. Is 3 <= x?
True
Let r(d) = d**3 + 4*d**2 - 4*d + 5. Let f be r(3). Suppose 2*s - 7*s = 3*p - 58, -4*s = -4*p + f. Suppose p*j - 6*j = -140. Is j < -15?
False
Suppose 0 = -3*v + 8*v - 10. Suppose 3*f + v*t = 3*t - 1, -5*t = -f - 5. Suppose -c - 1 = 0, -5*l + c - 11 = -3*c. Are f and l equal?
False
Let a = 13428 + -22317335/1662. Which is smaller: -1 or a?
-1
Let p = 81 - 82. Is p less than or equal to -112?
False
Suppose 4*o - 15 = 65. Suppose -3*s + 3*q - 4*q = -18, -4*s = -4*q - 8. Suppose -y - o = -4*j - s*y, 5*j + 2*y - 13 = 0. Does -1/23 = j?
False
Let l be (2 - -2) + -2 + -186. Let x = 1284/7 + l. Let t = 164 - 166. Which is greater: t or x?
x
Let p = 23 - 23. Let q = -43.6 - -45. Which is smaller: p or q?
p
Suppose 5*y + 3*t = t + 41, -4*t = -3*y + 35. Let z(n) = 8*n**3 + 2*n**2 - 4*n + 3. Let b be z(1). Is b <= y?
True
Suppose 2*q + 202 = 234. Which is smaller: q or 91/6?
91/6
Suppose -8*o - 10 = -538. Which is smaller: 70 or o?
o
Let h = 531 - 530.9. Which is smaller: 3.9 or h?
h
Let q = -57 - -83. Let n = 26 - q. Is 0.6 less than n?
False
Suppose -15*i + 195 = 585. Let j be 37/30 + (-2 - i/12). Which is greater: j or 0?
j
Let a(g) = 2*g + 1. Let b be 1/(-3) + 25/(-15). Let n be a(b). Let c = 1 + n. Which is smaller: c or 0?
c
Let l = 61 - 36. Suppose -5*o + 2*w = 10, l = -4*o + w + 4*w. Is -1/7 bigger than o?
False
Suppose 5*t - 10 = 0, 4*t + 0 = -o + 2. Let u be (13 + -11)*54/(-20). Is u >= o?
True
Let y(l) = l - 3. Let u(m) = 1. Let p(f) = 2*u(f) + y(f). Let b be p(5). Suppose -4*g + 4*a = -36, -9 = -b*g - 5*a - 0*a. Which is smaller: g or -2?
-2
Let h = -0.186 - 0.114. Which is greater: -3/5 or h?
h
Let o be (-3 - -5) + 5*1. Suppose -4*k + 0*b = 2*b - 14, -5*k = 2*b - 20. Is k equal to o?
False
Let l = -2496 + 72394/29. Which is greater: l or -1?
l
Let x = 4.56 - 4.36. Is x at least -66?
True
Let o = 1 + -0.98. Let b be 1/(-4) + (-6)/(-24). Suppose b = -2*y - 2. Which is greater: o or y?
o
Let t be (-1278)/(-312) + (-1)/4. Let z be (4 - (7 - 9)) + (0 - 3). Is t not equal to z?
True
Suppose 0 = -x + 4 - 1. Suppose 0 = -x*h - 3*i + 18, 3*i = 2*h + i. Is 6 greater than or equal to h?
True
Let w(o) = -o**2 - 4*o - 4. Let c be w(-3). Let q(i) = -3*i + 16. Let j be q(4). Let u be -2 + -17 + j/c. Which is bigger: -22 or u?
-22
Let o be 228/230 - (-28 + 29). Is 1 > o?
True
Let w = -56 + 43. Let v be -3*(-3)/(4 - 1). Let m = v + w. Which is smaller: m or -8?
m
Let z be 2/7 + (-65)/7. Let r = z - -27. Let m be ((-12)/r)/((-6)/(-9)). Which is smaller: -0.4 or m?
m
Let c(b) = -8*b + 7. Let t be c(4). Let y = -35 - t. Let k(x) = x + 8. Let o be k(-9). Is y greater than or equal to o?
False
Suppose -2*q = -3*f - 5 - 2, -2*q + 2*f + 6 = 0. Suppose 4*w = -q*g + 88, -5*g - 5*w + 142 + 58 = 0. Is 73/2 less than or equal to g?
False
Let f = 96.2 - 96. Let h = 97 + -73. Which is smaller: f or h?
f
Suppose -3*c - 27 = -2*u, 4*c + 11 + 17 = 2*u. Suppose -u*r = -13*r - 8. Which is bigger: -9 or r?
r
Let v be -3 - (-92)/(-524)*-17. Which is smaller: 1 or v?
v
Suppose r - 290 = -w - 63, 4*r - 3*w - 901 = 0. Suppose 4*t + r = 2*t. Are -114 and t equal?
False
Let p = -0.3 + 2.35. Let a = p - 0.05. Let b = 1199/28 - 173/4. Is a > b?
True
Let a be ((-121)/(-5))/(5*(-4)/(-50)). Suppose -5*v = 44 + 286. Let i = v + a. Is -7 equal to i?
False
Let u = 5.8 - 3. Let n = u + -3.8. Is n greater than or equal to -10/3?
True
Let n = 633 + -502. Do n and 131 have different values