?
a
Let j = 0.48 + 0.12. Let x = 639 - 642. Which is smaller: x or j?
x
Let u = -45779/11 - -4159. Is -3 at least as big as u?
False
Let m be 1 + -1 + 0 + 1. Let j = 0.0494 + 0.0506. Which is bigger: j or m?
m
Let d = -685 + 624.1. Let v = -61 - d. Is v at least as big as 13?
False
Suppose -3*o + 5*o = -56. Let q = 23 + o. Which is smaller: q or -2?
q
Let u = -127.4 + 127.31. Is 1/2 < u?
False
Let t = 260770896/7207 + -5781139546/10990675. Let r = -35657 + t. Let l = r + 5/61. Is l < 1?
True
Let r = -8 + 13. Let v be 10*(-2 - 5/(-2)). Suppose 0*q = -v*q + r. Is 4/5 at least q?
False
Let v = -0.1 + 2.5. Let c = v + -2.5. Let k = c + -0.9. Which is smaller: 8 or k?
k
Suppose -20 = -5*g - 4*i + 1, 5*i = -2*g + 22. Which is smaller: -2/1713 or g?
-2/1713
Suppose 0 = -4*g + 5*m - 54, 0 = -4*g - 4*m + 3*m - 42. Let x(l) = l**3 + 10*l**2 - 10*l + 5. Let i be x(g). Let b be 6 + -6 + 2/i. Is b less than 1?
True
Let p be (-36)/19 + 2 + 33600/(-1520). Are p and -22 equal?
True
Let v(g) = -3*g + 29. Let i be v(11). Is 0 at most i?
False
Suppose 17*i = -4*v + 15*i + 8, -v - i = -4. Is 2/17 at least as big as v?
True
Let n = 20.926 + 0.074. Let f = n + 4. Does 1 = f?
False
Suppose -4*p - 5*a = 48, p + 2*p + 1 = 5*a. Let h be p/4 + (-3)/(-4). Are -43 and h nonequal?
True
Let i be 6/(-12) + (-126)/(-4). Let r = i - 157/5. Does r = -19?
False
Let n(c) = -7*c. Let s(m) = -8*m + 1. Let z(v) = 6*n(v) - 5*s(v). Let t be z(-5). Suppose -t*h + 10*h - 10 = 0. Which is smaller: 4 or h?
h
Let z(j) = 3*j - 20. Let n be z(8). Let s(a) = 2*a**2 + 8*a - 18. Let w be s(2). Is w smaller than n?
False
Let v = -45 - -47. Let l be -59 - (8/v)/(-4). Is -57 not equal to l?
True
Let o be 6*((-68)/16 - -4). Is o not equal to 0.14?
True
Let k = -7 + -2. Let s = 12 + k. Which is smaller: 8 or s?
s
Let l = -8047 - -136722/17. Does -6 = l?
False
Let z = -37.4 + 40.4. Which is bigger: z or -1/126?
z
Let j be 100 - (1 - 0/1). Let x be 12/60 - j/(-5). Suppose 0 = 4*z + 2*f - 8, 3*f = 3*z - x - 4. Which is bigger: 5 or z?
5
Let b = 108904/37995 + 1/2533. Let p = 1/5 - b. Which is greater: -2 or p?
-2
Let t = 200 - 141. Let v = t + -42.8. Let r = 16 - v. Which is greater: -4 or r?
r
Suppose 2*x = o - 2 - 8, 5*x - o + 19 = 0. Let k be 30/6 + x*6. Do -11 and k have the same value?
False
Suppose -4*b + 746 = -10. Suppose 189 = 5*t - 3*f - b, -5*t = 3*f - 402. Which is bigger: t or 79?
79
Let c(t) = 49*t - 5. Let a be c(2). Let z = 653/7 - a. Let r(u) = u**2 - 7*u + 8. Let h be r(7). Is z <= h?
True
Suppose 0*b = -3*b - 9. Let l be 5*(528/(-140))/b. Is 7 equal to l?
False
Let l(p) = p**3 + 5*p**2 - 6*p - 6. Let k be l(-6). Let w be k/(-15)*(2 - -3). Suppose a - w*a = 4*t + 4, 0 = 4*a - 4*t - 44. Is 9 > a?
True
Let v be -12*(-69)/24*48/(-18). Let d be (-1)/(2/188) - -1. Which is smaller: d or v?
d
Let d = 0.26 + -0.26. Which is smaller: -30/23 or d?
-30/23
Let j = -16 - -28. Let m = j + -8. Suppose 3*p + 4*f = -9, 0 = -m*p - f - 2*f - 5. Which is smaller: -6/17 or p?
-6/17
Let n = -2/152491 - 607630/177956997. Which is greater: -1 or n?
n
Suppose -3*s + 18 = 3*f, 0 = -0*s - s - 5*f + 26. Is s > 5/42?
True
Let f = 3096 + -303411/98. Let j = 345/1666 + f. Suppose w + 6 = 5*y - 0*y, -w - 4 = -3*y. Is y < j?
False
Let h = -6.2 + 6.4. Let f(q) = q**3 + 4*q**2 - 8*q - 7. Let v be f(-5). Which is smaller: v or h?
h
Let v be ((22/8)/(-11))/((-150)/(-35)). Which is smaller: 0 or v?
v
Let x = -161842/7 + 23060. Which is greater: -60 or x?
-60
Let i be 648/72 - 116/14. Is i at most -0.2?
False
Suppose -10*h + 8*h = 20. Let v be (-50)/(-190)*(-12)/h. Is 1 equal to v?
False
Let p be 32/2 + 2 + (6 - 10). Which is smaller: 20 or p?
p
Let a be (-60)/20 + 11/6. Which is greater: 10 or a?
10
Let c = 0.29 - 0.39. Is 109 smaller than c?
False
Let c(u) = -u**2. Let v(d) = 6*d**2 + 2*d + 1. Let k(g) = 4*c(g) - v(g). Let a be k(-1). Let i = 8 + a. Is 2/63 bigger than i?
True
Let p be 6/(-10) - 715/(-275). Suppose -2*j + 0*j + 4 = 0. Is j bigger than p?
False
Let p = -131.806 + 3.106. Do p and 0 have the same value?
False
Let w(i) = i**3 + 3*i**2 - 5*i - 2. Let q be w(-4). Suppose 3*h - o = -7, 3*o - 5 = q*h + 9. Which is bigger: -4/11 or h?
-4/11
Let j be 2*((-328)/(-12))/(20/15). Let s be (-3)/(-2)*234/9. Which is bigger: s or j?
j
Let b(h) = h - 19. Let p be b(21). Let s be p/(-8) + 45/20. Which is smaller: 7 or s?
s
Let t(p) = p**2 - 4*p - 10. Suppose 0 = f + 7*f - 48. Let b be t(f). Which is smaller: 3 or b?
b
Let h = 7 - 4. Suppose 0 = -h*l - 0*q + 5*q + 6, -q = 0. Let z be (l/12)/((-8)/84). Is z > -3?
True
Let v = 2 + 18. Suppose 0 = 11*n - 6*n + v. Let z be (1/2)/(2/(-8)). Which is smaller: n or z?
n
Let y = 1094 - 15313/14. Which is smaller: 0.39 or y?
y
Let f = -292052/462207993 + 2/142789. Is f at most 1?
True
Let q = 2479/8 + -311. Which is bigger: 5 or q?
5
Let j be (-2)/(-8) + (-5)/4. Let t be 5*(j - (-7)/5). Suppose 0 = 9*p - 31 + 13. Is p >= t?
True
Let p be 141/9*(3 + -7). Suppose 0 = -0*a - 2*a - 10, -2*x = 4*a - 104. Let h = p + x. Is -2/7 < h?
False
Let r(h) = 2*h - 11. Let v be 2/(-4)*(9 - 21). Let l be r(v). Which is bigger: 2 or l?
2
Let d(p) = -p - 6. Let h be d(-11). Suppose h*m + 20 = -4*f, 4*f + f + 25 = -4*m. Let k(n) = n - 2. Let j be k(m). Are j and -4 non-equal?
True
Let c = -153 + 155. Let k = -2659/9 - -297. Which is greater: c or k?
c
Let f(i) = -11*i - 10. Let s be f(-13). Let n = s + -120. Do n and 15 have the same value?
False
Let m = 1/433 - -851/6495. Which is smaller: -38 or m?
-38
Suppose -2*b = 25 + 7. Let s = b + 20. Suppose -s*t + 4 = 40. Which is smaller: -8 or t?
t
Let c = -16 - -19. Suppose -5*p = 0, -c*y - 25 = -8*y - 3*p. Suppose 2*v + h - 2 + y = 0, 3*v - 8 = -4*h. Which is smaller: 4 or v?
v
Let j = 451/68 - -19/17. Let h(p) = 8*p**3 + p - 1. Let q be h(1). Is q < j?
False
Let n = -4 + 5. Let m = -0.2709 - -22.2709. Which is smaller: n or m?
n
Let k = -214/5 + 42. Let t = 18 + -10. Suppose -3*n = -a + 8, t*a = 3*a - 2*n - 11. Which is bigger: k or a?
k
Let u(l) = -l**3 - 30*l**2 - 77*l + 12. Let f be u(-27). Is -1 smaller than f?
False
Suppose 0 = -14*q + 12*q - 16. Let s(f) = -f**3 - 7*f**2 + 7*f - 9. Let a be s(q). Which is smaller: 3/31 or a?
a
Let g = -0.077 + 12.477. Let t = g - 12. Which is bigger: t or -0.1?
t
Let i = 2196/12173 + -6/329. Let w(v) = -20*v - 20. Let g be w(-1). Which is smaller: i or g?
g
Let z = 165 + -119. Let g = -45 + z. Let n = 8 + -5. Is g at most as big as n?
True
Let s be -1*(0/(-5) + -1). Suppose 5*z - 3*w = -w - 26, -2*z = -2*w + 8. Let m be 1/(0 + 26/z). Which is bigger: m or s?
s
Let g = -10.4 + 8.4. Let o = -5 + g. Does -0.3 = o?
False
Suppose 0*d = -6*d + 12792. Let i = -168430/79 + d. Which is smaller: -1 or i?
-1
Let l be 4/14 - (-6)/(-21). Suppose 0 = 5*g + 3*s - l*s - 448, 85 = g - 4*s. Let d = g + -533/6. Is d at most as big as -2/3?
False
Let o(a) = a + 25. Suppose -5*u - 15 = -l + 2*l, -4*l - 92 = 4*u. Let z be o(l). Which is bigger: 3/19 or z?
3/19
Let l(y) = y**2 - 3*y + 2. Let p be l(3). Let i be 10/8 + (-3)/(-4). Suppose -5*m - 21 = i*v - 0*m, -4*v - 2 = 2*m. Is p bigger than v?
False
Let m = -163 + 160. Which is smaller: 171 or m?
m
Let h = -3.64 + 3.8. Let s = 0.16 - h. Which is smaller: s or -12?
-12
Let z be -1 + 2 + (-51 - -51). Which is bigger: 8/45 or z?
z
Let a be 6/18 + (-4573)/21. Suppose m = 247 - 29. Let k = m + a. Is k < -1?
False
Let j(w) = -w - 15. Let m be j(-7). Let s be m/(-14) - (-5)/(-70). Is -0.05 != s?
True
Suppose 3*g + 135 = -0*d + 2*d, 370 = 5*d - g. Suppose 0 = -2*n + d + 9. Is 41 at least n?
False
Suppose 8*l - 16 = 4*l. Let m(w) = 7*w**2 + 2*w - 1. Let p be m(1). Suppose -h + 2*y + 7 = 0, -2*h + 8 = -5*y - p. Is h > l?
False
Let x be ((-4)/4)/((-2)/14). Let o be 9 + (27/(-45) - (-4)/(-10)). Is x at most as big as o?
True
Suppose -7*s = -5*g - 6*s - 1, 0 = 4*g + 2*s - 2. Suppose -5 = z + 2*k - 3, z - 5*k + 9 = g. Does 3 = z?
False
Let f(n) = 2*n - 11. Let m(r) = -4*r + 22. Let y(z) = -7*f(z) - 4*m(z). Let g = 45 + -39. Let c be y(g). Is c smaller than 6/13?
False
Let a = 0.8 - 0.7. Is a at least -1/27?
True
Let l = -267 + 385. Do l and 116 have the same value?
False
Let f(x) = -302*x**2 + 11*x + 26. Let c be f(-2). Are c and -1204 unequal?
False
Let q = -2911/6 + 486. Let r be 1*(1 - -2) - 