e 53 - 68 = -p. Which is smaller: 9 or p?
9
Let d = 2656/9 - 863227/2925. Which is greater: 0.3 or d?
0.3
Let a = -25 - -24.74. Let s = 3.84 - a. Let c = s + -4. Which is greater: -1 or c?
c
Let f = -4 - -9. Suppose -f*m + 0*a + 2*a = -12, m = 5*a - 16. Suppose -p + 5 = m*p. Is 5 >= p?
True
Let f = 26 - 18. Let t = f - 10. Let m = -2 + -1. Is m less than t?
True
Suppose 5*l + 0*l = -60. Suppose -12 = -x + s - 0, 5*s - 39 = -4*x. Let q = x + l. Is q less than or equal to 0?
True
Suppose -g - 515 = -5*u, -4*u - 2*g = -427 + 29. Is 101 equal to u?
False
Let d = 37 - 32. Suppose -1 = g + 1, -8 = -d*z + 4*g. Which is smaller: 1/66 or z?
z
Let i = -16171/25 + 647. Let a = i - -88/75. Suppose 4*k = -1 + 5. Which is greater: k or a?
a
Let k = 34 - 31. Suppose 0 = 4*o - k*t - t + 20, -5*t + 17 = 3*o. Are o and -2/35 nonequal?
True
Let w = 24 + 28. Let i = w + -49.3. Which is bigger: i or -1?
i
Let j(m) = 18*m**3 + 4*m**2 - 3*m - 6. Let r(i) = i**2 - i - 1. Let s(v) = j(v) - 4*r(v). Let g be s(1). Is 15 bigger than g?
False
Let g = -3903/4738 + 37/46. Let c be -2*(0 - 2/4). Which is smaller: c or g?
g
Suppose -5*d = -t - 878, -38 = -3*d - 5*t + 472. Suppose -2*p = 3*p - 5*c + 135, 5*p = -3*c - d. Which is smaller: 0.1 or p?
p
Let n = 2484 + -2062. Which is greater: n or 421?
n
Let f(k) = k - 2. Let l be f(4). Suppose 0 = -l*n - 3*n + 40. Suppose -5*a + 3*w = -3*a - 13, 0 = w + 1. Which is smaller: n or a?
a
Let t be (-1318)/20 - 29/290. Which is greater: t or -68?
t
Let q = -517/12 - -1685/12. Is q bigger than 98?
False
Let k(n) = -n**3 + 4*n**2 - 2*n - 2. Let g be k(2). Let v = g + 0. Let d = 214 - 213. Is d < v?
True
Let h be (2 + 96/(-9))/(6/27). Let l = 38 + h. Is 1 at least as big as l?
True
Let h = 89/22 - 7/2. Suppose 10*f - 22*f = 48. Let q be (4/10)/(f/(-20)). Which is bigger: h or q?
q
Let w = 5 - 12. Let h be (-4)/(-7) + 412/14. Let o = 25 - h. Is w != o?
True
Let r = 91 + -52. Suppose -r - 46 = -5*y. Which is greater: 16 or y?
y
Let m be 3 + (-245)/(-123) - (-1 + 6). Is 1 less than m?
False
Let p be 216/690 + (-4)/10. Let u be 5/(-25) - 116/20. Let c(o) = -4*o - 24. Let s be c(u). Is p bigger than s?
False
Let f(k) = k**3 + 4*k**2 - 11*k + 6. Let o be f(-6). Let m = o + 5. Suppose -2 + 12 = -m*x. Is -1/8 equal to x?
False
Let d(g) = -2*g**2 + 9*g - 234. Let q be d(-22). Which is smaller: -1399 or q?
q
Let v = 1 - 1. Let t = 342776/137 - 2502. Let f = -296/1507 + t. Which is smaller: f or v?
f
Let q = 191 + -267. Which is greater: -77 or q?
q
Let x be ((-2)/(-5))/(2/190). Suppose -4*t - 38 - x = 0. Let b = 43 + -87/2. Which is smaller: t or b?
t
Suppose -n + 28 = 2*n + 5*l, 2*l = n - 13. Let h be (-18)/(-8) - (-2)/(-8). Suppose h*o = -5*a + 50, -5*a + 5*o + 46 + 39 = 0. Is n bigger than a?
False
Let a = -0.89 - -0.44. Let b = a + 0.35. Which is greater: -7 or b?
b
Let g = -6 - -8. Suppose -43*j = -39*j + 20. Let t be g/(j/(15/(-63))). Is t less than 0?
False
Let t = 443 + -385. Is t less than or equal to 64?
True
Let w = -17.8 + 18. Which is bigger: w or -2.6?
w
Let b = 11/16 - 183/80. Are 23 and b non-equal?
True
Let f = -2 - -22. Let v be 10/f*0/(-3). Which is smaller: v or 9/7?
v
Let q = 2435/38610603 + 2/10089. Let z = q - -160729/19135. Do z and 9 have the same value?
False
Let a = 165 - 152. Which is bigger: 7 or a?
a
Suppose 3*r + 7 = 3*w - 26, -3*r = 3*w - 39. Let g be (-2)/8 + w/(-320)*-12. Is g >= -23?
True
Let v = 198 + -1388/7. Suppose -13 = -2*t - 3. Suppose -t*q + 3 + 2 = 0. Is q smaller than v?
False
Suppose -5*w = w - 18. Suppose -5*a + w = 228. Which is greater: -46 or a?
a
Let o = 2 + -4. Let i be 33/11 - -1 - 0. Are o and i equal?
False
Let s = 211 + -212. Is s > 1/8?
False
Let h(i) = 188*i**2 + 29*i - 28. Let b be h(1). Is 192 greater than b?
True
Suppose 7*c = 5*n + 3*c - 6, -c + 5 = 2*n. Suppose 0 = 2*p - 3*z + 4*z - 59, n*p + 3*z = 57. Which is smaller: p or 31?
p
Let c = -49 - 441. Which is greater: -491 or c?
c
Suppose -b = -6*b + 5. Let m be (1*2 - (-78)/(-42)) + 0. Which is smaller: m or b?
m
Let v = 0.4 + -1.8. Let i = 0.05 - 1.35. Let d = i - v. Does -8 = d?
False
Let a be (6/(-9))/(4/27). Let p(o) = 3*o + 21. Let q be p(-9). Which is smaller: a or q?
q
Let b = 29 - -6. Let z be b/56 - 2/8. Suppose 3*a - 4 = -g, 5*a = a + 5*g - 1. Does z = a?
False
Let q(o) be the first derivative of -o**4/4 + 4*o**3/3 - o**2 + 8*o + 11. Let x be q(4). Which is greater: 4/25 or x?
4/25
Suppose 2*r + 56 = 2*g, -2*g + 5*r + 24 + 29 = 0. Does g = -0.06?
False
Let z be ((-2)/8)/1 - 19648/256. Let q = 77 + z. Let w = 7/18 - 8/9. Is w bigger than q?
False
Let p = -3 + 4. Let a = 0 - p. Let m = -2 - a. Which is smaller: m or -1.2?
-1.2
Let y(q) = -q**2 - 49*q - 280. Let j be y(-44). Which is bigger: -57 or j?
-57
Let u(v) = 13*v - 62. Let o be u(5). Suppose d + o*g - 19 = -0*d, 3*g + 23 = 5*d. Is 5 <= d?
True
Let s = -61 + 109. Let i = -80 + s. Which is smaller: -31 or i?
i
Suppose 0*o - 2*o + 3*w - 2 = 0, -3*o = -3*w + 3. Is 1/31 at most o?
False
Suppose 3 = 3*q, 0*q + 10 = -3*x - 2*q. Let t be (-32)/40*10/x. Let u be (0 + t/1)/4. Is u > 1?
False
Let b = -0.17 + -8.83. Let o = b - -8.99. Let m = o + 2.01. Which is smaller: m or 0.2?
0.2
Suppose 2*s + 1 = -5. Let g be 7 + s + 74/(-19). Let x be (-8 - -5) + 2*1. Is g <= x?
False
Let g = -30 + 34. Suppose g*w + 19 = -3*j, -15 = 3*w + 4*j - j. Suppose 0*a - 1 = a. Is w at most a?
True
Let s = -7 + 7.2. Let c(d) = d**2 - 7*d - 7. Suppose -3*n - 3*x = x - 24, n = -5*x + 8. Let g be c(n). Are s and g non-equal?
True
Let f be (68/(-272))/((-134)/(-48)). Is f smaller than 0?
True
Let s be ((19 - 16)/(-3))/((-6698)/4). Is -2/7 smaller than s?
True
Suppose 4*g + 3*m - 141 = 2*m, 4*m = -12. Suppose 6*y = 2*y + g. Suppose 4*f + 3*h + y = 0, -4*f - 3 = -3*f + h. Is f greater than 2/7?
False
Let b be 4*2/8 + 26. Suppose -6*r = -3*r + b. Is r at most -9?
True
Let q(v) = -v**3 + 11*v**2 - 18*v + 4. Let j be q(9). Let z be j/14 - (-1011)/(-84). Which is bigger: -12 or z?
z
Suppose 0 = -12*a + 2324 - 2720. Which is smaller: -35 or a?
-35
Suppose 2*b - 95 = -3*b. Suppose -3*g - b = -31. Suppose 5*p + g*d = d + 8, d = -2*p + 3. Which is smaller: p or 2/15?
2/15
Let n be (-12)/(-15) - 24/(-120). Are n and 0.2 non-equal?
True
Suppose 5*k + 4*y - 28 = 0, -3*y + 9 = 3. Let f be k/((-16)/60)*1. Is f less than -15?
False
Let d be (203/28 - (0 + 2))*-4. Which is smaller: -22 or d?
-22
Let o be ((-2)/6)/(1 - (-152)/(-150)). Suppose 5*l + o = -5*q, 3*l + 20 = -5*q - l. Is q greater than or equal to -2/69?
True
Let d be 48 + 0/1 - -4. Suppose 4*j - 8*j = -d. Suppose -r = -6 - j. Which is smaller: -1 or r?
-1
Suppose 4*f + f + 5*t + 15 = 0, f + 2*t + 8 = 0. Let i be f + ((-117)/(-12) - (-24)/(-6)). Which is bigger: i or 7?
i
Let f(z) = -z**2 + z - 1. Let r be f(1). Let l be 3 + 0 + (-1 - 2)*(-4970)/(-4830). Does l = r?
False
Let u = -54 + 30. Let j = 26 + u. Is j < 0.1?
False
Let m = -14 + 11. Let y(u) = 2 + u**3 - 2 - 3*u + 3*u**2. Let z be y(m). Is 9 greater than z?
False
Let b = -1/536 + -531/2680. Let w(k) = -k**2 - 5*k - 4. Let d be w(-4). Are b and d equal?
False
Suppose -23*q = 7840 - 1722. Do q and -267 have the same value?
False
Suppose -11 = -9*x + 7. Suppose -p - x*i + 30 = 0, 33 + 42 = 3*p + i. Is p bigger than 24?
False
Let t = -18755/766 + -6/383. Suppose -10*i - 171 - 89 = 0. Which is greater: t or i?
t
Let r = -0.103 - -0.194. Is 0 >= r?
False
Let j(h) = 4 + h + 3 + 2. Let g be j(-10). Let m = 37/4 - 43/4. Are g and m nonequal?
True
Suppose -16*y - 1053 = 23*y. Is -26 > y?
True
Let g = 0.3 + 0.4. Let z = 0.3 - g. Let h = -3 - -5. Which is smaller: z or h?
z
Let x = -1.652 + -0.048. Let g = 1.78 + x. Is g at least as big as -1/2?
True
Suppose -3*p = -412 + 847. Is -145 at most p?
True
Let o = -316 + 316. Are o and 97 equal?
False
Let p(a) = a**2 + 13*a + 14. Suppose -l - 3 = 2*w + 5, 4*l - 3*w = -54. Let j be p(l). Let t be 3 - j - (-7)/3. Which is bigger: t or 3?
t
Suppose 4*k + 25 = 9*k. Let t be (-18)/(-81) + k/18. Which is smaller: 7/4 or t?
t
Let l = 1082 + -883. Which is smaller: 198 or l?
198
Suppose -19 = 5*v + 3*t, 3*v - 6*v + 2*t = 0. Is v at most -27?
False
Let a(x) = -3 - 3*x + 3*x + 2*x. Let g be a(1). Do g and 2/107 have the same value?
False
Let b = 12 - 11. Let o = -38 - b. Which is