o
Let h(w) = -w**3 - 2*w**2 + 7*w + 1. Let n be h(-9). Let i = n - 19191/38. Let o(t) = t**3 + 2*t**2 - 14*t + 6. Let p be o(-5). Which is bigger: i or p?
p
Suppose 3267 = -14*c + 3*c. Let r = c + 2106/7. Which is smaller: r or 3?
3
Suppose -3*p + f + 3 = 5, 5*p + 1 = 4*f. Which is greater: p or -11/16?
-11/16
Let s = -0.1 - 0.9. Suppose -2*i - 120 = -5*w, 3*w - 47*i - 86 = -43*i. Which is smaller: w or s?
s
Suppose -r + 3*r = 10, -5*r = 5*s - 55. Let c(n) = -2*n + 2. Let b be c(-1). Does s = b?
False
Let i(x) = 2*x**2 + x - 2. Let d be 12/(-4)*4/6. Let q be i(d). Let n be q/(-6) - (-3)/3. Is n less than -1?
False
Let s be 31/11 + (-22)/(-121). Let w be (5/15)/(4/39). Which is smaller: s or w?
s
Let m(h) = 11*h**3 + h**2 - h. Let j be m(1). Suppose -5*z + 2*y + j = -0*y, 0 = -4*z - 3*y - 5. Let f = -24645 + 24646. Do f and z have different values?
False
Let f = 6/17 + -1729/34. Which is smaller: f or -50?
f
Let g be 3/(-9)*1*(-12)/136. Suppose 0 = -3*w - 5*a + 17, -2*w - 22 = -a - 4*a. Is g at most w?
False
Let k = 301 + -419. Which is greater: -117 or k?
-117
Let g be ((-6)/2)/(296/28054). Let p = 1137/4 + g. Is p != -1?
True
Let j be 2/5*(-10)/6. Suppose -5*g - 4*n - 59 = 26, -4*g = n + 57. Which is bigger: g or j?
j
Let q = 21.34 - 21.34. Is 6/89 != q?
True
Let p be ((-21)/210)/(1/(-4))*-245. Is -100 != p?
True
Let l = -28.7 + -32.3. Which is smaller: l or 1/2?
l
Suppose -25 = 5*x + 5*w, 5*w - 6 = -2*x - 25. Is x less than or equal to -40/39?
True
Let j = 9486/2318485 + -4/3365. Which is bigger: 1 or j?
1
Let o be 4 + 30/(-5) - 19/(-10). Let h = -7/20 - o. Which is smaller: 1/6 or h?
h
Let k(q) = q**2 - 195*q - 64 + 195*q. Let o be k(0). Let p be -2 - (3 + o/12). Is -0.1 not equal to p?
True
Let t be 1/2 - (-566)/4. Suppose 143 = r + t. Let f be 4/(-35) + (-2)/7. Which is greater: f or r?
r
Let p(y) = -75*y**2 - 2 + 18*y**2 + 1 - y - y. Let a be p(-1). Let v be (-10)/(-15) + a/66. Which is smaller: v or -1?
-1
Let o = -7 + 7. Which is greater: -3/4 or o?
o
Suppose -1178*u - 45 = -1175*u. Is 20 >= u?
True
Suppose 3*s - 57 = 42. Suppose -4*q + 8*q + 5*k + 160 = 0, s = -q - 3*k. Let d be -1*(-3)/q*-3. Do d and 0 have the same value?
False
Let b = 19.5 + -16. Let h = b - -1.3. Let s = -4 + h. Which is smaller: 0.1 or s?
0.1
Let y = 4515 + -4486. Let s be 1*31 - 0/2. Which is smaller: y or s?
y
Let g be (-11)/(-44) + (-6)/(-8). Suppose -5 = -5*a, 3*a - g = -5*d + 7. Is d bigger than 7/12?
True
Let a(w) = -w - 2. Let m be a(-8). Suppose -p - t - 9 = 3*p, 0 = -4*p + 2*t + m. Let v be (-50)/(-125)*(-1 - (-32)/42). Is v smaller than p?
False
Suppose 45*b - 47*b = 5*t + 26, -3*b = -5*t - 11. Let k be (4/10)/((-1)/10). Are b and k equal?
False
Let d be (-90)/75*(-23)/8. Is d bigger than 3?
True
Let l = 142 + -144. Are l and 2/5 nonequal?
True
Let y be 4/(-1) - 1340/(-240). Which is smaller: 3 or y?
y
Suppose -30*j - 882 = 288. Which is greater: -32 or j?
-32
Suppose -5*s = 2*s - 161. Suppose 5*u - 3 = -s. Which is smaller: u or -5?
-5
Let r = 35 - -34. Let g = r + -49. Let k = g + -20. Is k at most as big as -1?
False
Let p = -0.06 - -16.06. Let n = -87 + 81. Let z be 686/(-392) - (-2)/((-16)/n). Is z >= p?
False
Let f be 6/(-16) + (-12)/(-32). Suppose -5*z + 5*k = -20, f*z = 2*z - 3*k - 11. Let x = 0.05 + 15.95. Which is greater: x or z?
x
Let d = -18.2 - -15. Let a = -0.4 - d. Let f = 2.6 - a. Is f bigger than -0.03?
False
Let i be (-4*93/30)/(-52). Let f = i + -7/13. Which is greater: 0.4 or f?
0.4
Let n = 16229/5 + -3248. Let a = -6 + 4. Which is smaller: n or a?
n
Let z = -1248 + 1247. Let l = 40256/41 + -982. Which is bigger: z or l?
l
Let b = -2 - -2. Let f(j) = -j**3 - 10*j**2 - 15*j + 8. Let u be f(-8). Suppose 2*l - s = 6 - b, u = 5*s - 20. Is l bigger than 5?
False
Let o be 4 - (-6)/(-2) - -1. Let u(c) = 2 - 4 - 1 + c + o. Let w be u(2). Is 4/7 >= w?
False
Let a = 26/75 - -4/75. Are a and -264 non-equal?
True
Let o = -1277/5 - -255. Which is bigger: o or 23?
23
Suppose 3*w + 4*k = k + 3, 2*w - k = 14. Suppose -w = -3*y + 2*y. Suppose -30 = -3*c + 5*g - 3, 5*c = y*g + 35. Is c < 4?
False
Let f(r) = -r**3 + 6*r**2 - 7*r + 9. Let d(u) = -u**3 + 10*u**2 + 9*u + 27. Let h be d(11). Let g be f(h). Which is smaller: g or -14/9?
-14/9
Let r be 906/16761 + (-2002)/74. Let u be (-27 + 0)/(3 + -2). Is r > u?
False
Suppose v = -0*v + 2*x - 326, -664 = 2*v - x. Let i = v - -2344/7. Is i bigger than 0?
True
Suppose -40*n + 45*n + 25 = 0. Is -96/23 less than n?
False
Suppose -264 = 13*c + 1101. Which is smaller: -106 or c?
-106
Let i(z) = -z + 1. Let l be i(1). Suppose -6*g = -l*g - 90. Which is smaller: g or 16?
g
Suppose -2*n = 5 + 21. Let i(c) = 32*c**2 - c. Let u be i(-1). Suppose 3*g = 2*p - u, -g + 3*p = 4*g + 56. Is n >= g?
True
Suppose 4*z - 21 = d, -z + 12 = 8. Which is bigger: -60/17 or d?
-60/17
Let h = 22/3 - 1141/156. Suppose 4*u = -u. Is u greater than h?
False
Let u = -9 + 9. Suppose u*q = -q + 19. Let b be q/(-15) - 3/(-5). Which is smaller: b or -1?
-1
Let b = 0.21 + -0.32. Let x be -9 - -6 - 17/(-5). Is b greater than x?
False
Suppose 6*w + 4*f = 4*w - 6, f + 4 = -w. Let d be (2 + 4/w)*10. Let z be (-4)/(-16) - 75/d. Do z and -3 have the same value?
False
Suppose 4*x + 6485 = -5*c, 4*c + 261 = -4*x - 6223. Are -1619 and x unequal?
True
Let t = 0.19 + 0.55. Let x = 0.34 - t. Is x < -2/7?
True
Let g = -90.9 - -12.9. Let w = 94 + g. Is 1/2 less than w?
True
Suppose -3*h = -4*h + 9. Suppose 4*p + 2*g = 2, -p = -6*p - 2*g + 3. Which is smaller: p or h?
p
Suppose -2*p = 2*p - 20. Suppose -g - 4*s = -4*g + 3, g - 17 = -4*s. Suppose g*a + p = -0*a. Is a at least as big as -3?
True
Let n be 2*((-28)/(-8) + -1). Suppose -n*r + 73 = 153. Which is smaller: -31/2 or r?
r
Suppose 4*g = -o + 6, -67*g - 3 = -o - 68*g. Which is greater: o or -106?
o
Let r = -1307 + 1307. Which is smaller: 253 or r?
r
Let w = 134 - 143. Which is smaller: w or -10?
-10
Let z be (-7)/(-1)*132/(-154). Is z less than 38?
True
Let q = -0.355 + -0.045. Suppose 3*p + 4 - 16 = 0. Let a = p - 30/7. Do q and a have different values?
True
Let i = -131 + 161. Is i > 3/4?
True
Suppose -4*p - 4*m = p - 46, p + 4*m = 22. Suppose 30 = -2*z - 6. Let u be (p/z)/(2/(-6)). Which is smaller: 3/8 or u?
3/8
Suppose -2*s - 9*f + 4*f = -7, -7 = -3*s - 4*f. Does 8/21 = s?
False
Suppose -4*c = f - 42, 2*f = 4*c + f - 46. Which is greater: 14 or c?
14
Let u = -0.283 + 0.183. Which is smaller: 21 or u?
u
Let w be -5*(-1)/(-10)*(-74 - -4). Which is smaller: -2 or w?
-2
Suppose -3567 = -v + k + 2744, -3*v + 5*k = -18941. Let f = v - 2339895/371. Which is smaller: 1 or f?
f
Suppose 418*m = 404*m - 14. Which is smaller: 3/1208 or m?
m
Let i = 228 + -229. Is i >= -459?
True
Let o(t) = -2*t**3 + t. Let b be ((-32)/80)/(-2*2/10). Let z be o(b). Is z greater than -1?
False
Let m = 19.5 + -21.5. Is 2.2 less than or equal to m?
False
Let r = -1017 - -1334. Do 319 and r have the same value?
False
Suppose -g = -4*c - 350, -c + 4*g - 94 = 7*g. Let r = c - -60. Let o = r + 36. Is o != 9?
True
Let q = -168.3 - -153.1. Which is smaller: 0 or q?
q
Let n = 5 + 1. Let q be 7/(-42) - 59/n. Let v be 32/6*15/q. Which is greater: v or -10?
v
Let d = 1.71 + -9.01. Let o = 7.1 + d. Let t = 2.5 + -0.5. Is t < o?
False
Suppose 12*t = 17*t + 525. Let z = t + 105. Let v be 4/(-6)*1/34. Which is smaller: z or v?
v
Let v be (62/(-147219))/((-2)/3). Which is smaller: v or 1?
v
Let v = 10 + -31/3. Suppose -4*i = -0*i. Which is smaller: v or i?
v
Suppose -j = -w + 10, -2*w - 36 = 6*j - j. Let g be 330/20*j/6. Let c be (-178)/8 - ((-138)/(-24) + -5). Is g <= c?
False
Let l be 3*2/(-2) + 493/170. Let u = -3 + 2.9. Is l less than or equal to u?
True
Let v = 12 - 24. Let m = -12 - v. Suppose -5*b + 2*t + 1 - 9 = m, -5*b = -t + 4. Is -4/9 less than or equal to b?
True
Suppose -207 = -2*d - 149. Is 0.4 at least as big as d?
False
Let n = 6.35 + -0.35. Which is smaller: 0 or n?
0
Let t be -6*2/(-8)*(-29)/87. Let y(v) = -v + 6. Let s be y(12). Which is smaller: t or s?
s
Let q(v) = v**3 + 6*v**2 - 7*v + 2. Let d be q(-7). Let y be d + 0 - (-1 - -3). Let a = 144/5 - 29. Which is bigger: y or a?
y
Let i be (-1405)/(-3815) + 2/(-7). Are 0 and i non-equal?
True
Let s = 0.18 + 5.42. Let a = s - 5.7. Which is smaller: a or -19?
-19
Let y be (