 = u + 16/3. Which is bigger: p or 1?
1
Let p be (-2)/(-8) - (-45)/(-4). Let r = 0.05 + 0.44. Let c = -0.59 + r. Which is smaller: p or c?
p
Let b be ((-33)/55)/((-2)/10). Suppose 0 = b*x - m + 5*m - 5, 5*m = -5. Is x equal to 7/3?
False
Let t = 183 + -183.1. Which is bigger: t or 52?
52
Suppose -l - 14 = 5*g, -7 = 5*l - 2*g - 45. Suppose -44 + 110 = l*b. Which is smaller: 12 or b?
b
Let d be 19148/26 + (-4)/4*-3. Let o = -739 + d. Which is smaller: o or 0?
0
Suppose 3*f - 26 = -20. Let h(y) = y**3 - 3*y**2 + y + 2. Let j be h(f). Is j at most as big as 2/131?
True
Let i = -110 - -119. Suppose i*v = -5 - 4. Is v less than -2/219?
True
Let x(k) = 4*k - 65. Let u be x(17). Suppose -4*m + 2 = -u*c - 5, 5*m - 2*c = 0. Do 0 and m have different values?
True
Let i = -6 - 0. Let k(d) = 2*d - 15. Let f be k(6). Let v be 3/(f/i*-69). Which is bigger: v or 0?
0
Suppose -5*p = -7*b + 3*b - 16, -2*b - 5*p + 22 = 0. Let s be -20*2/(-16)*(-12)/(-5). Does s = b?
False
Let v = 0.14 - 0.1. Let y = v + -0.04. Let q = 0.04 - 7.04. Are y and q nonequal?
True
Suppose -4*u + 10 = z + u, 5*u - 10 = 5*z. Suppose 2*l + j = -12, 4*j + 10 + 3 = -3*l. Let w be z/l + 4*-1. Is w <= -2?
True
Let y(b) = -4*b**2 + 152*b + 6. Let s be y(38). Suppose -2*p = -3*n + 29, 0 = 3*n - 7*n - 4*p + 12. Does n = s?
False
Let g = 722.26 - 722. Suppose 0*o - 3 = -3*o + 2*k, 0 = -k. Which is bigger: o or g?
o
Suppose -2*c + 4 = 0, -2*i + 5 = 3*c - 1. Suppose j = 5*y - 26, -4*y + i*y - 32 = 4*j. Is j > -9?
False
Let m = -544 - -4894/9. Let c = 2 - 1. Which is smaller: m or c?
m
Let i be 10*(2 + -5*(-1)/(-2)). Do 7 and i have the same value?
False
Suppose 24*v - 28*v = -140. Which is greater: v or 38?
38
Let u = -1282 + 1281.74. Is u > 13?
False
Let s be (7/105*-1)/(9/(-45)). Is s <= -0.32?
False
Let k = 62 + -66.8. Let f = k - -1.8. Is f bigger than -5?
True
Let g = -1720 - -2067. Which is smaller: g or 351?
g
Let i = 699.9942 + -700. Does i = -2/5?
False
Let s = -130.055 + 131. Let p = s - -0.055. Suppose 0 = x + 4*x - 60. Is p not equal to x?
True
Let b = 2 + -3. Which is greater: b or 16/79?
16/79
Let t(v) = v**2 - 13*v - 2. Let x be t(13). Let z be x/4*(-11 + -1). Suppose 2*s = z*s - 4. Is 3/13 at least s?
False
Let b = -0.159 - 38.841. Is 1 != b?
True
Let b = 29/3 + -230/21. Is b greater than or equal to 1.1?
False
Let u = 1610 + -1031. Is u less than 580?
True
Let u(r) = -r**3 + 4*r**2 + 14*r + 4. Let q be u(-4). Which is smaller: 79 or q?
q
Let g be (-1812)/(-44) - 2/11. Suppose 5*b = -g + 16. Let a be 2/4 - (-42)/(-12). Which is smaller: b or a?
b
Let d(m) = 2*m**3 + m - 4 - 18*m**2 + 3*m**3 - 4*m**3 - 12. Let a be d(18). Let y(u) = u**3 + 2*u**2 + u. Let x be y(-1). Which is smaller: a or x?
x
Let p(z) = -13*z + 13. Let c be p(1). Let f = -76/63 + 7/9. Is f != c?
True
Suppose 13 - 7 = -3*m. Let f be 8/16 + 3/m. Do f and -16/13 have the same value?
False
Let p = -145 - 29. Let g be (12/p)/(-1*2 - 0). Suppose -12 = -2*m - 2*s, -2*m = 2*m - 5*s + 21. Are m and g equal?
False
Let o = 1739 - 1024. Which is smaller: o or 716?
o
Let l = 1/146 + -303/1606. Suppose 0*c + 5*c = 5. Is l equal to c?
False
Let y = -1222.9 + 1229. Is 2/13 < y?
True
Let p be ((-4)/(-4))/((-1)/22). Let u = 19 + p. Are u and 2 non-equal?
True
Let q = 1021 - 1056. Which is greater: q or -22?
-22
Let i = -2 + 1.9. Let k = i + -3.9. Let d = -9 - k. Is d smaller than -1/2?
True
Let m be (-3 + 3)/((-39)/13). Let n be -1 - 0 - (-118)/122. Are n and m non-equal?
True
Let d be (-8)/(-12)*(-3 - -9). Suppose x - 3*x = d. Suppose 2*s - 2 = 4*k, 2*k + 6 = -k - 3*s. Is k not equal to x?
True
Let n be -2 - 1/(-2)*-4. Let l be (-16)/10*(-315)/42. Suppose f + l = 10. Is n bigger than f?
False
Let d be (18/27)/(2/(-6)). Let c be (4 - 3)*d - -38. Suppose f + 7*r - 6 = 3*r, -2*f + 4*r - c = 0. Which is smaller: -8 or f?
f
Let k be ((-3)/(-4))/((-2)/(-16)). Suppose 2*z - 48 = 36. Suppose 0*x + z = 6*x. Which is smaller: k or x?
k
Let m = -1027801/6 + 171714. Let y = m + -415. Let x = 5/6 + y. Is -12 at least as big as x?
False
Let i = 1.6 - -0.4. Let w = 5 - -51.6. Let s = -56 + w. Which is greater: i or s?
i
Let l = -48 + 63. Let m = -15 + l. Is m at least as big as -1/41?
True
Let m be 2/28 + 342783/4410. Which is smaller: 77 or m?
77
Let v = -26.1 + 28.1. Which is greater: -37/6 or v?
v
Let l = -1181 - -1632. Is 451 != l?
False
Let s = 232 + -201. Which is smaller: -0.07 or s?
-0.07
Suppose -4*z + 2*i + 74 = 0, -4*i + 103 - 17 = 5*z. Let w = -10 + z. Suppose o = 10*o - 72. Is o bigger than w?
False
Suppose -3*b + 13 = -2*b. Suppose r - 3*l - b = 0, -r - 3*l = -6*r + 29. Suppose 5*o = r + 1. Is o >= 2?
False
Let p be (-6)/(-15) - ((-44)/(-10) + -4). Let b(n) = n**3 + 4*n**2 - n. Let m be b(-4). Let c = 2 - m. Which is greater: c or p?
p
Suppose -n = 4*z - z - 39, 4*z - 63 = -5*n. Suppose r + z = 7*r. Let l be (-207)/144 + 3/r. Which is smaller: l or 1?
l
Let s = 2203/88 - 193/8. Let a be ((-8)/4)/(1*-2). Is a smaller than s?
False
Suppose 3*c = -c - 4, 13 = -2*k + 5*c. Let q be (-2)/(-6) + (-3)/k. Let a = 3.8 + -5.8. Does a = q?
False
Let d be 5 - (5368/(-20) + (-16)/(-40)). Which is smaller: d or 274?
d
Let w = -840 + 836.07. Let o = w - -4. Let z = 0.17 - o. Are z and -1 equal?
False
Suppose 68 = 2*r - 3*j, -3*r + 2*r = -3*j - 28. Suppose 2*m = -4*d + 7*m - 12, -3*d - r = 4*m. Which is smaller: -9 or d?
-9
Let y = -12/623 - 72831/3115. Let c = y - -3637/155. Is c at most 1?
True
Let m be (1/5)/(8/20). Let d = -381/5 - -116591/1530. Let q = -67/306 - d. Is m smaller than q?
False
Suppose 2*j - 1 - 9 = 0. Suppose h + 4*o = 9*o - 10, 4*h = -j*o + 10. Suppose 3*z + 4 + 2 = h. Is -2 > z?
False
Let n = -7 - -6. Let z = -1262 + 17671/14. Which is bigger: z or n?
z
Let h be (-2)/10 + (-626)/(-30). Let c = 20 - h. Let n be 2 + 1/(12/(-28)). Which is bigger: c or n?
n
Suppose -24*r + 37*r - 260 = 0. Which is greater: r or 23?
23
Suppose -12*h + 9*h - 2300 = 5*g, h + 4*g + 755 = 0. Let m = h + 8519/11. Which is greater: m or 0?
0
Suppose -6*v + 2*n + 14 = -8*v, -4*v - 22 = -2*n. Let s be 48/4*(-18)/(-8). Suppose s = -5*p - 2*h, 2*h + 0*h + 17 = -3*p. Is v smaller than p?
True
Let g = 463 - 927/2. Which is smaller: g or -5.22?
-5.22
Let u be (-100)/250 + -1 + (-234236)/(-415). Let d = u + -563. Is d < 0?
False
Let g(l) = l**3 - 3*l**2 - l + 2. Let k be g(4). Let h be k*1*(-1)/(-2). Let p = -27 - -34. Is p < h?
False
Let t be 1/(-3)*(-9 - 0). Suppose 0*w - t*w = 15. Let f be -1 - 3/w*2. Which is greater: f or 2?
2
Let n = 16 + -14. Suppose 10 = -0*i + n*i. Suppose -8*f = -3*f - i. Which is greater: f or 4/7?
f
Let a(j) = -j**2 + 11*j + 2. Let t be a(10). Let i = t - 11. Let o be (0 - 0) + 2/(-8). Is i bigger than o?
True
Let m(d) = -d**3 - 19*d**2 - 19*d - 29. Let y be m(-18). Is -37/3 < y?
True
Suppose -3*w - 116 = -2*l, -3*l - 4*w + 189 = -w. Suppose -v - l = 5*o - 7, -2*v + 2 = -o. Is o at most as big as -11?
False
Let z(p) = -p**2 + 14*p + 38. Let u be z(16). Is -2 greater than u?
False
Let q = 0.0391 + 21.8609. Let t = q - 22. Which is bigger: -1/3 or t?
t
Let z be 6/27*6*(-99)/(-12). Which is smaller: z or 128/11?
z
Let n(g) = 9*g + 18. Let l be n(-2). Is 1/451 greater than l?
True
Let c = -62 - -75. Which is smaller: c or 82/7?
82/7
Let w be 128/(-16) - (-28308)/3538. Which is smaller: 1 or w?
w
Let l = 2827 + -4440. Which is greater: l or -1614?
l
Let a(m) = 4*m + 42. Let g be a(-12). Let c be 2 + 2 - (3 + g + 29). Which is smaller: c or -21?
c
Let z = -149877/47 - -3189. Which is smaller: z or 0?
0
Let g = -23/22 - -137/110. Is 1/27 at least g?
False
Suppose 0 = -9*x + 17 + 19. Suppose 4*i - y = -i - x, -5*i = 2*y + 7. Are i and 2/27 unequal?
True
Let k = -83 - -41. Let s be (-34)/(-84)*-106 - 58/609. Which is smaller: k or s?
s
Let a = -0.034 + -22.966. Let h = a + 24. Does h = -1/24?
False
Let p be (0 - 1) + 0 + 5. Suppose -18*k - 4*g = -23*k + 27, -4*k + 9 = g. Are k and p nonequal?
True
Let i = -242186 - -10171223/42. Let d = 104/7 + i. Which is smaller: d or 1?
d
Let n be (156/(-2015))/((-13)/15). Let y = 17021/31 + -549. Let f = n + y. Is f equal to -1?
False
Let v be 4/(-2)*(-44)/(-8). Is v smaller than -10?
True
Let j = -3 + 6. Suppose j*c = 8*c. Is 1/40 at least as big as c?
True
Let s = -15.25 + 16. Let q = s - -0.05. Le