 p or m?
m
Suppose -2*i + r + 13 = 0, -i + 3 = -2*r - 2*r. Let s be (i/3)/((-10)/6). Suppose 0 = -13*o + 47 - 60. Which is greater: o or s?
o
Let w(y) = 2*y**3 - 15*y**2 - 2*y + 6. Let g(b) = b**3 - 6*b**2 + 7*b - 2. Let d be g(5). Let v be w(d). Is v smaller than 1/2?
False
Let p(d) be the second derivative of 7*d**3/6 - 49*d**2/2 + 55*d. Let h be p(8). Suppose 3*z - z = 2. Is h at most as big as z?
False
Let i = 729/112 + -159/16. Does i = -4?
False
Let g(j) = 3*j**3 + 35*j**2 - 12*j + 1. Let y be g(-12). Is -1/103 at least y?
False
Suppose 3*w = 2*x + 278, 2*w + 283 = 5*w - x. Which is smaller: w or 97?
w
Let u = -9.319 - -0.319. Is u at most as big as 7?
True
Let h(j) = -j - 20. Let v be h(-18). Let g be 1 + 416/(-140) - v. Which is greater: 1 or g?
1
Let t = -78 - -72.2. Let f = t - -5.4. Which is greater: 2 or f?
2
Let z be 1*(-2 - 3) - 0. Suppose -28*x + 15 = -25*x. Suppose 25 = -10*w + x*w. Are w and z equal?
True
Let r = -1 - -94. Let i = r - 58. Let h be (42/i)/(2/(-3)). Which is smaller: h or -2?
-2
Let p = 0.019 - -0.075. Let v = -0.906 - p. Is v smaller than -1/4?
True
Let a(h) = h**2 - h - 14. Let v(x) = x**3 + 6*x**2 + 9*x + 8. Let r be v(-4). Let o be a(r). Which is smaller: 3 or o?
o
Let s = -18.2 - -19. Let c = -7 + 6.3. Let y = s + c. Are y and -5 equal?
False
Let x = 233 + -243. Which is bigger: -1/3 or x?
-1/3
Let v = 0.29 + 0.1. Which is greater: v or 0.3?
v
Let b = 10 - 6. Suppose m - 4*p = -5*p, -2*m = -5*p + 14. Which is bigger: b or m?
b
Let q = 25 - 34. Let w = -6.96 + 16.03. Let y = w + q. Is y != 0?
True
Let v = 95 - 99. Let j be (v - 45/(-10))*4. Are j and 2 equal?
True
Let j be (45 - 40)*(-1134)/(-5). Is 1134 at least j?
True
Let x(h) = -14*h + 34. Let t(w) = -15*w + 33. Let g(r) = -3*t(r) + 4*x(r). Let f be g(8). Is f > -52?
True
Let z = -0.13 - -1.63. Let q = 4.5 + -5. Let v = q - z. Which is bigger: v or 5?
5
Let h = 30.54 + -31. Let g = 9.06 - 9. Let q = h + g. Is 1/3 not equal to q?
True
Let n = 427 - 460. Let f = -0.22 - 0.78. Which is smaller: n or f?
n
Let f = 9 - 1. Let y = -5 + f. Suppose y = 3*r - 0*r. Which is smaller: -2/9 or r?
-2/9
Let j = 0.42 - 1.2. Let v = -0.18 - j. Suppose -2*q - 1 = -3*q. Is v greater than or equal to q?
False
Let n = -20145149/18552 - -8687/8. Is 0 <= n?
True
Let x = -966 + 960.22. Is x smaller than -1/3?
True
Suppose 2*b = 2*c + 7434, -5*b = -10*b - 3*c + 18617. Let f = -546985/147 + b. Which is greater: f or 0?
f
Suppose -6*y + 281 = -469. Let j(w) = -44*w - 7. Let z be j(-3). Is z at least y?
True
Let z be 2/(-1 + 0 + 525/455). Let u be (-2)/3*3*-8. Does z = u?
False
Let c(u) = -u**2 + 7*u - 2. Let n be c(7). Let t(b) = b**2 + b - 4. Let d be t(n). Let k be ((-1)/d)/((-33)/(-6)). Which is greater: k or -1?
k
Let h be (-2 + -73 + 20 + -15)/(-1). Which is bigger: 1 or h?
h
Suppose -4*d + 3 = f - 9, 4*d + 4*f - 12 = 0. Suppose w + 13 = 6*w + 3*h, -d*w - 3*h = -9. Let p be w*(6/(-4) + 1). Do -1 and p have different values?
False
Let a(w) = w**2 - 8*w - 4. Let s be a(8). Let g = -5 - -7. Suppose 0*x - l = g*x + 9, 0 = 2*x + 4*l + 18. Which is bigger: x or s?
x
Let y be ((-396)/(-21))/4 - 5. Which is smaller: -19 or y?
-19
Suppose -71*w - 45 = 10960. Which is greater: -153 or w?
-153
Let y = 182 - 1461/8. Let s = -5 + 5. Let x = s + -1. Which is bigger: x or y?
y
Let c(v) = -v**2 + 9*v - 2. Let b be c(4). Suppose -54*m + 82*m - 1456 = 0. Suppose 0 = 22*y - b*y - m. Are y and 13 unequal?
False
Let u = 258 - 254. Which is smaller: u or 6?
u
Suppose 480 = -r - 7*r. Are -2 and r nonequal?
True
Suppose 39 - 21 = 3*t. Suppose 0 = -5*n + t - 1. Is -2/35 != n?
True
Let w be ((-3)/5)/(2/(-10)*1). Suppose -9 + 1 = 2*s. Let f be (-1 + 1)/(s - -3). Is f greater than or equal to w?
False
Let j be 186/162 + 3 + (-1 - 3). Let v = j + -85/756. Suppose 0 = -g - 2*g. Which is greater: g or v?
v
Let j = 6 - 5. Let h(r) = 2*r + 1. Let s be h(-1). Let w be (j + s)*(-7)/14. Is w equal to 2/15?
False
Let n be 1606/165*-3*5/(-2). Are n and -2 unequal?
True
Let t = -45 - -49. Let y be (0 - t) + -134*2/(-4). Is 63 < y?
False
Let x be 6/(-4)*(-10)/(-15). Is 15/49 at least x?
True
Let f = -4.82 - -4.72. Which is greater: f or -3/224?
-3/224
Let z = -2 + 2.9. Let k = 103 - 93. Let s = k - 10. Which is bigger: s or z?
z
Suppose -12*c = -14*c + 28. Let j = -34 + c. Let r = -17 - j. Which is greater: 6 or r?
6
Suppose g + 147 = -3*g + f, 5*f - 87 = 2*g. Let c = -23 - g. Is c at most as big as 13?
True
Let u = 3577/3 - 1193. Which is greater: -4/19 or u?
-4/19
Let u = -388 - -387.8. Is u < 2/27?
True
Let c(p) = 1317*p**2 + 2*p + p - 1316*p**2 + 4*p - 1. Suppose 5*u = 4*u - 7. Let z be c(u). Which is smaller: -3 or z?
-3
Let g = 0.18 - 0.057. Which is bigger: g or -2?
g
Let o be (-6)/45 + (-4488)/90. Is -50 equal to o?
True
Let v = -16737 - -16737. Let p be ((-2)/(-3))/((-32)/(-18)). Which is bigger: v or p?
p
Suppose 54*v - 114 = 73*v. Suppose -3*g = 27 - 3. Which is smaller: v or g?
g
Let o = 17 - 17. Suppose o = -5*t + 3*u - 108, -24 = t - 4*u + 1. Let r = 44 - 66. Which is greater: t or r?
t
Let s = -98 + 100.92. Let z = -234.92 - -235. Let m = z + s. Is 2 less than m?
True
Let h = 260 + -177. Let j = h - 77. Are j and -6/7 unequal?
True
Let v be 11 + -7 + 6/(-2). Let d be (-7)/28*(-28)/v. Is -2 at least as big as d?
False
Let y be (-40)/156*((-6)/5 + 0). Which is smaller: y or 1.6?
y
Suppose -2*d + 28 = -4*a, -4*d - a + 11 = -0*a. Suppose -k - d = 3. Let o be (-87)/7 + (-3)/k. Is o < -13?
False
Let z(k) = k**3 - 8*k**2 + 3*k. Let i be z(8). Let v = i - 49. Which is greater: 1 or v?
1
Let q(b) = -9*b + 31. Let f be q(11). Let o = f - -74. Is o greater than 11?
False
Let w(h) = 4*h**2 + 4*h - 2. Let i be w(-2). Suppose 3*o = 198 - 48. Suppose o = 5*m + 2*t, 4*m = -t + 9 + 28. Which is bigger: i or m?
m
Let w be (2 - 22/4)*-2. Suppose -6*q - 1 = -w*q. Let k be (q - 1) + 1/2. Which is bigger: -2 or k?
k
Suppose -2*j - 695 = -4*m + 489, 2*m + 3*j = 592. Suppose 4*i + m = -u, 0 = 3*i - 4*u - 0*u + 241. Let p be ((-8)/10)/((-45)/i). Which is smaller: p or 0.4?
p
Let w(m) = -m**3 + 5*m**2 - 3*m + 4. Let t be w(3). Let r = -2280 + 2281. Which is greater: t or r?
t
Let q = 51333/32 + -1604. Which is greater: q or 0?
q
Let p = -241 - -240. Do p and 1/4 have the same value?
False
Let y be ((2 - -6) + -5)/1. Let w = -62 + 131/2. Is w bigger than y?
True
Let b = -18 + 17. Let f be b/5 - (-408)/(-60). Which is bigger: f or -9?
f
Let q(h) = -2*h**2 - h - 15. Let i be q(0). Let j = -2 - i. Let r = 9 - j. Is -4 bigger than r?
False
Let o be (-2 + 7 + -6)*-4*1. Let v be 11/22*o/2. Which is smaller: v or -3/73?
-3/73
Let g be (-726)/(-56) + -1 + 30/105. Is g smaller than 12?
False
Let p(z) = 66*z - 858. Let u be p(13). Is -2/8343 greater than or equal to u?
False
Let v be (-3)/(-9) - 1 - (-2)/(-6). Let k(i) = i**2 + 4*i - 3. Let h = -7 + 3. Let r be k(h). Is v at least as big as r?
True
Suppose 20 = 8*q - 7*q. Suppose -17*m + q*m = -42. Let k be -14 - (-2)/(2 - 0). Is k smaller than m?
False
Let z(p) = p**2 - 4*p - 8. Let t be z(6). Let h(l) = l - 2. Let c be h(t). Suppose -2*b = -0*b + 5*v - 32, -c*b + 4*v = 4. Is b < 7?
True
Let d = -4.59 + 0.59. Let f = -88 + 97. Is d less than f?
True
Let n = -1330 - -1210. Which is bigger: -124 or n?
n
Let y be (-33 - 0)/3 + 1. Let d(v) = -v**3 - 9*v**2 + 11*v + 13. Let t be d(y). Let i be (-1)/(-1)*-3 + t. Which is bigger: i or 1?
1
Let g = -1 - 17. Let w = g + 22. Let s = w - 3. Does 1 = s?
True
Let g be (-171)/27 - (-8 + 1). Which is smaller: 0.483 or g?
0.483
Let k = -21.15 - -21. Let r = k - -1.15. Is -13 at most as big as r?
True
Let n be -2 + 5 + (-6)/3. Suppose 12 = 4*f - 3*o, 0*o - 12 = -4*f + 2*o. Suppose 0 = 2*z + p - 9, 0*z = 2*z - p - f. Is n at least as big as z?
False
Let y be (-17)/((-595)/(-84))*(-10)/6. Is y less than 36/11?
False
Let h(s) = -33*s + 146. Let z be h(-4). Is z less than 279?
True
Let s = 138 - 1516/11. Is 3.8 at least as big as s?
True
Let i(y) = -19 + 25 - 11*y + 3*y. Let s be i(4). Which is smaller: s or -0.1?
s
Suppose -72*x = -60*x + 2676. Is x > -223?
False
Suppose 5*j + 3*g = -400, 31 = -j - 4*g - 66. Which is greater: 2/5 or j?
2/5
Let j be (-1778)/21*((4 - 7) + -3). Which is smaller: j or 507?
507
Let x = 7952 - 3538642/445. Is -1/4 greater t