r l?
l
Suppose -4*h + 59 = 151. Suppose 0 = -0*k - 2*k - c - 40, 3*c = 3*k + 69. Is h equal to k?
False
Let b = -98/3 - -680/21. Which is smaller: b or 30?
b
Let t = -23 - -27. Let m(q) = -3*q + 13. Let h be m(t). Is h <= -0.1?
False
Let n = 257/4 - 1807/28. Is n > -1/9?
False
Let f = -0.442 + 0.442. Are f and -1/375 unequal?
True
Let n = -35 + 17. Let o = -19 - n. Do 29 and o have the same value?
False
Let f(q) = 2*q**2 + 4*q + 3. Let j be f(-2). Suppose 0 = j*u - 4*u + 4. Suppose -u*g + v = -57, -5*v - 38 = -0*g - g. Which is smaller: 14 or g?
g
Let c(w) = w**3 + 14*w**2 - 16*w - 13. Let g be c(-15). Suppose g*j + k - 20 = -4*k, k - 4 = j. Which is bigger: j or 2/93?
2/93
Let w be (192/14)/(10/(-70)). Let z be (-1)/(-4)*13/(884/w). Let p be (-2 + 2)/(2/2). Which is bigger: p or z?
p
Let n = -1 - 1. Let r be (-136)/(-12) - (-4)/6. Let u be (9/r)/((-4)/16). Which is smaller: u or n?
u
Let f be 10 + 234/(-6) - -5. Is -30 greater than or equal to f?
False
Let g be (22/5)/((-14)/70). Let y = g + 39. Is y equal to 84/5?
False
Let v(d) = 2*d - 16. Let g(z) = -2*z + 15. Let x(o) = 6*o**3 + o**2 - o. Let a be x(1). Let k(f) = a*v(f) + 7*g(f). Let s be k(5). Which is greater: -1/22 or s?
-1/22
Let w be (-25)/10*18/45. Which is smaller: 3/131 or w?
w
Let y be (4 - 1)*(150/6 + -5). Which is smaller: 239/4 or y?
239/4
Suppose 7*m = -m + 184. Suppose -5*x - 15 = -5*j, -3*x - j - m = -2. Which is smaller: 2/5 or x?
x
Let x be (0 - 202/9)*1. Which is smaller: -22 or x?
x
Let g = 2.94 - -0.06. Let m = -2.8 - -3.02. Let v = 0.12 - m. Which is smaller: g or v?
v
Let y = -427 - -429. Let j = -2.8 + 3. Which is greater: j or y?
y
Let h = -131 - -415. Suppose 4*x - 3*l + h = l, l = -3*x - 213. Let b = x - -498/7. Are 0 and b nonequal?
True
Let d = -96654.997 + 96694. Let l = -0.003 + d. Which is greater: l or -1?
l
Suppose -39 = -7*c - 4. Let m be 7*c - (1 - -3 - 3). Is 34 equal to m?
True
Let d = -12.09 - -3.09. Is 0.13 smaller than d?
False
Let b = -495 - -936. Let q be (-2)/(-12) - b/54. Which is greater: q or -3?
-3
Let w = -3 - -4. Let g = 4 + 17. Let m be ((-28)/g)/((-39)/(-9)). Is m at least as big as w?
False
Suppose -6 = 5*l - 31. Suppose 13 = 4*m + l. Let d be (-4)/(-18)*-6 + m. Which is smaller: -2/3 or d?
-2/3
Let z = 189/2 + -99. Is 0.1 less than or equal to z?
False
Let w = 876.79 - 876. Do 0.06 and w have different values?
True
Let p = -0.804 + 0.96. Let a = -0.044 - p. Which is bigger: a or 2/7?
2/7
Let y(n) = n - 6. Let t(a) = -3*a**3 - a**2. Let c be t(-1). Let m be y(c). Let g = -465/1828 - -2/457. Which is smaller: m or g?
m
Let s(z) = 8*z**3 - 2*z**2 + 4*z - 2. Let y be s(2). Let f = y - 58. Which is smaller: f or 7?
f
Let s be (-3*(-4)/(-72))/(0 + (-1)/4). Let d = 5 - 26. Which is bigger: s or d?
s
Suppose -44*m = -47*m - 3. Which is greater: 2/537 or m?
2/537
Let m = 1/5333415 - 192194942977/197336355. Let c = m + 974. Suppose 2*j = -6, 4*s - 2*j - 13 = -3. Which is smaller: c or s?
c
Suppose -4*b - 48 = -5*u, -b + 60 = -6*b + 3*u. Let h be 40/12 - 8/b. Suppose t + 2*m = -5, h*t - 2*m + 7 + 3 = 0. Is t at most -2?
True
Let k = 65/27229 + -6/373. Which is greater: k or 1?
1
Let b = 248 - 141. Is -0.1 equal to b?
False
Let o = -67513 - -67489.9151. Let x = o + -0.0051. Let z = x + 23. Is z equal to 0?
False
Let v be (-5)/((-50)/52) + (-4)/20. Do 0.1 and v have the same value?
False
Let b = 1 - 1. Let r be 3/(-24)*-12*(-10)/3. Which is greater: b or r?
b
Let p(b) = -b + 1. Let x = 8 + -7. Let w be p(x). Let f = -395/294 - -1/98. Are f and w unequal?
True
Suppose -3*h - 5*a = -94, 4*h + 2*a - 114 = a. Let s = -19 + h. Let q be (-9)/10*(-3)/s. Is q less than or equal to 1?
True
Let g = -41.9602 + -0.0398. Which is bigger: -1/5 or g?
-1/5
Let l be (2/(-4) + 20/56)*-2. Let b = -68.9 + 72. Which is smaller: b or l?
l
Suppose -17*j + 139 + 915 = 0. Which is greater: 65 or j?
65
Let s = 131 - 145.91. Let z = s - -15. Let v = z - -0.01. Which is smaller: -1/4 or v?
-1/4
Let w = -2287 + 3435. Let t be (-4)/(-14) - 272/w. Let m be (4 + 9/(-3))/(-1). Which is greater: t or m?
t
Let h = -7 - 19. Let f = h - -23. Let x(v) = -v**2 - v - 2. Let i be x(0). Is f at most i?
True
Suppose -36*c + 235*c = 20*c. Let i be ((-6)/(-184))/((-2)/(-24)). Which is greater: i or c?
i
Let v = -3.2 + 0.2. Let o be 1 - ((-420)/91)/(-4). Is o greater than v?
True
Let x = -5111 + 5110.4. Let t = 2 + -2.1. Is t greater than or equal to x?
True
Let u = 82 + -74. Suppose -u = 22*o - 14*o. Which is smaller: 2/5 or o?
o
Let m be 4/10 + (-18)/20. Let f(v) = -2*v**2 + 9*v + 24. Let u be f(-2). Which is smaller: m or u?
u
Let w(x) = x**2 - 16*x + 58. Let g be w(5). Is g >= -1?
True
Let n be (48/(-4))/(-3) - (-20)/(-6). Is -99 at least n?
False
Let g = 1.7 + -1.4. Let l = 0.32 - g. Let d = 4.02 - l. Which is greater: d or -0.2?
d
Let n = -154 + 162.7. Let x = 2.3 + n. Let v = -11 + x. Are v and -1 non-equal?
True
Let u be ((-7)/(-2) + -3)*2/23. Let n(k) = -5*k**2 - 6*k - 12. Let w(i) = -i**2 - 1. Let x(p) = -n(p) + 6*w(p). Let b be x(7). Is u at least b?
True
Let y be 1*-1 + (1 - 8). Let c be 6 + (3 - (-30)/(-9))*0. Suppose -11*n + c*n - 45 = 0. Which is bigger: n or y?
y
Let n be 1 + 2 + (-67)/20. Let s = n + -1/20. Which is greater: s or 1?
1
Let j be (52/93509)/((-68)/(-172598)). Let n = j - -2/7193. Let b = -86/85 + n. Which is smaller: b or -0.7?
-0.7
Suppose 0 = -5*j + 4*n + 37, -3*j + 0*n - 2*n + 9 = 0. Let m(w) = w**3 - 4*w**2 - 6*w + 2. Let u be m(j). Is u bigger than -3?
False
Let x be (16/(-30))/(((-360)/(-125))/12). Which is smaller: x or -3?
-3
Let a be -162 - 0 - (66 + -63). Which is smaller: -1158/7 or a?
-1158/7
Suppose 0 = h + 2*h - 4764. Suppose -3*f - 5*b = -h, -2*f + 909 + 138 = b. Let m = 5725/11 - f. Which is smaller: m or 0?
m
Let b(d) = d**3 + 5*d**2 - 6*d - 3. Suppose 0 = -7*j + 10*j - 9. Let p be b(j). Are p and 51 non-equal?
False
Let a(p) = 2*p - 92. Let f be a(39). Which is greater: f or 1?
1
Let o be (-6)/(-4)*(-60)/(-3915). Let g = -1 + 1. Which is smaller: g or o?
g
Let n(w) = -85*w + 257. Let v be n(3). Is v equal to 21/31?
False
Let x(c) = c**2 - 6*c - 3. Let z be x(7). Suppose 0 = -5*o + 5*g, 3*o - z*g = -2*o - 3. Let y = 1 + o. Is y less than -5?
False
Let t = 31 - 6. Let n = -40 + t. Let u be 94/(-6) - (-2)/(-6). Which is smaller: u or n?
u
Let y(b) = b**3 - 8*b**2 + 9*b - 2. Let i be y(7). Let g = i - 9. Suppose -2*d + 3 + g = 0. Is d greater than or equal to 3?
True
Suppose -5*w + 0*r + 2*r - 7 = 0, -5*w + 3*r = 3. Let j be (-1 - (-130)/35) + 1 + w. Let p = 3.1 + -3. Is p greater than or equal to j?
False
Suppose -4*x + 6 = -x + w, x - 3*w + 8 = 0. Let l be (x - (-10)/(-6)) + (-88)/(-33). Which is smaller: l or 10/3?
l
Let h(g) = -2*g - 19. Let a be h(-16). Suppose 4*y - a = 5*c + 17, 3*y - c - 17 = 0. Suppose 4*w = -y - 23. Is -6 < w?
False
Let r = 0 + -12. Let z = 20.052 + -0.052. Let v = z + -19. Which is smaller: r or v?
r
Let d be (350/4)/25*(-2)/(-7). Is 45/34 > d?
True
Let z be (0/(6 + -12))/1. Is z <= 15/11?
True
Let r = -450 + 5847/13. Which is bigger: r or -4/3?
r
Suppose n - 2*q = 10 - 46, -3*q = -n - 41. Is n equal to -26?
True
Let c be (-4)/(-1 + 1616/2). Let n = 302/47613 - c. Is 0 at least n?
False
Let m = 60 - 59.5. Are 21 and m unequal?
True
Let t = 228 - 226. Let c = -23 + 24.99. Let v = c + 0.01. Is t less than v?
False
Let p(v) = -4*v - 23. Suppose j - 150 = -5*j. Suppose -j = 2*g - 11. Let f be p(g). Which is greater: f or 0?
f
Let x = -15 - -12. Let d(p) = p**3 + 4*p**2 - 9*p - 1. Let z be d(-6). Let i = -21 - z. Which is smaller: x or i?
x
Suppose -4*i + 24 = -5*g + 2*g, -5*i = g - 11. Let d be 1/(2 - 3/2). Let y = d - i. Is y less than 1/9?
True
Let m = 3226478/13 + -249051. Let k = 861 + m. Which is bigger: 2 or k?
2
Let l = 0 - -0.2. Let m = -13558.07 - -13558. Is m at least as big as l?
False
Suppose 23*b - 61*b = 2090. Let l = 82 - 138. Is b greater than or equal to l?
True
Let c = -4 - -7. Suppose -4*d - 14*y = -16*y + 16, -3*d - 3*y - 12 = 0. Which is bigger: c or d?
c
Let z = -67.5 + 80.8. Which is smaller: -2 or z?
-2
Let n = 40 - 32. Let b = n + -8. Which is greater: -3 or b?
b
Suppose -19*g + 78 = -150. Is g at least as big as 104/9?
True
Let v(s) = s**3 - 2*s**2 + 5*s. Let t be v(2). Is 12 > t?
True
Let l = -