(17). Is p greater than 4?
False
Suppose -12*m + 18 = -10*m - 2*s, 5*s + 38 = 4*m. Is 17/3 less than or equal to m?
True
Let o = -7 - -11. Let n = -16 - -19. Suppose 16 - o = n*y. Which is greater: y or 3?
y
Let j(x) = -x**3 - 5*x**2 + 4*x - 8. Let i be j(-6). Suppose 6 = -3*d + d, 0 = 4*l + 3*d - 3. Is l at most as big as i?
True
Let a = -3133765916/7095 + 1325060/3. Let v = -1/430 + a. Which is greater: -1 or v?
v
Suppose -61 - 47 = -12*q. Let b = 36 + -54. Let i = -8 - b. Which is greater: q or i?
i
Let m be ((-21)/(-9) - 2)*0. Let h = 9424/13 + -724. Is m smaller than h?
True
Let i = -1201/13 - -267719/2899. Are i and 0 equal?
False
Let j = 1446 + -1446. Which is smaller: j or 42/43?
j
Let z = -53 - -68. Suppose 3*s + 21 = 81. Let x = s - z. Is x != 6?
True
Let y = 2/331 + -347/2648. Let t(g) = -g + 1. Let l be t(-6). Suppose 0 = 3*v + 4 - l. Which is smaller: y or v?
y
Let q(b) = -4*b**2 + 110*b - 85. Let z be q(31). Is -521 less than z?
True
Let b(w) = -w**3 - 7*w**2 - 4*w + 8. Suppose 0 = 2*k + k - 15. Suppose 4*f = k*t + 26, -5*t - f = 31 - 0. Let x be b(t). Do x and -6 have the same value?
False
Let g = 7.9 + -8. Let c = 4.3 + -5. Is g equal to c?
False
Suppose -6*i + 3*i - 20 = -4*a, -2*i - 10 = -2*a. Which is greater: i or 3/394?
3/394
Let b be ((-11)/(22/60))/(-2). Let d(o) = -o**3 + 7*o**2 - 7*o - 8. Let q be d(6). Let a = q + b. Is a smaller than 0.5?
False
Suppose -4*a - 92 - 69 = -3*w, 5*a - 60 = -w. Let v = w - 53. Is v != 0.14?
True
Let p = -8 - -10. Let r be (-3159)/(-130) + p/10. Let s = r + -24. Which is greater: 0 or s?
s
Let q be ((-14)/20)/((-32)/(-80)). Which is smaller: 0.04 or q?
q
Let l = 179 + -155. Is 25 not equal to l?
True
Suppose 2*k = 6*k + 52. Let m = 19 + k. Suppose -2*d + 2*v + 16 = 0, -m*d + 77 = -2*d + 5*v. Which is smaller: 14 or d?
d
Let u = 3.1 + 0.9. Let j = -16.9 + 22.9. Let y = u - j. Is y less than -4?
False
Let u = 172/5 + -4978/145. Let b be 6/4*16/24. Suppose t + t + 5 = -5*g, -5*t = g + b. Which is smaller: u or t?
t
Suppose 29 = -5*u + 24. Which is smaller: u or 2/335?
u
Let w = 1051/5 - 209. Which is smaller: w or 0.1?
0.1
Let w be 5112/(-96)*(-8)/3. Is w greater than 2/7?
True
Let w(m) = -20*m + 12. Let a be w(2). Let x be 1/(-70) - a/(-98). Let y(u) = -u - 8. Let j be y(-7). Which is smaller: j or x?
j
Let x be ((-1)/3)/(7/6). Suppose -4*v - 4*t = -12, -t = -0*v - v + 13. Suppose 16 = -v*b - 0*b. Which is smaller: b or x?
b
Let i = -18 + 15. Let t be i + (470/115 - 1). Suppose 2*r - 4*r = 2*h - 2, 0 = -4*r + 3*h - 3. Which is smaller: t or r?
r
Suppose 0 = -3*m - 4*a + 16, 2*m + 2*a + 16 = 6*a. Let x = -1/2183 - 4127/521737. Do m and x have different values?
True
Let r(d) = d**3 - 11*d**2 - 7*d - 15. Let i be r(12). Is -3/5 at most as big as i?
True
Let k = 27.8 - 27.83. Which is greater: k or 3?
3
Suppose -40 = 532*d - 536*d. Is d bigger than 9?
True
Let j = -2477 - -17229/7. Is j at most -15?
True
Let v be ((-28)/(-6))/((-52)/18). Which is smaller: v or -1?
v
Let t be -143 + -6 + 0 + 0. Which is smaller: -3 or t?
t
Let t(p) = -p + p + 49 + p - 9*p. Let w be t(6). Let m = -1175/153 + 140/17. Is m > w?
False
Let a = 21 - 19. Let z be 4*-2*a/568. Which is smaller: z or 0?
z
Let o be (0 - (-6)/(-363))*3/(-9). Let v(b) = 2*b + 1. Let d be v(0). Which is smaller: d or o?
o
Suppose -20*n = -19*n + 146. Which is smaller: -145 or n?
n
Let q = -1532 - -245121/160. Let f = -1158348 + 1297349847/1120. Let w = f - q. Are -1 and w equal?
False
Let w = 23 + -21. Suppose w*v = 3*q + 75, 3*v = -4*q + 2*v - 89. Which is greater: -22 or q?
-22
Let h = -1314 + 1315.103. Let c = h - 0.103. Which is smaller: c or 3/2?
c
Let x = -9682/1595 - -67/11. Which is bigger: x or 0?
x
Let u = -3673 - -3672.9. Let q = -93 - -56. Is u > q?
True
Let l = 110/53 + 1358/265. Let g = -2 - -8. Is l at least g?
True
Let a be 8/32 + 453/(-1844). Let j = 7841/922 - a. Let k = 115/14 - j. Are 1 and k equal?
False
Let k be 22/(-22)*9/(-2). Which is smaller: k or 1/3?
1/3
Suppose 6*o = -123 + 63. Let h = -14 + 4. Let r be (-6)/o + (-24)/h. Is r at most as big as 0.1?
False
Let q = -551/3 + 184. Is -136 smaller than q?
True
Let c = -37/30 - -11/6. Suppose 0 = 3*u + 2*u + 3*z - 18, 3*u - 4*z = 34. Suppose -j = -u*j. Which is smaller: c or j?
j
Let h = -353 + 361. Which is smaller: 12 or h?
h
Let c be (6/(-1) - -4)*(-3)/(-2). Which is smaller: 4/3 or c?
c
Let b be (13 + -111)/(3/15). Is b at least as big as -490?
True
Let i be (-5)/(-4) - (2 + -1). Let f = -1359.85 + 1360. Which is smaller: i or f?
f
Let q(o) = 3*o + 218. Let m be q(-43). Which is bigger: m or 177/2?
m
Let k be 3/(-2 + (3 - 0)). Let u be -1 - (k + -4 - 1/3). Which is smaller: u or 7/5?
u
Let u(p) = p**2 - p + 1. Let c(f) = -4*f**3 - 5*f**2 + 6*f - 6. Let a(m) = -c(m) - 6*u(m). Let t be a(1). Let r be 14/(-21) - (-8)/3. Is r <= t?
True
Let q be 1755/(-60) + (6 - 2). Is -26 bigger than q?
False
Let z(n) = -4*n**2 - 42*n - 36. Let j be z(-11). Is j bigger than -54?
False
Let p(b) = -7*b**3 + 2*b**2 - b - 2. Let g = -17 - -16. Let s be p(g). Is s at most as big as 4?
False
Let a(k) = -k - 7. Let t be a(-7). Suppose 2*c + 97 = -5*q + 37, t = -5*q - 20. Which is greater: c or -19?
-19
Let b(x) = 2*x + 6. Let j be b(-3). Suppose -4*h + 4*w = j, 0*w = 4*w - 8. Suppose -4*n = -4*y + 20, 2*y = -n - h*y + 10. Which is smaller: n or -10/3?
-10/3
Suppose 3*a = a. Suppose 0*i + 38 = p + 5*i, p + i - 18 = a. Which is greater: p or 14?
14
Suppose 4*n - 3*h - 69 = -0*h, 3*n - 68 = -h. Suppose 3*i - n = -0*i. Suppose -5*y + 4 = -31. Does i = y?
True
Suppose 2 = g - 3*q, -5*g - 1 - 2 = -2*q. Are -5 and g nonequal?
True
Suppose 5*v - 22 = -17, -k - 2*v + 1 = 0. Is k > -17/12?
True
Let q be -11 - (-75)/6 - 32/22. Is -1/2 less than or equal to q?
True
Let q be (-4)/(-1)*6/64. Suppose 3*j + 3*x = 6*x - 3, -2*j - 2 = -x. Which is smaller: j or q?
j
Let q be ((-113148)/(-168))/(6/8). Is q less than or equal to 900?
True
Let w = -339 - -341. Which is smaller: w or 28/31?
28/31
Let l be 36/30*(5 - 0). Suppose q - l*q = 225. Is -2/3 at least as big as q?
True
Let l = -25 + -29. Let j = 53.46 + l. Let f = -0.14 - j. Which is greater: f or -2?
f
Let w(m) = -m**2 - 9*m - 4. Let f be w(-8). Let u be ((-5)/20)/((-79)/f). Let q = u - -153/395. Which is smaller: 5 or q?
q
Suppose -35*l = -166 - 1969. Which is greater: l or 1/3?
l
Suppose 16 = 4*b, 0 = 11*n - 13*n + 3*b - 482. Is n >= -2/5?
False
Suppose 5*j = 1 + 24. Suppose 0*q - j*q = 45. Let l be (-88)/q + (-16)/(-72). Is 10 less than or equal to l?
True
Let n(f) = 2*f + 6. Let k be n(3). Suppose 2*j - k = 4*d, -d + j = -j. Let s be (-18)/(-27)*(-66)/d. Is 10 at least s?
False
Let l = 0.21 + -10.21. Let g = -10 - l. Let q = g - 1. Are q and -11 non-equal?
True
Let o be (-288)/132*(-11)/2. Which is greater: -31 or o?
o
Let t = 22 + -23. Let u = t - -2. Which is smaller: u or 3/7?
3/7
Let m = -60 - 20. Let d be -3 + 5 - (84 + -1). Which is greater: m or d?
m
Suppose 5 = 4*x - 3. Let y be (-8)/16*x/(-22). Suppose -o + 2*o - 1 = 2*v, -7 = 2*v + 5*o. Which is smaller: v or y?
v
Let w = -2167/9 - -241. Let o = 34 - 17. Suppose o*l - 1 = 18*l. Which is bigger: l or w?
w
Suppose 119*s - 124*s - 115 = 0. Which is bigger: s or -25?
s
Suppose 36*m + 693 = 43*m. Is 99 > m?
False
Let t(y) = -17*y - 51. Let o be t(-3). Which is smaller: o or 2/131?
o
Let s(t) = -t**3 + 9*t**2 - 2*t + 14. Let x be s(9). Suppose 9 - 24 = -3*n. Which is bigger: x or n?
n
Let i = 1/844 + -2973/16036. Which is bigger: 1 or i?
1
Let m = 1/105 + -199/420. Let h = m + 415/924. Which is greater: -1 or h?
h
Let f = 21 + -52. Is -33 bigger than f?
False
Suppose 0 = -6*z + 186 + 18. Let j = z + -33. Which is greater: j or -2/97?
j
Let w(i) = -2*i**2 + 10*i - 14. Let o(y) = y**2 - 2*y + 2. Let s be o(3). Let h be w(s). Which is smaller: -13 or h?
h
Let x = 1.1 - 1.381. Let n = -13.381 - x. Let i = -13 - n. Which is bigger: i or 14?
14
Suppose -5 = 6*w + 7. Is -16/5 smaller than w?
True
Suppose -3*y = 26*b - 31*b + 2162, 2*b = 4*y + 862. Is b < 431?
False
Suppose -m = m + 16. Let f(a) = 20*a + 7. Let x be f(m). Let o be (-3)/9 - 57/x. Which is smaller: o or -1?
-1
Let o = 2 + -10. Let p = -0.016 - 0.984. Which is smaller: p or o?
o
Suppose 2*h - 6 = -4*r + 2*r, h + 13 = 3*r. Let d = 6.771 +