- 167. Is m bigger than -0.155?
True
Suppose -40*j + 33*j = 1358. Is -194 <= j?
True
Let j = -233/3 - -78. Suppose -c + 4*g = -0*g - 32, -c + 32 = 4*g. Suppose 2*v = 3*f - 7, 0 = 5*f + 4*v - 9 - c. Is f at least as big as j?
True
Let w(v) = v**3 - 16*v**2 + 62*v - 20. Let y be w(6). Suppose -5*f + 4*h - 7 = 0, 2*f = 3*f + h - 4. Let s be f + -4 + 2 + -6. Is s > y?
True
Let o = -450 + 453. Let p(z) = -z. Let s be p(5). Let u = s + 9. Which is greater: u or o?
u
Let y = 192 + -89. Suppose -u - y = -57. Which is bigger: u or -47?
u
Let c be 26/65 - (94/(-5))/(-2). Let j(h) = -h. Let p be j(7). Which is smaller: p or c?
c
Suppose -14*m + 30 = -20*m. Which is smaller: -25 or m?
-25
Suppose -2*a + 15 = 41. Suppose -39 - 213 = 14*q. Is a > q?
True
Let t = 1036/117 + -118/13. Which is smaller: t or -1/107?
t
Suppose l - 1216 = 17*l. Which is greater: l or -75?
-75
Let y(i) = -5*i**3 - 2*i**2 - 2*i - 1. Let k be y(-1). Suppose o + 5 = -0*o + k*z, o - 35 = -4*z. Let m be 164/20 - 3/o. Are m and 8 nonequal?
False
Let f(j) = j - 1. Let o(r) = 3*r - 14. Let k(l) = -4*f(l) + o(l). Let a be k(-9). Is -1/2 not equal to a?
True
Suppose -11 = -2*x + 23. Let i = x - 17. Which is smaller: i or 2/21?
i
Let b = -1/1083 + -113/1083. Let s(t) = t**3 + 8*t**2 + 7*t. Let m be s(-7). Which is smaller: m or b?
b
Let z be 3958/12 - (3 + 8/(-3)). Which is bigger: z or 331?
331
Let k be (-5429 - 4/(-2))/(21/(-14)). Let n be k/5112 - 6/8. Which is bigger: -1 or n?
n
Let q = 11 - 7. Suppose q*l + 4 = 0, 2*v - 4*l - 4 = v. Suppose v = p + p. Is p <= -3/8?
False
Let o = 5.3 - 0.3. Let j = o - 5.05. Which is greater: 0.3 or j?
0.3
Suppose 0*b - b = -4*s - 15, -2*s = 3*b - 3. Suppose -j - 3 = b. Let i be (-4)/j*(-24)/(-10). Is -2/7 equal to i?
False
Let n = 1/5 + 3/10. Let m be (-4)/420*-4*30/12. Is m equal to n?
False
Let g = 39 + -28. Let b = -9037 - -9035. Is b bigger than g?
False
Let g be -8 + -1 - (6/(-2) - -3). Let k(n) = -n**2 - 7*n - 4. Let r be k(g). Which is smaller: r or -18?
r
Let j be (132/75)/((-17)/(-85)). Let m(i) = -i**3 + 5*i**2 + i + 4. Let x be m(5). Is x at least as big as j?
True
Suppose t = -t + 3*f - 5, 0 = -3*t + 3*f - 6. Which is greater: t or -1/348?
-1/348
Let d be (-45)/12*(-120)/18. Let t = d - 26. Let r be 4/26 - (-350)/(-585). Is r not equal to t?
True
Suppose -4*o - 4 + 0 = 4*c, 5*c + 2 = -2*o. Let l be (c - (4 + -3))*4/(-38). Are l and -2/7 equal?
False
Let w = 205.1 - 205. Are 174/7 and w nonequal?
True
Let d be (-322)/(-77) - (-6)/(-33). Let z be ((-88)/(-60))/1 + d/(-5). Which is greater: -1/50 or z?
z
Let h be (-2)/9 - 5445/(-81). Is 64 bigger than h?
False
Let l = -90 + 448/5. Let i be ((-6)/(-30))/(3/(-18)). Which is smaller: l or i?
i
Let p be 884/(-525) + 0 + -2. Let u = -3/175 - p. Let i be (0 - 7) + 10*1. Is i smaller than u?
True
Suppose -3*p = 7 - 4. Suppose -28 + 7 = 7*d. Is p <= d?
False
Let z(s) = -5*s + 4. Let w be z(-4). Let a = -51 + 37. Let c = a + w. Which is greater: c or 9?
c
Let r(c) = c**2 - 12*c + 12. Let q be r(7). Are 0.1 and q unequal?
True
Suppose -5*d + 8*d = -132. Let p = -70 - d. Are -27 and p non-equal?
True
Let w be (2/(-6))/(45/(-783)) - 6. Is 176 less than w?
False
Suppose -2*a = -a - 1. Let r be 5/10*16/(-356). Is a at least as big as r?
True
Suppose 7*o + 37 - 44 = 0. Let r be (4/32)/((-25)/12). Which is smaller: o or r?
r
Let f(t) = -7*t + 24. Let n be f(6). Let q(l) = -l**2 - 19*l - 35. Let p be q(n). Is p smaller than -17?
False
Let b = 0 - -4. Let l be (b/(-5))/((-70)/(-100)). Let i be (-1 + (-8)/2 - -4)/1. Is l not equal to i?
True
Let g be (2 - 484/6)/((-1)/(-3)). Is 0.2 bigger than g?
True
Let a be 22/4 - (-3)/(-2). Let r be (45/(-30))/(15/a). Are r and 10 unequal?
True
Let p be (-2)/5 - 156/(-65). Suppose -p*w = -7*w. Let s be ((-4)/14)/((-18)/(-14)). Which is smaller: w or s?
s
Suppose 3*y = 11 - 5. Suppose 2 = -y*n - 5*w + 10, -3*w = 5*n - 20. Is 30/7 equal to n?
False
Let f = 38 + 19. Suppose -t - t - 143 = 5*u, -2*u - t - f = 0. Is -30 < u?
True
Suppose q + 2*b - 12 = -6, 2*b = q + 6. Is -4/277 at most q?
True
Let f = 9 - 11. Let y = f - -9. Let u(t) = -t + 7. Let v be u(y). Which is smaller: v or -14?
-14
Let v = -105 + 60. Let q = -124/3 - v. Which is smaller: 4 or q?
q
Let r be 2/5 - 3762/30. Which is smaller: -124 or r?
r
Let i = 202 - 201.8. Let w = -7/306 - 17275/612. Let v = w - -28. Is v greater than or equal to i?
False
Let r = 3.43 + -3.33. Which is smaller: 158 or r?
r
Let y = -15.5 + 15.6. Let i be (-32)/24*6/(-44). Which is smaller: i or y?
y
Let x(p) = p - 1. Let t(f) = -4*f - 9. Let v(z) = t(z) + 6*x(z). Let o be v(8). Let m be -2 + -1 - (o + -5). Are m and 1 nonequal?
False
Suppose 0 = -5*n + 7*n + 8. Let b(z) = 10*z + 41. Let h be b(n). Which is smaller: h or 1/59?
1/59
Suppose -4*j - 5*o = 38, 5*o - 9 = 5*j + 16. Let l be (-4)/14 + (-2)/j. Suppose -2 = -2*d - l. Are d and -4/9 equal?
False
Let o = -67 - -45. Let n = -18 - o. Is n < 3?
False
Let x = 8 + -5. Suppose -2*b + d = -8, 6 = x*b - 4*d - 6. Suppose 5*l + 6 = -3*y, -4*y + 0*y + 3 = 3*l. Is b <= y?
False
Let t = 1097.36 + -1091. Which is smaller: 1/4 or t?
1/4
Let p be (-6)/(-4) + 0 - 4147/2762. Which is bigger: 0 or p?
0
Let y = 486 - 310. Let h = -1230/7 + y. Let i = 4 - 3. Is i equal to h?
False
Let o = -106.3 + 106.411. Which is greater: o or -7?
o
Let c = -335 + 1661/5. Is c equal to -3?
False
Suppose 22*p = 1177 - 143. Which is smaller: 236/5 or p?
p
Let v be 1/(-1) - (-64)/60. Suppose -2*u + 4*k + 2 = 0, u + 0*k = -k + 7. Let p(y) = y**3 - 5*y**2 + y - 4. Let x be p(u). Is x less than v?
False
Let x(h) = -h**3 - 2*h**2 + h + 2. Let r be x(-2). Let u be (-8 - 34/(-5))/(2 + 0). Which is smaller: r or u?
u
Suppose 44 + 88 = 2*k + 5*h, 3*h - 207 = -3*k. Is k at least 71?
True
Suppose 0*j - 4*j + 112 = 0. Let a = j + -58. Do -31 and a have the same value?
False
Let p be (2 - 1)/(2/(-2)). Let n = -2390/33 + -68/3. Let o = -95 - n. Which is smaller: o or p?
p
Let j(p) = -p**3 + 4*p**2 - 2*p - 3. Let h be j(3). Suppose 4*c + 3*n - 8 = h, -4*c + 0*n = 5*n. Suppose -c*i = -2*i. Is i greater than or equal to -2/9?
True
Suppose -27*g - 348 = 7725. Is 0.1 != g?
True
Let t = 46.04 + -49. Let z = t - -2.9. Which is greater: z or -0.2?
z
Suppose 2*n + 6 = o + 52, -2*n = -5*o - 190. Which is bigger: o or 1?
1
Let n = 1195 + -8363/7. Let u(v) be the first derivative of v**4/4 - v**3 - 5*v**2/2 + 4*v - 1. Let j be u(4). Which is greater: j or n?
n
Let c = 0.359 - -343.641. Is c smaller than 3?
False
Let y = -3 - 10. Let d = -18 - y. Let w = -0.056 + -0.144. Which is greater: w or d?
w
Let b be ((-3)/2)/((-9)/198). Let i be (-237)/b + 4 - -3. Is 1 equal to i?
False
Let q be (-615)/(-75) + (24/(-10))/(-3). Let j(c) = c**2 - 8*c - 8. Let h be j(q). Let u(w) = -w**3 - 7*w**2 - 7*w - 9. Let p be u(-6). Are h and p unequal?
True
Suppose 0 = 2*i - 397 + 2049. Let p = i + 27256/33. Which is bigger: p or -1/4?
p
Let s(v) = v**2 - 3*v - 5. Let j be s(-1). Which is smaller: j or -2/453?
j
Let i = 7 + -4. Suppose w = 3*s, 5*s = i*w - 2 + 6. Let r be ((-20)/(-12))/(-5)*s. Does -1 = r?
False
Let z = 2393 - 2380. Is z less than or equal to 13?
True
Let i be 6/51*(-5 - 21/(-6)). Do i and 2/17 have the same value?
False
Let a = 7 + -5. Suppose -5*r + a = -3. Suppose -o + 10 = 4*c, -3*o = -2*c - o. Which is smaller: r or c?
r
Let k be 5 + 234/(-42) + (-9)/21. Which is greater: 2/65 or k?
2/65
Suppose r + r = 5*d + 24, d = 4*r - 30. Let a = 18 + -12. Is r != a?
True
Let f = -357 + 321. Does -46 = f?
False
Let r = 3434 + -3435. Let l = -133/85 + 9/5. Which is bigger: l or r?
l
Suppose -39*g + 41*g + 12 = 0. Suppose 2*t = 5*x - 34, 3*t + 2*x + x + 9 = 0. Is g < t?
False
Suppose -37 = -13*z - 24. Is -1/481 < z?
True
Let g(o) = -o**3 + o + 6. Let k be g(0). Let j be ((-4)/(-20))/((-3)/k). Is j smaller than 1?
True
Suppose -5*o = -10*o. Let p be -3 + (-2 - 7) - 2. Let h = p + 11. Is h bigger than o?
False
Let t = -834.9 - -835. Which is bigger: t or -0.109?
t
Let o(p) = 2*p - 10. Let a be o(-3). Let z = -30 - a. Let h be z/(-21)*66/(-4). Which is smaller: h or -12?
-12
Let a be (-2)/(-3) + -5 + (-1380)/(-306). Which is smaller: a or 2/3?
a
Let m be (-2)/180*-5*(-4)/5. Is 4 less than m?
False
Suppose 210*y - 206*y - 2*z = 634, 4*y + 3*z = 609. Is y greate