?
p
Let p(v) = v**3 + 6*v**2 + 5. Let f be p(-6). Suppose -4*i = 3 + f. Let z be (-6)/15*(-1)/i. Is -1 greater than or equal to z?
False
Let o be (16 + (-871)/52)/(2655/8). Do 1 and o have the same value?
False
Let m = -4 - -3. Let x be (0 - -4) + 4/m. Is x bigger than -0.32?
True
Suppose 308 = -17*l + 31*l. Which is smaller: l or 28?
l
Suppose -24*u + 281 = 257. Are -2/1437 and u unequal?
True
Suppose -4*u - u = -3*m - 6, -6 = -2*m. Let i be 6/u*(-12)/8. Which is smaller: i or -11/4?
i
Suppose 2*k + 0*k = r, 3*k + 3*r = 0. Suppose k - 3 = 3*j. Is -4 not equal to j?
True
Let o = -1.628 + 0.628. Which is smaller: o or -3/49?
o
Suppose 0 = -10*c + c + 54. Let h(o) = -o**3 + 4*o**2 + 2*o. Let s be h(4). Suppose c*v = s*v. Are -4/5 and v equal?
False
Let h = -29/136 + 585/7208. Is h at most as big as 1?
True
Suppose -4*z + 6 = -k - 153, 0 = -5*k + 25. Is 41 equal to z?
True
Let y = -36 - -20. Let l(i) = -i**2 - 3*i + 52. Let x be l(6). Which is greater: x or y?
x
Let s(q) = 2*q**2 - 6*q + 4. Let g be s(4). Let o be ((-15)/12)/((-5)/20). Suppose -18 = j + 4*a, -j + g = -3*a - o. Does j = 0?
False
Let f = -5.24 + 2.24. Which is bigger: f or -1/4?
-1/4
Suppose 4*l + 2*d + 8 = 4*d, -4 = -4*l - d. Suppose -3*r + 10 = -17. Suppose 2*z + j - r = -3*z, 0 = -5*j + 20. Which is greater: l or z?
z
Let a be (-328)/12*(-6 - 234/(-12)). Do a and -370 have different values?
True
Let w = 3 - 2. Let s be 23780/(-6670) + (0 - -8)/2. Are w and s unequal?
True
Let l = 397 + -1193/3. Which is smaller: l or -987?
-987
Let k = 9 - 4. Suppose -s = 4*x - 1, -2*x - k*s - 12 = x. Suppose -3*f - 3 = 5*t, f = -9*t + 4*t - x. Does 2/9 = t?
False
Let l be -5*6/(-15) - 0/5. Suppose l = -7*c + 9*c. Let m be (-86)/376 + 2/8. Are m and c equal?
False
Suppose -o - 10 = -13. Suppose o*z = -4*a - 16, 3*z + 23 = 4*a - 9*a. Is a less than or equal to -1?
True
Let q = -403.9 + 404. Is q < -309?
False
Let p = 15 - 10. Suppose p*r + 5 = -5*a, 5*r + 2*a = 4*r + 1. Let y be 3 + (3 - 5) + r. Which is smaller: y or -1?
y
Suppose 0 = -8*z + 6*z + 6. Suppose -48 = -z*p - 30. Which is greater: p or 39/7?
p
Let p be (12/(-8))/(3/(-40)). Suppose -225*u + 119*u = -2226. Which is greater: p or u?
u
Let v = -8421/5 + 1700. Is v at most 16?
True
Let b = -32 - -577/18. Let x be (-6)/(-5) + (-1)/5. Let k be 2 + (2 - x) - 3. Which is greater: k or b?
b
Let o = -38 + 42. Suppose -17 = -o*l - 21. Let b be (-38)/(-22) + (-2)/1. Which is bigger: l or b?
b
Let q = -32.39 + 0.39. Let j = 32 + q. Which is smaller: 2/9 or j?
j
Suppose 71*z - 1 = 72*z. Is -15/26 equal to z?
False
Suppose 5*c - 277 = 3. Let g be (-30)/c + -6*2/(-48). Let a = -0.1 + 0.6. Which is smaller: g or a?
g
Let z = -40 - -4. Let f = z + 71. Let a = f - 28. Which is smaller: 2/7 or a?
2/7
Let r = -5 + 13. Let t = r + -11. Let z = 3.5 + t. Is z less than -0.1?
False
Let g(i) = -5*i**2 + 14. Let p(a) = 4*a**2 - a - 15. Let w(u) = 2*g(u) + 3*p(u). Let b be w(-5). Do -2 and b have the same value?
False
Let z(x) = -x**3 + 6*x**2. Let v be z(6). Suppose -1 - 13 = -7*h. Is h < v?
False
Let c = 69.58 - 69.5. Which is bigger: -10 or c?
c
Let l(m) = -m**3 + 9*m**2 + 8*m + 26. Let r(h) = h**2 - 20*h + 10. Let p be r(20). Let s be l(p). Suppose 0*i = 2*i - 8. Which is bigger: i or s?
s
Let f = -49 - -26. Let k = -27 - f. Is 1 > k?
True
Let v = -5 - -15. Suppose -21 = -5*r + 4*r. Let j = -11 + r. Is j smaller than v?
False
Let n(t) = -2*t**2 - 14*t + 14. Let q be n(-6). Is q greater than or equal to 14?
True
Let a(n) = -2*n**3 - 4*n**2 + 2. Let u be a(-4). Let k be u/70 - (-1 + 2). Is -1 smaller than k?
True
Let o = -314 + 327. Is 2/13 greater than or equal to o?
False
Let f be ((-11)/(-22))/((-3)/(-6)). Is f > 1/421?
True
Let x be 3/(105/(-56)*4). Let n = 1.57 + 0.33. Is x greater than or equal to n?
False
Suppose 0 = 3*m - 2*c - 86, 3*m + 2*c = -m + 110. Let l = 28 - m. Are l and -12 equal?
False
Let l(t) = 5*t**2 + 4*t + 1. Let c be l(-1). Is c >= 2?
True
Let v = 0.02 - -1.48. Let a = -687 + 686.8. Which is bigger: a or v?
v
Let u be 0 + (4/(-9))/1. Let k be -1 - -4 - 6/3. Let y be 1/(-3) - k/(-3). Do y and u have different values?
True
Let b = 276 + -241. Which is greater: 32 or b?
b
Let p = 17.2 + 5.8. Let k = -22.9 + p. Is -21 < k?
True
Let q = -40 - 26. Suppose 5*t + 332 = -b, -2*t + 4*b - 124 = -0*t. Is q at least t?
True
Suppose -3*w = -2*d + 22, 0 = 3*w - d + 31 - 8. Let f = 7 + w. Is 1/44 > f?
True
Let a be 1*-5*(-6)/(-5). Let t(o) = 9*o**2 + o + 1. Let z be t(-1). Suppose -2*j + x - z = 0, -2*x + 7*x - 25 = 0. Are a and j nonequal?
True
Suppose -3*l - 1 - 3 = 5*r, -r + 2 = l. Suppose -324 = 2*x - 2*t + 212, -4*t - 811 = 3*x. Let q = x - -549/2. Which is smaller: q or l?
q
Let g = -1 + 6. Suppose k = g*k. Let p = -1052/9 + 117. Which is smaller: k or p?
k
Let y be 2/(-8)*(-760)/665. Let a be ((-8)/(-42))/(30/35). Which is smaller: a or y?
a
Let g = 10 - 4. Suppose -g + 18 = -3*h. Is h smaller than -4?
False
Let b = -497/3 - -165. Which is greater: -0.26 or b?
-0.26
Let c = 17639/440 + -321/8. Are c and -4/3 non-equal?
True
Suppose -48*i + 28*i - 60 = 0. Is -11/6 smaller than i?
False
Let r = -35 - -53. Let y(x) = -x**3 + 8*x**2 - 6*x + 9. Let f be y(7). Which is smaller: f or r?
f
Let t = 1/16 - 81/272. Suppose -8 = 3*j + 5*j. Let d be 0*(-5)/(-20) + 0/j. Which is greater: d or t?
d
Let v = 337 + -2361/7. Is v less than or equal to 4/3?
True
Let q = -153/70 - 3/14. Let x(c) = -c**2 + 28*c - 189. Let g be x(11). Is q <= g?
True
Let f = 149 + -151. Let r be f/(4 + 24/(-4)). Do -3/34 and r have different values?
True
Let s be (2 - 68)*10*(-4)/(-16). Let h = -502/3 - s. Is -1 less than h?
False
Let u(y) = -y + 1. Let d(k) = 4*k - 3. Let z(n) = -4*d(n) - 14*u(n). Let i be z(-2). Let g be (i + -1 - 1)/1. Is 2/5 greater than g?
True
Let p be (-7)/(-21) + (-140)/6. Which is smaller: 1 or p?
p
Let q = 101.9 - 117. Let p = q + 15. Let u = -3 - 1. Which is bigger: p or u?
p
Let x = -2/75 + 79/150. Let s = -1.243 - 0.057. Which is smaller: x or s?
s
Suppose -v = -3*z - 4, 1 = -4*z - v + 5. Suppose 3*t + t = z. Let h = 10/117 + 1/39. Which is smaller: t or h?
t
Let v = 793/2 - 71766/181. Let i = v - 1453/1810. Which is bigger: 0 or i?
0
Let r = 3672/25 - 147. Is r at least 0?
False
Let r = 2515/8827 - -1/1261. Which is smaller: -38.2 or r?
-38.2
Let c be 1 + -1 - -1 - -2. Suppose -v + 2 = -2*v - i, c*v - 5*i + 6 = 0. Let o = 21.3 + -23.3. Are v and o nonequal?
False
Let a = 742 - 744.042. Let w = a + -0.058. Which is bigger: w or -2?
-2
Let m be 165/(-60)*((-2)/(-9) - -2). Which is smaller: -7 or m?
-7
Let f = -121 + 120. Let t = -0.2 + 0.2. Let u = t + 2. Are f and u non-equal?
True
Let u = 104.1 - 104. Which is bigger: -147 or u?
u
Let m be 4/22 + (-39)/33. Let g(f) = 4*f**2 - 1. Let s be g(m). Suppose 0 + 1 = 5*j + 2*c, -s*j - 3*c = 3. Which is smaller: 2/13 or j?
2/13
Let c be (6 + -5)/(1/(-2)). Suppose r - 19 = 5*b, 8*r - 3*r - 2*b = 26. Suppose -5*p = -r*p. Are p and c nonequal?
True
Let d = 535 + -534. Let c be ((-6)/10)/((-8)/230). Let r = c - 637/36. Which is smaller: d or r?
r
Let q = -0.145 - -0.045. Which is greater: -1/25 or q?
-1/25
Suppose 10*r = 1 + 239. Are 22 and r equal?
False
Suppose 4*n + 82 = -2*h, n - 62 = h - 4*n. Which is greater: h or -46?
-46
Let c = -98 - -152. Let x = c - 34. Let b = -20 + x. Which is greater: b or -11?
b
Let r = 176 + -174.5. Let j = -1.9 + 0.4. Let u = j + r. Is 0 at most u?
True
Let r(t) = -10*t**2 + 13*t - 99. Let q be r(8). Is q not equal to -635?
False
Let t be ((-393)/(-6))/(6*(-5)/60). Which is smaller: t or 1?
t
Let a = 21.8 - -10.2. Let p = 34 - a. Which is bigger: -21 or p?
p
Let b = -2 + 4. Let a(r) = r**2 + 14*r + 27. Let j = 4 + -16. Let t be a(j). Is t < b?
False
Let i(l) = l**3 + 9*l**2 + l - 6. Let n be i(-7). Let t be n/180 + (-2)/9. Which is smaller: 25 or t?
t
Let x = 11.9 + -4.9. Let p = x - 9.5. Let t = 5/28 - -41/84. Which is greater: p or t?
t
Suppose 7 + 5 = 4*s, 2*s = -3*h + 15. Suppose -h*f = 0, y - 3*y = f + 2. Which is smaller: 2/7 or y?
y
Let z be (-38)/(-6*30/(-144)). Which is bigger: z or -31?
z
Let z = -1401 - -12622/9. Let o = 7/9 + z. Which is smaller: o or 3?
o
Let n be (-7)/5 + 10/25. Suppose -t + 208 = 4*j, -2*t - 4 = -3*t. Let i be (-24)/j*(-7)/28. Is n <= i?
True
Let 