 4 or c?
4
Let v = 160 - 189. Which is smaller: -148/5 or v?
-148/5
Let d = -1.11 + -96.89. Is d > -1?
False
Let d = -376 - -2616/7. Suppose 0 = 2*o - 13 + 1. Suppose 5*q + 4 = s - 2*s, -q - o = -5*s. Which is bigger: s or d?
s
Suppose 11*n - 486 - 834 = 0. Let k be 86/40 + (-48)/n. Is 0 greater than k?
False
Let d(j) = 2*j - 18. Let y be d(7). Let m(i) = -16*i - 19. Let s(w) = 3*w + 4. Let f(a) = -2*m(a) - 11*s(a). Let x be f(y). Is x less than 0?
True
Let l = 432 - 429. Which is smaller: 31/11 or l?
31/11
Let y be -1 - 1/(-35) - 8/(-20). Let s(p) = p**2 - 1. Let r be s(0). Which is smaller: y or r?
r
Let s = -0.431 - -14.431. Is -22 at least as big as s?
False
Let b = 110 + -179. Which is smaller: -68 or b?
b
Let m(q) = q + 3. Suppose 0 = 4*i - 11 + 3. Let g be m(i). Suppose 5*z - 11 = -4*h, 4*h + 2 = z - g. Which is greater: 2 or h?
2
Let h = -197 + 217. Which is greater: h or 1/19?
h
Let o = -30.7 - -15.7. Which is smaller: o or -1/3?
o
Let g be (-10 + 11)/(3/(-90)*-3). Is g > 0.15?
True
Let n(k) = -k**2 - 17*k - 42. Let x be n(-6). Let g be ((-286)/x)/13 + 8/12. Do g and 0.4 have the same value?
False
Let v(f) = -16*f + 2. Suppose 50*b + 2 = 49*b. Let n be v(b). Which is bigger: 33 or n?
n
Let z = 245.2 + -1.2. Which is greater: z or -1?
z
Let z be ((-2)/3)/((-14)/63). Suppose -3*g = 2*o + 2*o - 123, -z*o = -5*g - 56. Let t be 3/9 - 7/o. Which is greater: 1 or t?
1
Suppose -5*n = d - 4, 3*d - n + 26 = 3*n. Let t = d + 6. Let z be (-5)/25 - (t + 0). Which is greater: -1 or z?
z
Suppose -x = -3*b + 6 - 0, 0 = 2*x - 5*b + 10. Let u = 35 + -20. Let v be 8/21*u/10. Which is smaller: v or x?
x
Let z = -5 - -7. Suppose 0*v + z*v = 44. Suppose 7*k - 3*k - 19 = 3*b, -2*k = -4*b - v. Is k equal to 1/2?
False
Suppose 2*w + 5*w = -2*w. Which is greater: w or 1?
1
Let y(r) = r**2 + 22*r - 1. Let v be y(-22). Which is smaller: -10/109 or v?
v
Let t = 35.8 + -36. Let a = 7.7 + 2.3. Is a != t?
True
Let s be (-1)/3 - (-435)/9. Suppose 5*r - c = 28 + 8, s = 5*r + 2*c. Let n be (r - (-4)/4)/(-1). Which is smaller: -8 or n?
n
Let u(d) = -4*d**3 + 2*d**2 + 2*d + 1. Let p be u(-1). Let q = 117 - 112. Let z be (-3)/5 + q/p. Which is greater: -4/5 or z?
z
Let v = 9.98 - 595.98. Is v < -1/3?
True
Let x be ((-6)/9)/((-4)/(-6)). Let y be (16 + x)*99/27. Are y and 56 unequal?
True
Let t(n) = -n - 1. Let k be t(0). Let o = 5353 + -1183015/221. Is k at most as big as o?
True
Let x = 1 + -4. Let m(o) = -3*o + 2. Let v be m(-3). Suppose -d + 3*c + v = 0, 5*d + 3*c + c + 40 = 0. Are x and d non-equal?
True
Let q be -1 - (2/(-11) - (-210)/(-55)). Are 2 and q unequal?
True
Let p = 17977 - 18112. Suppose 2*b = 4*k + 548, -2*k + 0*k + 4*b - 280 = 0. Is p smaller than k?
False
Let i = -2/1571 - -55087/80121. Is i not equal to 2?
True
Let o(x) = -6*x**2 + 6*x - 8. Let y be o(-5). Which is greater: -187 or y?
-187
Let w = 2563 - 1092. Is w > 1470?
True
Suppose -3*h + 96 = -2*a - 0*h, -222 = 5*a - 3*h. Let f be (-16 - -1)*a/(-35). Is -18 at least f?
True
Let o = -1050 - -51452/49. Let h = o - -12/49. Which is bigger: 0.4 or h?
0.4
Let v be ((-16)/(-20))/((-4)/(-10)). Let z be v*(-2)/16 - 0. Let s = 3 - 3.1. Which is smaller: s or z?
z
Let x(g) = -37*g + 38. Let y be x(1). Which is greater: y or 1/650?
y
Let a(t) = t + 1. Let u be a(-1). Suppose -2*q - 5*l + 89 = -0*l, -2*q + 5*l + 79 = 0. Suppose 3*g + 5*d + 37 = u, 3*d + q = -4*g - 0*d. Does -2/5 = g?
False
Let h(w) be the third derivative of w**5/60 - w**4/12 + 4*w**3/3 - w**2. Let q be h(0). Which is smaller: -1 or q?
-1
Let k = -234 - -10295/44. Which is smaller: 1 or k?
k
Let g(m) = -m**2 + m + 9. Let w be g(4). Let b = w + 5. Let k(j) = -j + 9. Let c be k(8). Which is bigger: c or b?
b
Let a = -2/115 + -801/230. Let n = -15 - -10. Let s = n + 0. Which is smaller: s or a?
s
Suppose 5*t + 40 = -2*h, 32 = -4*t - 5*h - 0. Are t and -8 nonequal?
False
Suppose 97*t = 105*t - 8. Is t != -30/139?
True
Suppose 8 = 2*m - 4*d, -4*m + 4*d = -5 - 11. Suppose -m*y + 6 = -6. Let u be 10/6 - -3 - 3. Which is smaller: y or u?
u
Let z = -55 - -57.7. Let a = z - 2.53. Let m = a - 1.17. Which is smaller: m or -6/5?
-6/5
Suppose 0 = 4*a - 16 + 56. Let b = a + 16. Let p(q) = q**3 - 6*q**2 + q. Let j be p(b). Is 4 > j?
False
Let d = -132835 + 660588461/4973. Let y = d + 1218367/14919. Let t = -81 + y. Which is greater: t or 1/3?
t
Let g be 12/(-21) - (-50536)/98679. Let l = g - -2/381. Let h(c) = c**3 + 7*c**2 + 5*c - 6. Let o be h(-6). Are o and l equal?
False
Let f(n) = n**3 + 10*n**2 - 12*n - 12. Let z = -7 + -4. Let g be f(z). Which is greater: g or -2/5?
-2/5
Let h be 72/6 + (-3171)/266. Let z be 0*2/((-2)/(-1)). Is h at most as big as z?
False
Let i = -76 + 73. Which is smaller: 38 or i?
i
Let l = 0.1 + -1.6. Let j = l + -1.5. Let c = 1 - 1.5. Do j and c have the same value?
False
Suppose 6 = 4*h - 7*h. Let o be (53/(-20))/((-2)/8). Let p = 487/45 - o. Which is bigger: h or p?
p
Suppose 2*q = -0*w + 3*w + 28, 4*q - 50 = 5*w. Suppose 5*d - 53 = 58 - 121. Is d less than or equal to w?
False
Suppose 5*z - z + 5*w + 54 = 0, -4*w = 5*z + 63. Let n = 77 + -154. Let q be 14/n + (-108)/11. Which is smaller: z or q?
z
Suppose -3*o - 38 = 3*u - 11, -o = 2. Let y = -18 - u. Let s be -1*3*(-11)/y. Is -2 bigger than s?
True
Suppose 0 = 3*h - 0 - 9. Suppose 0 = -4*d + h + 1. Let w = -1331 + 9319/7. Is w at least d?
False
Let h be (21/(-42))/(-1 + (-10)/(-12)). Let z = -0.25 - 0.05. Is h at least as big as z?
True
Let f = -603944155/609 - -6926438/7. Let i = f - -2207. Which is greater: 0 or i?
i
Let l = -1985 - -3177. Is -0.1 less than or equal to l?
True
Suppose -7 - 1 = 4*o. Let y(i) = 27*i - 6. Let t be y(o). Let l be ((-2)/(-5))/(6/t). Which is smaller: -6 or l?
-6
Let b = 9354 + -47356/5. Let q = 118 + b. Suppose -3*z = -5*s - 8, z - 6 = -0*z + 5*s. Does q = z?
False
Let s = 353 + -10941/31. Let y = s - 72/155. Is 0 not equal to y?
True
Let g be 9/36 + 3/(-12) + -1. Let x be 0 + (-552)/5 - -2. Let i = x - -108. Is g at most i?
True
Let i be ((-27)/(-3))/(9/(-6)). Let x be ((-2)/(-38))/((-3)/i). Which is smaller: -1 or x?
-1
Suppose 3 = 3*k - 0. Let r be ((-9)/(-24))/(k/28). Let t = r - 32/3. Which is smaller: t or 1?
t
Let c be (-24)/20*(-1)/3. Let d = -230.8 + 232.5. Is c greater than or equal to d?
False
Let k = 45.56 + -45.5. Let i = 0.2 - 0.24. Let s = i - k. Which is greater: s or -0.7?
s
Suppose 35 = -4*k - 3*w, 3*k + 2*w + 20 = k. Let t be 0/2 + k/1060. Do 0 and t have the same value?
False
Let t(w) = w**2. Let x be t(-1). Suppose 2*h = 3*p + 1, 4*p + 26 = -2*h + 20. Let c be (x/5)/(p/12). Which is smaller: -2 or c?
c
Let t = -19.77 + 0.77. Let s = t + 18. Which is smaller: 0.3 or s?
s
Let p = 1.661 - -0.039. Is -1/2 at least as big as p?
False
Let r = 424 - 424. Is -121 < r?
True
Suppose 7*a = 8*a. Let z be 0/(3/(-3)) + a. Let m be 6/(-63) - 0 - z. Which is smaller: 1 or m?
m
Let x = 52 + -12. Let h be 18/x + 3/(-12). Let z = -5202/55 + 472/5. Is z at least h?
False
Let a be (1/(-3))/((-2)/18). Suppose 0 = -h + 2*g - 3, a*h - 7*g = -2*g - 8. Is h not equal to 0?
True
Let h be 2/6*(-16 - (1 - 2)). Let z be (3/(-10))/(0 - h/(-10)). Let a = 1 - 1. Does a = z?
False
Let a = 22 + -24. Let m = 8 + a. Is m > 4?
True
Suppose 0 = -w - w - 2*q + 976, 5*w - 3*q = 2480. Is w equal to 491?
False
Let m = -26 + -5. Let u(t) = -23*t - 192. Let j be u(-7). Is j bigger than m?
False
Let b = -0.0224 - -2.5924. Let q = 0.57 - b. Which is bigger: -35 or q?
q
Let l be 3/(-1 - 0) - -15. Suppose -3*n = 3*o - 21, -2 = -2*n + 4*o + l. Is n equal to 7?
True
Suppose -7 - 5 = -4*o. Let s be (560/4)/(-5) + o. Let h be (0 + 10/s)*1. Is h <= 2?
True
Let b(g) = -2*g**2 - 7*g + 225. Let x be b(9). Let o(j) = -10*j - 1. Let i be o(1). Let m = i + 35/3. Which is bigger: m or x?
m
Suppose -5*s = -3*r - 10, 2*s = -2*r + r + 4. Let x(m) = -3*m + 5. Let i be x(s). Let v(j) = -j**3 - j**2 + j + 2. Let a be v(i). Are 2 and a unequal?
True
Let f(t) be the first derivative of t**2/2 + 2*t + 5. Let o be f(-4). Let w = -13 + 12. Is o at most as big as w?
True
Let c = 15.7 + -0.7. Let r = c + -14.86. Let b = r - 1.14. Is b not equal to -7?
True
Let i be -4 - (-6 + -1 + 3). Let v = 1596 + -116506/73. Which is greater: v or i?
v
Let d be (42/(-70))/((-1 - 1)/(-10)). Which is bigger: 