?
p
Suppose 5*s + 4 = 9. Suppose -4*m = 3*c - 4, -4*c - 1 = -2*m + s. Is m at most -3/7?
False
Let f be (-10914)/(-2737) - (4 + 1 - 1). Are 1 and f nonequal?
True
Let h be 6/((1 + -3)/(-1)). Suppose 0 = 2*p + 3 + 1, -3*u = 5*p + 46. Let i = -8 - u. Which is smaller: i or h?
h
Suppose -13*l = -2 + 54. Which is bigger: l or -16?
l
Let c(f) = -65*f. Let x be c(0). Which is bigger: x or 7/52?
7/52
Let f(j) = -j + 19. Let k be f(23). Which is smaller: k or -27/10?
k
Let a(g) be the third derivative of -g**4/8 + 2*g**3/3 - 2*g**2. Let y be a(5). Let u(c) = -16*c - 189. Let v be u(-11). Which is bigger: y or v?
y
Let b = 16.68 + -17. Let x = -0.29 - b. Is 1 at most as big as x?
False
Let i = -0.17 + 0.37. Let z(h) = -h**2 + 4*h + 5. Let n be z(9). Let o be n/(-25) - (3 + -1). Which is smaller: i or o?
o
Suppose 0 = -40*g + 21047 + 10273. Which is smaller: 782 or g?
782
Suppose 5*s + 86 = 4*s. Let w = s + 86. Which is smaller: -5/6 or w?
-5/6
Let p(v) = -5*v + 74. Let h be p(26). Is -1 > h?
True
Suppose -10*h - 40 - 60 = 0. Suppose -3*c = -5*i - 48, -2*i + 0*c + 2*c = 20. Which is bigger: h or i?
i
Let z = -204/5 + 41. Let l(j) = j**2 + j + 1. Let t be l(-2). Let o be -3 + t/(6/7). Which is bigger: o or z?
o
Let y = 10224/19 - 538. Let s(h) = h**3 - h + 1. Let b be s(1). Which is bigger: b or y?
b
Let l be 8/(-6)*(-108)/1752. Let z = 188/511 - l. Which is bigger: 3/4 or z?
3/4
Suppose 13*q = 667 + 165. Let f = q + -64. Which is smaller: f or -15?
-15
Let p = 1.778 - 0.088. Let g = 0.11 + p. Let w = 1.5 - g. Is w at most -0.05?
True
Let c(r) = 4*r + 11. Let l be c(-5). Let u be 4/6*l/(-195). Is u != -1?
True
Let s = -103 + 143. Let x = 40 - s. Is x at least as big as -5/4?
True
Let f(o) = -o**2 + o + 4. Let w be f(6). Suppose -206 - 59 = 5*b. Let g = b + 28. Is w > g?
False
Let t(v) = -v - 8. Let i be t(-8). Let u = -49 + 49. Let b be (-15)/(-18) - (2 - u - 1). Is b greater than i?
False
Let x = 4 - -1. Let t = x + -5.2. Let s = 3.67 - -0.33. Are t and s non-equal?
True
Let p(x) = x**3 - 15*x**2 + 26*x + 2. Let t be p(13). Let m be (2/(-16))/((-5)/10). Are t and m equal?
False
Let y = 771 + -5414/7. Is -1 at least y?
True
Suppose 4*z + 5*q = 2*q, 0 = -2*z - 2*q. Suppose 3*t - 8*t - 40 = z. Let i be (-7)/(308/t) - 0. Is 0 at least i?
False
Suppose -2*l = 2 - 4. Let r be (10/6 + -2)*22/17105*-15. Which is smaller: r or l?
r
Let s(o) = -4*o - 4. Let w be s(-2). Let z = -2 + w. Suppose -v = -u - 4 + z, 0 = -2*u + v - 5. Is u != -13/4?
True
Let g be (-9212)/16 + 2/(-8). Let w = g + 24769/43. Is w less than or equal to 1?
True
Suppose 4*i - 2*b - 8 = -3*b, -2*i + 4 = -3*b. Is i less than 13/24?
False
Suppose -5*t - 5*x = -40, -68*t - 4*x = -73*t + 58. Let a = 5 + -2. Suppose -2*p + a*p = 0. Is p less than or equal to t?
True
Let n be -3 + 1/((-4)/(-28)). Suppose z - 125 = -n*z. Let b = z - 29. Is -5 bigger than b?
False
Suppose 0*h - 140 = -2*h. Let z = h + -103. Let g be z/(-22) - 14/12. Which is smaller: g or 1?
g
Let s = 292 - -433. Is 725 < s?
False
Let y = 112 - 41. Let z = y - 97. Which is smaller: z or 0?
z
Let n(g) = -g**3 - 6*g**2 + 6*g - 6. Let y be n(-7). Let h be (-7)/((-112)/(-12))*(-32)/(-54). Is y at most h?
False
Let z(p) = p + 7. Let j be z(-5). Suppose 0 = -2*l + 4*l + 2*l. Suppose l = 9*h - 9 - 9. Are j and h equal?
True
Let j be (4 - 14/3)*21. Let m be 4 + 1/(3/j). Let f = 2 + -3. Which is greater: m or f?
m
Suppose 2*w - 94 = 5*d, -w + 0*w + 3*d + 47 = 0. Let k = 49 - w. Suppose 2*r - 16 = -3*x - 2*r, 4*r = x. Which is greater: x or k?
x
Suppose -l = 2*l + 27. Let f = -73 + 69. Do l and f have different values?
True
Let o be -1 - 0*1/(-2). Let x = -13 - -10. Let q be x/12*4/(-5). Is o greater than q?
False
Suppose 26 = -4*m - 38. Let u = -450 + 436. Which is bigger: u or m?
u
Suppose 0*v + 2 = -2*v. Let c be (-3)/(10413/4740) - -1. Let a = c - -12/89. Is v not equal to a?
True
Let z = 0.2 - 1.2. Let r = 0.33 + -0.62. Let m = r + 0.29. Which is smaller: z or m?
z
Let n = 4/33 - -6/11. Let u(o) = 10*o**2 + 113*o + 34. Let w be u(-11). Which is greater: n or w?
w
Let w be 1290/65 + (-2)/(-13). Suppose -17 = -4*m + v, v - 3 = -m - 0*m. Let k = m + 15. Is k greater than w?
False
Let x(f) = -f + 5. Let l be x(0). Suppose -l = 4*u - 29. Let p be (-3)/u + 25/20. Do 1/4 and p have different values?
True
Let m = -2 + -1. Let t be 0 + (-4)/4 - m. Let i be (3 - 2)*-1*t. Is i bigger than -6/11?
False
Let c be ((-372)/(-20) - -1) + 10/25. Are c and 143/7 equal?
False
Let l be -290818 - (-2)/(-4)*-4. Let w = 2329839/8 + l. Let d = -415 + w. Which is smaller: d or -1?
d
Let j be (1/3)/(4/(-396)). Let h be 2/(-8) - 127/4. Which is smaller: j or h?
j
Let a be ((-1 + 3)/200)/((-22)/(-286)). Let i = a - -3/25. Are 0.045 and i nonequal?
True
Suppose 0 = 2*w - 10 - 30. Suppose 112 + 332 = 28*z - 60. Is w bigger than z?
True
Let g be (2 + 1)/((-33)/(-44)). Suppose g*a - 6 = 2*u, -2*a + a - 3*u = 16. Let m(j) = j. Let y be m(-1). Is a at least as big as y?
True
Let h(k) = -k**2 + 4*k - 2. Let f be h(2). Suppose 0 = f*c + 2. Is c at most -2/115?
True
Let w(c) = -c**3 + 3*c**2 + 12*c - 6. Let q be w(5). Is q smaller than -4?
False
Let t = -1592 - -4464. Is t at most 1/4?
False
Let o = -62 + 61. Let n be ((-6)/(-8))/((-7)/(-4)). Is o smaller than n?
True
Let l = 615/7 + -88. Which is smaller: l or 0.1?
l
Let m(z) = -8 + 5*z + 7*z**2 - 10*z**2 - z. Let r be m(6). Let i = 263/3 + r. Which is greater: i or -5?
i
Let t = 2 + -5. Let m(g) = 4*g**2 - g - 2. Let u be m(-1). Suppose u*l - 5*l = 10. Is t >= l?
True
Suppose a - 2*a + 2 = j, 5*j = -4*a + 8. Suppose j*y + 4*y = -32. Which is smaller: y or 0.2?
y
Suppose 0 = -37*g + 14*g - 2967. Let v = -127 - g. Let c = 15.07 - 15. Is v less than or equal to c?
False
Let n(z) = -z**3 - 5*z**2 + 6*z - 6. Let p be n(-6). Let c be (3/(-8)*-2)/(3/96). Suppose 3*o - 7*o - c = 0. Is p less than or equal to o?
True
Suppose -630 = -g - 4*g. Let c = -125 + g. Which is greater: c or 2/7?
c
Suppose -y - y + 6 = 0. Suppose 3 = x - n, 0*x - 4*x - y*n - 2 = 0. Let c be 0/((-3 - x)/4). Which is bigger: -2/15 or c?
c
Suppose 5*k - 1 = -6. Let b = -1536362912/101 + 15212176. Let a = b - 662. Are a and k non-equal?
True
Let j be ((-1)/2)/(8/(-1240)). Is 79 less than j?
False
Let z = 0.8 - -0.1. Let k = -5.1 - z. Let j = k + 6.9. Which is smaller: j or 0?
0
Suppose -7 = -4*r + 3*b, 5*r + 5*b + 16 = -19. Let u = -59 + 62. Let z be (u/(-6))/((-1)/r). Which is smaller: -7/5 or z?
-7/5
Let j = -1217.9 - -1218. Is -6.6 >= j?
False
Let z = -15 + 16.44. Let x = z - -0.26. Let g = x + 7.3. Which is greater: g or 1/2?
g
Let o = 420 + -419. Is 1/38 less than o?
True
Suppose 109 - 113 = -4*d. Which is bigger: 1/78 or d?
d
Let n be 1/(7 - 1037/148). Which is smaller: n or -147?
n
Let p be (-264)/(-56) + (-16)/(-7) + -2. Let u be (3/(3/p))/(6 + -5). Which is greater: 17/4 or u?
u
Let r = 0.466 + -0.066. Is -0.5 smaller than r?
True
Suppose 3*j + 3148 = 239*k - 238*k, -4*j = k + 4188. Do j and -1048 have different values?
False
Let c be ((-20)/(-4) + -9)*(-6)/(-376). Let s = -2 + 2. Which is bigger: s or c?
s
Suppose -47 = -p - 5*j - 59, 2*p - 3*j + 24 = 0. Which is bigger: 0.46 or p?
0.46
Suppose 4*b - 30 = -9*y + 7*y, -2*y - 5 = -3*b. Let l be 2 + (1 - 0) - 1. Are l and y nonequal?
True
Let a be 1/2*8 - (-168)/21. Is 5 < a?
True
Let m be 2/8 - 9/(-12)*1. Is -71 at least as big as m?
False
Let n be 256/143 + 20/(-130). Let p = 101/55 - n. Are 0 and p unequal?
True
Let z be 14/(-84) - 879/18. Is -95/2 equal to z?
False
Let r = 57 - 111/2. Is r > -8?
True
Suppose -14*u + 2*f = -18*u - 10, 15 = -u - 3*f. Let t be 2/(4/(-2) - 189). Is t != u?
True
Let j = -1.015 + 93.015. Is 2/3 at least as big as j?
False
Let u be (3 - 0)/3*-8*20. Let j be 584/u - 2/(-8). Which is bigger: j or -4?
j
Let n be 9/((-178)/(-36) - 5). Is -162 != n?
False
Let h = 3.07 - -0.03. Let m = 3.3 - h. Are 0.35 and m nonequal?
True
Let c = -4.578 - -28.468. Let d = 24 - c. Let p = 0.21 - d. Is p bigger than 0.06?
True
Suppose 27*b + 4 = 23*b. Let k be b - -1 - 16/(-24). Which is smaller: k or -20?
-20
Let s = -52 - 47. Is s <= -99?
True
Let n = -8 - 2. Let m be (-256)/n - (-34)/85. Suppose -m + 71 = 5*y. Is y bigger than 9?
False
Let b = 63 + -44. Let z = b + -11. Let g = -7 + z. Does g