 l?
True
Let b = -653.803 + 654. Are b and 3 equal?
False
Suppose 12*p - 95 = 25. Let u be (-9)/6 + 15/p. Let i be 2 + 35/(-19) + 0. Which is smaller: u or i?
u
Let n = -6949625 + 23865012671/3434. Let r = n + -1/202. Which is bigger: 0.04 or r?
r
Let m be 40/(1/((-93)/6)). Let y = m - -1183/2. Let v = 28 + y. Is 0 bigger than v?
True
Let o = -2.924 + 34.984. Let r = -32 + o. Is 2/5 at most as big as r?
False
Let j(a) = -a**2 + 6*a - 1. Let t be j(6). Let q be (-6620)/48 + t + 3. Let d = 136 + q. Is -1 equal to d?
False
Let y be (-4)/(-10)*(-1 - 4). Let r be (66/(-77))/(2/(-14)). Let i be 3/(-6)*(-4 + r). Which is smaller: y or i?
y
Let p = 0.413 - 41.113. Let c = p - -40. Are c and -2 equal?
False
Let q = -3.19 + 4.09. Which is smaller: q or 22?
q
Suppose 30 = 8*s - 38*s. Is -3/175 at most s?
False
Let b = 395/1168 - 11/73. Which is bigger: b or -1?
b
Let j be 2 - (1 + -3 - -3). Let i = -139/12 + 73/4. Is i equal to j?
False
Let o be 57*-1 - (-10 - -13). Let r = o - -64. Are -7 and r non-equal?
True
Suppose 107 = 4*q + 5*w, -3*q - 2*q - 2*w + 155 = 0. Suppose -q*a = -37*a - 4. Do -2/209 and a have different values?
True
Let n = -8 + 4. Suppose 17 = 8*g - 15. Suppose -3*a = -5*a + g*r - 14, -2 = 2*r. Which is smaller: a or n?
a
Suppose -3*k - n = -14, 0 = 3*k - 5*n - 3 + 1. Let u be (-2 + 2 + 0)/k. Are 4/9 and u equal?
False
Suppose a + 4 = 3*x, -3*x - 4*a + 264 = 265. Which is greater: -11/48 or x?
x
Let f(j) = j - 9. Let c be f(11). Let b(g) = 0 + 10 + c + g. Let i be b(-12). Do 3 and i have the same value?
False
Let i(q) = 10*q - 15. Let n be i(8). Let u = -64 + n. Is u greater than or equal to -3/25?
True
Suppose -453 + 29 = -8*a. Which is bigger: 54 or a?
54
Suppose f = -3*f + 8. Let z be 198/27 + (-8)/6. Is f at least z?
False
Suppose -7*b - 9*b - 272 = 0. Which is smaller: -180/11 or b?
b
Let z = -6613/29 - -228. Do z and 0 have the same value?
False
Let i be 2/10 + 52/(-10). Let x = 0 - i. Let l be ((-24)/60)/((-19)/x). Is 1 < l?
False
Let k = -428 + 418. Which is smaller: -3/2 or k?
k
Let m be (3 - (-18)/(-8))*2*2. Suppose 0 = z - m + 4. Is z less than 2?
True
Let l = -55 - -59. Let b be (4/(-24))/((-2)/l). Is b <= 10?
True
Let m = 81 + -111. Does m = -29?
False
Let l = -50.77 - -51. Let v = -0.14 + l. Let x = -1.09 + v. Which is bigger: x or 4?
4
Let o be (-64 + 0 - (-192)/(-32)) + -3. Is 2 bigger than o?
True
Let m be 12/(-3) + (-5 - -11). Suppose 4*o - 3*a = -15 + 259, -3*o - m*a = -183. Let z = o + -37. Is z greater than or equal to 25?
False
Suppose 0*j + 3*j = 9. Suppose 5*p + 4*t = -j, -p + 4*t = p - 10. Let h(l) = 2*l**2 - 1. Let z be h(p). Is 3/26 equal to z?
False
Let k be (9 + (-238)/28)*1*-7. Which is bigger: -20 or k?
k
Suppose -7*u + 25 = -2*u. Suppose 0 = -3*i + u*h + 22, 6 = -i - 4*h - h. Which is smaller: -7 or i?
-7
Let a be (-4)/24*2 - 6/(-27). Which is smaller: a or -6?
-6
Let c = -249/4 - -1193/20. Which is greater: c or -4?
c
Let k = 2/595 + 1529/76160. Is k <= 0?
False
Let g = 44 - 23. Which is smaller: 280/13 or g?
g
Suppose -4*v = -3*k - 0*k + 28, -4*v - 24 = -2*k. Suppose 0 = 5*i - 0*i - 3*u - 12, -2*i = -2*u - k. Let z be 36/8 - 4/8. Which is bigger: i or z?
z
Let f(d) = -d**3 + 6*d**2 + 6*d - 28. Let v be f(8). Let t be ((-2)/7)/(-1) - v/(-84). Which is smaller: 2/17 or t?
t
Let v = 14.9 - 15. Let g = 0.55 - 0.53. Is v > g?
False
Suppose -4*j + 5*h - 5 = 0, -6*h + 5 = j - h. Let n be 16/(-60)*(j - 3/(-6)). Which is smaller: 1 or n?
n
Suppose 0 = -3*m - 5*r, 2*m = -3*m - 4*r. Let h = 1021/1372 + 2/343. Is h at least m?
True
Let v = 0.061 + 36.939. Let p = v - 35. Is 11 not equal to p?
True
Suppose -4*d = -4*t - 8, t - d + 4*d = 2. Let u = -4/37 + 67/962. Let w = -4/65 + u. Which is smaller: w or t?
t
Suppose 128*v - 136 = 132*v. Which is smaller: 6 or v?
v
Let m be (24/(-4))/(-5 - -3). Let o = m - 4. Is o equal to -1/9?
False
Let l be (1 + 1)/(1/1). Is l > -16?
True
Let p = -1/380 + 769/3420. Do -6.9 and p have different values?
True
Let u = -63 + 54. Let h = -9 - u. Let o = 0.04 + -2.04. Which is smaller: h or o?
o
Suppose 0 = -0*j - 5*j - 15. Which is bigger: 7 or j?
7
Let g = -231 + 119. Let n be g/(-6) + 26/(-39). Which is greater: 21 or n?
21
Suppose -8*n = -55*n - 1410. Is -123/4 bigger than n?
False
Suppose -2*v = 4*n + 2, -4*n - 1 = v + 2. Suppose -s + v + 11 = 0. Is 11 < s?
True
Let n = 766 - 761. Is n at least as big as 3/34?
True
Let n = -344 + 416. Which is smaller: 73 or n?
n
Suppose -3*h - 8*w = -3*w + 54, 4*h - 4*w = -40. Which is smaller: -12 or h?
h
Suppose 9*g + 64 = -656. Which is smaller: g or -83?
-83
Let p = -163 + 329. Suppose -p*i + 171*i = 35. Let b = 5 - -1. Which is smaller: b or i?
b
Suppose -d + 1 = -2*d. Let i = -1309 - -45813/35. Which is bigger: i or d?
i
Let k(z) = -z - 9. Let j be k(-5). Let h(o) = -o**3 - 5*o**2 - 4*o - 2. Let m be h(j). Suppose 30 = t + 4*t. Are t and m unequal?
True
Suppose -g = -4*w, -4*g = -w - 2*w + 13. Let y be (21 + -20)*(-3)/(-12)*-9. Which is smaller: y or w?
y
Suppose 0*m - 3*m - 27 = -5*r, -5*m - 45 = 3*r. Which is smaller: m or 1?
m
Let v = 530 - 456. Is v at most 71?
False
Let x be (-1956)/(-696) - (3 - 0). Let h be (-277)/696 - (-9)/24. Let q = h - x. Is q greater than -1?
True
Let w = -1084.953 + 1085. Which is smaller: w or -0.03?
-0.03
Suppose -3*h = 3*g + 30, 0*g - 2*h = 5*g + 59. Suppose -2*u + 55 = -7*u. Is u not equal to g?
True
Let y = -2.2 - 0. Let q = y - -2. Let l = -27/2 + 14. Is l less than q?
False
Suppose 6 = 2*d, 5*v - 2*d - 3*d - 20 = 0. Suppose 3*x - v*x = -4*m, 5*m + 3*x + 8 = 0. Let r be m/(-3 + (-188)/(-8)). Are 1 and r nonequal?
True
Let s(n) = -2*n**2 + 14*n - 18. Let i be s(6). Is 3 at most as big as i?
False
Let j be (-26*3/630)/((-2)/834). Let n = j + -261/5. Is n < 0.3?
True
Let a(t) = -t - 3. Let s(d) = 2*d**2 + 0 + 10 - 3*d**2 - 12*d. Let o be s(-13). Let m be a(o). Which is smaller: m or -4/3?
-4/3
Let z = 1112 + -5532/5. Which is smaller: 7 or z?
z
Let x = 1/652 - 3961/31948. Let n be (6/14)/(77/27). Let l = x - n. Are -1 and l unequal?
True
Let i = 1 - 2. Suppose 0 = 2*q - 4 - 2, 3*p = q - 6. Let h = p + i. Which is smaller: h or -1?
h
Let z be ((-1 - -5)/(-2))/(6/3). Let o = 297/14 + -1898/21. Let a = -17027/246 - o. Does a = z?
False
Let y(g) = g - 22. Let q be y(-12). Let w = -34 - q. Which is smaller: w or 28?
w
Suppose 0 = 57*m + 80 - 23. Which is greater: m or -3/73?
-3/73
Let v = 1 + 28. Suppose p + 2*p - 6 = -3*f, 3*f = 4*p - v. Let l = f - -3. Is l smaller than 6/13?
True
Suppose 6 = 8*z - 7*z. Let b = 12 + -24. Let c be ((-1)/(-6))/(z/b). Are c and -1 equal?
False
Let o(i) = -i**3 + 16*i**2 - 15*i + 2. Let t be o(15). Suppose d + 7 = 2*w - w, t*d = 5*w - 20. Let k be (28/(-8) + 3)*w. Which is smaller: k or -7?
-7
Suppose -21*n = -23*n + 2, f + n = 16. Which is greater: 3/2 or f?
f
Let q(m) = -18*m**2 - m - 2. Let s(k) = k + 5. Let t be s(-3). Let d be q(t). Let g = 381/5 + d. Are g and 1 nonequal?
True
Let f = 39 - 20. Suppose -132 = -15*j + f*j. Is j > -31?
False
Let b be 3*(-4)/54 + 9920/90. Which is greater: b or 219/2?
b
Let r = 8 + -3. Suppose 0*l - 5*z = -4*l + 52, r*z + 13 = l. Let c be l + -15 + (-42)/(-22). Is -1 bigger than c?
False
Let y = -48/5 - -5621/585. Which is bigger: y or 2?
2
Let l be 816/(-2610) - 4/(-12). Which is smaller: 1 or l?
l
Let h = -9/20 - -43/140. Let m = -8 - -11. Let q be -2*((-6)/(-4))/m. Which is bigger: h or q?
h
Let h be 6 - (-2 + 18) - 17. Is h less than -27?
False
Suppose -4*c + 5*c = 2. Let p be (-28)/(-20) + (c - 14/10). Suppose 4*r = s - r + 1, 5*s + 5 = 2*r. Is s > p?
False
Let v(o) = -3*o**2 + 85*o - 1. Let d be v(-3). Which is smaller: -282 or d?
d
Let k = 161259251/1050585617 - -1/597263. Let t = k + 201378/888295. Let q = 2/101 + t. Which is smaller: 10 or q?
q
Let p be 23/253 + 46/(-22). Is p >= -35/16?
True
Let q = -27.4 + 31.7. Is q >= -1/2?
True
Suppose 4*g + 3*h = 329, -g + 4*h + 68 = -0*g. Is 79 at most as big as g?
True
Suppose 2*x - 3 = 4*r + 1, -5*r - 2*x = -13. Let d(n) = -n**3 + 11*n**2 + 11*n + 14. Let o be d(12). Let y be (-9)/7 - (0 - (-1 + o)). Which is greater: y or r?
r
Let k = -90 + 89. Let g = k + -2. Which is smaller: -1 or g?
g
Suppose 0*c - 3*c - 24 = 0. Let s(n) = 8 - 8*n + 16 - 22 + 7*n**2 + n**3. Let u be s(c). Are 12/5 and u