p?
p
Suppose 5*y = -4*t + 32, -35 = -t - 4*t - 5*y. Let h(q) = q - 3. Let g be h(t). Is g <= 1/4?
True
Suppose 3*y - 27 = -3*w, -5*w - 51 = -9*w + y. Suppose d - w = 13. Are 25 and d unequal?
False
Let x = 0.6 - -30.4. Let u = x - 31.16. Is 1 >= u?
True
Let i be 4*(-1)/(-2) + 19. Let y be i/(-6)*(-24)/14. Let l = y - 13. Are -7 and l non-equal?
False
Suppose 4*w - 7*f + 77 = -2*f, 2*w + 3*f + 55 = 0. Which is bigger: -34 or w?
w
Suppose 41 = 41*v - 0*v. Is v at most as big as 1/157?
False
Suppose -4*b + b = 0. Suppose 0 = -x + 3*n - 11, -3*x + 4*n - 5 - 13 = 0. Let h be x + 3 + (-18)/10. Is h >= b?
False
Let g = -101 + 140. Which is greater: 0.4 or g?
g
Suppose -4*j + 33 = 29. Which is greater: j or -4?
j
Let v be (-3 - (-7 + -63))*(-1)/(-4). Which is smaller: v or 16?
16
Let h = -0.4 - -0.4. Let q = -0.12 + 0.25. Let b = -0.03 + q. Which is smaller: b or h?
h
Let f = 11 - 18. Let m be (0 + 3 - 2) + -2. Let l be f - -4 - 3/m. Is l less than -3/10?
False
Let l(u) = -u - 4. Let k be l(-10). Suppose -11 - 7 = -k*t. Is t at most 5?
True
Let j be ((-1)/6)/(34870/1650). Are j and 1 equal?
False
Let c = 26.07 + -27.77. Is 18 bigger than c?
True
Let b = -8.7 - 0.3. Let g = 8.3 + b. Let u be 14/24 - ((-28)/6 + 5). Are g and u equal?
False
Let d = 99371/135 + -3663/5. Which is bigger: d or 3?
d
Suppose d = -4*y - 3*d + 696, 0 = -5*d + 20. Let c = -355/2 + y. Which is bigger: -7 or c?
-7
Suppose d + 3*g = 19, -5*d - 3*g + g = -30. Suppose -3*m - 6 = 6, d*q + 3*m = 4. Which is smaller: q or 1?
1
Let t = 27 + -36. Let z be 22/(-30) - 3/t. Is z bigger than 1?
False
Let a(r) = 3*r**2 + 35*r - 12. Let m be a(-12). Which is bigger: 2/1369 or m?
2/1369
Let w = 225/7 - 32. Let k(g) = -g**2 + 4*g - 4. Let d be k(3). Is d at least w?
False
Let k = -1474 + 1472. Is k less than or equal to 0.411?
True
Let k = -30 + 66. Let l = -33 + k. Let m = -6 + 6.4. Which is smaller: l or m?
m
Let h = -12.3 - -11. Let j = -0.015 + -0.285. Let l = h - j. Do 1.1 and l have the same value?
False
Let g be (2 - (-3)/(-3))/(6/66). Is g <= 11?
True
Let n(k) be the second derivative of -k**4/6 + k**3 - 6*k**2 + 19*k. Let h be n(4). Which is smaller: h or -22?
-22
Let u(b) = 20*b**2 - 3*b - 2. Let t be u(-2). Let s be 1/(-7) - 9/t. Which is smaller: s or -0.2?
s
Let k = -1/18700 + 44881/18700. Suppose 0 - 4 = -2*l. Are k and l equal?
False
Let l = 790 - 788. Let k(p) = -p - 11. Let g be k(-8). Are g and l non-equal?
True
Let q = 9.7 + -9. Let p be -4 + 1 + 122/10. Let r = p + -128/15. Which is bigger: q or r?
q
Let z be 4/(-18) - (-80)/279. Let c(y) = -32 + 5*y + 0*y - 6*y - 3*y. Let r be c(-8). Which is smaller: r or z?
r
Let o(k) = 2*k**3 + 20*k**2 - 20*k - 10. Let b be o(-11). Which is bigger: b or -30?
-30
Let o = -10 - -15. Suppose 2*t + 2*t + 5*l = 19, -l = o*t - 29. Which is smaller: -3 or t?
-3
Let b(k) = -k**2 + 3*k - 3. Let x be b(3). Let i be (x - -9) + 2/1. Suppose 0 = -5*z - 17 - i. Which is bigger: z or -6?
z
Let n be (-4)/(-22) - 4/22. Suppose -2*i - 2*r = -12, i + 4*i - r - 6 = n. Suppose 7*c - 3*c - 5*m = 0, -4*c - i*m = 0. Is 1/6 > c?
True
Suppose v = -p - 17, -p = 2*p + 2*v + 46. Is -12 != p?
False
Let u be 4/(-4) - 28/5. Let o = 3896 + -3896.2. Are u and o equal?
False
Let v be 30/(4 - -1) + -1. Suppose 5*p - 20 = v*w + 80, 5*w + 107 = -2*p. Which is smaller: -23 or w?
-23
Let u = 3 - 1. Suppose -a - 4*j = 17, 3*a + 3*j + 10 = -50. Let w be a/33*12/(-42). Is w at least as big as u?
False
Let m be 17/((-51)/36) + 13. Is m >= -1/175?
True
Let m = 24 - 36. Let k(g) = -g**2 - 11*g + 9. Let o be k(m). Let b = -44/3 + 13. Which is smaller: b or o?
o
Let y be ((-24)/(-16))/((-6)/(-16)). Suppose -2*d + d - y = 2*r, 3*r = 2*d - 20. Which is smaller: -10/3 or r?
r
Suppose -l + 129 = 2*u - 3, 4*l - u = 573. Suppose -3*v - b - 94 = -0*v, -4*v = -2*b + l. Let s be 522/v + 12/(-66). Is -16 smaller than s?
False
Let b(z) = z**2 - 20*z + 213. Let h be b(19). Which is smaller: h or 195?
h
Let p(r) = 3*r - 6*r + r - r**2 - 8*r + 13. Let v be p(-11). Which is bigger: v or 4/3?
v
Let i be (-570)/(-70)*-5 - (-4)/(-14). Is 1 at least as big as i?
True
Let y be (-180)/(-220) + (0 - (-4)/22). Let p(u) be the first derivative of u**2/2 - 6*u + 2. Let r be p(6). Which is smaller: y or r?
r
Let i be (3/(-813) - 0)*-2. Let p = -313/5691 + i. Let n be 8/(-28) - 2/(-7). Is p bigger than n?
False
Let d = 6 - 0. Suppose -4*i - 2*z - 6 = 0, -3*z - 2*z = -2*i - 33. Let s = i + 11. Is d != s?
True
Let n = 79/25 + -1043/425. Is 2 < n?
False
Let y = 70.9 + -70. Which is greater: y or -8?
y
Suppose -2*g = -49 + 127. Which is smaller: -42 or g?
-42
Let x = 1289 + -1301. Let n be 30/(-8) + 2/(-8). Which is greater: n or x?
n
Suppose -2*h + 32 = -5*f, 4*f - 64 = -4*h - 0*f. Suppose 5*r - h = 9. Let s = -13 + r. Is -9 > s?
False
Let f be (-1)/3*(-5 + 8). Let j be (f + -23 - -1)/1. Let y = j + 21. Which is bigger: y or 2?
2
Let v be (-1 - (-1 + 4)) + 42/3. Which is greater: 28/3 or v?
v
Suppose 5*k - 70 = -0*k. Let z be 17/(8/(-4) + 3). Suppose -87 = -5*d - z. Is k bigger than d?
False
Let g be 142/(-4)*(-1 - 34/(-14)). Let p = 51 + g. Which is smaller: p or 1?
p
Let c = -97777/84 + 1164. Let r(b) = 2*b**3 + 6*b**2 + 4*b. Let p be r(-1). Which is bigger: p or c?
p
Suppose -2*k + 12 + 22 = 0. Let l = -15 + k. Is l greater than or equal to 5?
False
Let k = 1021 + -1030. Is 1 greater than k?
True
Let y be -9 + 9/(-132)*-54. Which is greater: y or -6?
y
Let y be 9 + 279 + -3 - -2. Which is smaller: y or 284?
284
Let i(c) = c**2 + 4*c + 7. Let r be i(-5). Suppose 2*t = -t - r. Is t smaller than 4?
True
Let z(n) = 25*n + 2. Suppose -3*u + 17 = -i, -i + 40 = 5*u - 5*i. Let v be z(u). Let t be v/(-14) + 2/7. Is -7 greater than t?
False
Let g be 21/28 - 5230/(-56). Let b be 93 + -1 - 6/(-3). Let o = b - g. Do o and 1 have the same value?
False
Let q = -2 - 0. Let i be -1 - -1 - (2 + q). Suppose 2*m = -2*o + 4, -3*m + 2 = 2*m + o. Is m bigger than i?
False
Let l be (-54)/63 + (-654)/(-812). Which is bigger: 1 or l?
1
Let i = -6 - 1. Suppose 0 = -4*z + l + 122, -l - 2 + 0 = 0. Suppose 1 = -0*b - b, -5*b + z = -5*w. Are w and i equal?
True
Let m = -1.37 + -1.63. Which is smaller: m or 8?
m
Let r(h) = h**2 + 3*h - 4. Let w be r(-3). Let k be (w/8)/(3/6) - -2. Is k <= 8/11?
False
Let a be 1/(-3) - (-46)/3. Suppose 5*h + 464 = 34*h. Does h = a?
False
Let p be ((-3)/6)/((-1)/(-2)). Let f be 10/12 + p/3. Let d(b) = 2*b**3 + 23*b**2 - 10*b + 28. Let x be d(-12). Which is smaller: x or f?
f
Let s = 35 + -33. Let k be 35/50 - (3 + -2). Is k > s?
False
Let k = 0.673 - 0.003. Let m = k + 0.33. Is m greater than -6/5?
True
Suppose -2*v = -5*n - 27, n - v = -3 - 0. Let u = -19 - -15. Do u and n have different values?
True
Let d be (-11 - 1)*2/3. Let l = -609/824 + -9/824. Which is smaller: l or d?
d
Let y(z) = -z**3 + 5*z**2 - 5*z + 6. Let j be y(3). Let g(w) = j*w**2 + 17*w**2 - 14*w**2. Let q be g(-1). Which is bigger: q or -1?
q
Suppose 13*n = 2*h + 12*n + 1, -3 = h - 3*n. Is 2/1329 at most as big as h?
False
Suppose -4*q + 5 = -7. Suppose f + 4 = q*a, -3*a + 4 = -2*f + 2. Suppose 2 = 2*t - f. Which is greater: -1/5 or t?
t
Suppose -37*q = 2*q - 1287. Which is smaller: q or 63/2?
63/2
Suppose -23*g + 36 = -27*g. Let a be 1*(12/(-16) - g/12). Is a greater than -2?
True
Let d = -16 + 6. Let m be 45/(-18) - 1/(-2). Let h be m/3 + (-200)/24. Which is smaller: h or d?
d
Let q = 0.0095 - 0.0495. Is q at least -5?
True
Let c be ((-1)/(-9))/((-9)/(-8802)). Is 108 less than c?
True
Let v be (3/4)/((-5)/(-20)). Suppose -z - w = -3, -2*z + v*z + 5*w + 5 = 0. Let r be (10/6)/z*3. Is r greater than or equal to 1/4?
True
Let w = 61 + -60.99. Let t = 0.91 - w. Which is bigger: t or 1/2?
t
Let g be 3 + -2 - (-22)/(-16). Suppose 3 - 1 = 2*q, 2 = -u + q. Is g at most as big as u?
False
Let m = -549 - -527. Is -109/5 at least as big as m?
True
Let v(y) = 2*y**3 - y**2 + y - 1. Let g be v(1). Let w(n) = 12*n - 1. Let s be w(g). Suppose 4*a - 21 = 23. Is s >= a?
True
Let r = 0.018 - 0.048. Let k = 54 + -219/4. Which is greater: r or k?
r
Let x = -2 + 5. Let u(y) = -3*y**2 + y - 3*y**3 - 3*y**2 + 4*y**x - 9 - 2*y**2. Let p be u(8). Which is smaller: 0 or p?
p
Let r = 88 + -80.3. Let j = 315 + -315.7. Let p = j + r. Which is smaller: p or 2?
2
Let 