 5*b = -57. Which is bigger: p or u?
p
Let i = -3100 - -210795/68. Is -1 equal to i?
False
Let i = 18784/11 - 12258/7. Let p = -532/11 - i. Which is bigger: -1 or p?
-1
Suppose -4*j - 120 = -4*o, -o + 3*o = 5*j + 60. Let w be ((-4)/7)/(o/(-75)). Suppose -c + 5 = 3*f, -f + 25 = 5*c - 0. Is f >= w?
False
Suppose 0 = 3*m + 481 + 80. Is -188 not equal to m?
True
Let z(c) = c**2 - 7*c + 20. Let i(b) = 5*b**2 - 28*b + 80. Let n(m) = -2*i(m) + 9*z(m). Let d be n(-9). Let q be 2/(-9) - 76/(-99). Is q < d?
True
Suppose 0 = -6*w - 537 - 237. Which is smaller: w or -131?
-131
Let w = -145 + 228. Which is smaller: 85 or w?
w
Let b = -1319 - -1375. Is 56 > b?
False
Let b = -42 + 44. Let o be ((-30)/(-12))/(3/b - 1). Which is bigger: o or 7?
7
Suppose -4*w + 2 = -w + 2*x, -3*x + 14 = -w. Let a be -5*(w + (-44)/(-10)). Suppose -16*d = 149 + 43. Is a greater than d?
False
Let q = -0.04 - -9.04. Let y = 2.45 - 8.45. Is q bigger than y?
True
Let k(z) = -2*z**3 - 16*z**2 - 8*z - 9. Let d be k(-8). Let i = -33 + 88. Is i < d?
False
Let c = 218.2 + -56.2. Which is bigger: c or 0.2?
c
Let x be (1 + 7/(-8))/(-1). Let b be 18/14 + (-7 - (1 - 7)). Which is smaller: b or x?
x
Suppose 0 = 4*l - 4*o + 208, 6*l - 3*o + 264 = l. Let y = 52 + l. Is y != -8/7?
True
Let p be -3*(-4)/18*6. Let c be ((-3)/8)/((-54)/p). Which is smaller: c or -1?
-1
Let m = 1.0833 - 0.0833. Is 26 less than or equal to m?
False
Let i = -1 - -9. Let x be 75/20 - 6/i. Let f = 1.25 - 1.35. Which is greater: x or f?
x
Let y(c) = -73*c - 5. Let g be y(-2). Suppose -240 = -5*j - s, 5*j - 4*s - g - 99 = 0. Let m be ((-3)/(-12))/(15/j). Which is greater: m or 2?
2
Let d(v) = -12*v**3 + 3*v**2 + 4*v - 2. Let l be d(-2). Does l = 97?
False
Suppose -5*s - 15 = u, 3*s = -2*u - 0*s - 58. Let z = u + 30. Which is smaller: -7 or z?
-7
Let z(j) = 92*j**3 - 179*j**3 + 88*j**3 - 7 - 4*j**2 + 5*j. Let y be z(3). Which is greater: 1/77 or y?
1/77
Let s(y) = y**2 + 40*y - 1900. Let k be s(28). Let b = 1.99 - -0.01. Is k less than or equal to b?
False
Let g(y) be the second derivative of -1/2*y**3 + 6*y + 1/20*y**5 - y**2 + 1/4*y**4 + 0. Let h be g(-4). Is -4 >= h?
True
Let j = 682 - 25236/37. Suppose 6*z - 2*z = 4*l - 16, 0 = 5*l - 4*z - 15. Which is smaller: j or l?
l
Let s = 6 - 6.03. Let j = -13.23 - -13. Let w = s - j. Is w less than or equal to 0.3?
True
Suppose 0 = -2*k + 3*l - 4, 0*k + 4*l - 4 = 3*k. Let v be 28/18 - k/18. Let c = 1533 - 1532. Which is smaller: v or c?
c
Suppose -1773 = 5*y + 2*s, -5*s = -2*s - 3. Which is smaller: -354 or y?
y
Let c(o) = 3*o**2 + 8*o + 1. Let b be c(-6). Let v = 64 - b. Which is greater: v or 5?
5
Let x = 15 + -10. Suppose -2*o + 3*s + 2 = -7, -s = 4*o + 3. Let i = o - 0. Is i greater than x?
False
Let q be 0/(2/6*3). Let z = 42 + -37.8. Let o = z + -4. Which is smaller: q or o?
q
Let a = 5767 - 5766.3. Let l be ((-18)/(-40))/((-12)/10). Which is greater: l or a?
a
Let l be (91/26 - (-2)/(-4))/(-1). Which is smaller: l or -7?
-7
Let z = -9353 + 4423971/473. Do z and 0 have the same value?
False
Let n = -21.888 - -21.908. Let w = 80.1 - 77. Let y = w - 3. Is y smaller than n?
False
Let f = -51 + 51. Suppose f = -s - w + 8, -2*s = -0*w - w - 1. Which is smaller: 5 or s?
s
Suppose -19*l + 2059 = -2*f - 16*l, -5*f = 2*l + 5138. Are f and -1027 non-equal?
True
Let w be (-10)/(150/105) + (-7)/(-1). Which is greater: 1/57 or w?
1/57
Let w = 1/2649 - 113929/58278. Let v = 28/11 - w. Let o(m) = m**2 - m + 5. Let h be o(0). Are v and h non-equal?
True
Let b = -1085/78 - -118/13. Is b greater than or equal to -5?
True
Let o(u) = -u**3 + 4*u**2 - 9*u + 9. Let d be o(3). Let v = -2 - d. Is v not equal to -4?
True
Suppose 4*c = -3*b + 1699, 8*b = c + 3*b - 419. Let u be -4 + c/52 + -4. Is 1 at most as big as u?
False
Let j be 7/((-147)/36) + (-14)/49. Let c = 707 + -1313. Let o = -4250/7 - c. Are j and o unequal?
True
Let x = 85 - 66. Suppose 0 = -8*u - 11 + x. Which is bigger: u or 9/7?
9/7
Let f = -83 - -150. Let d = f - 70. Which is smaller: d or 2?
d
Let s(d) = -9*d. Let t be s(2). Which is bigger: t or -19?
t
Let x be (-1*4/(-10))/(76/40). Which is greater: -1 or x?
x
Let g be -1*(-4 + 2) - -2. Let d be g + 4/(-18) + 1288/(-360). Which is smaller: d or 1?
d
Let w be (-34)/(-11) + 15/(-5). Let u = 2161/4 - 309207/572. Let y = w + u. Is -1 less than or equal to y?
True
Suppose -u + 3*r - 87 = -0*r, 0 = 5*u - 3*r + 387. Let c(b) = 4*b - 120. Let j be c(11). Which is bigger: u or j?
u
Let h be (-9)/(-18)*55/190. Is h equal to 1?
False
Let m = 15 - 36. Let y be (7 + -29)/(1/(-1)). Let q = y + m. Do q and 2/83 have the same value?
False
Suppose -5*s + 38 = -3*s. Suppose k - 49 = s. Suppose 2*w = -2*f + 24, 3*w + 2 - k = 3*f. Do w and 17 have the same value?
True
Let o = 1312 - 3516. Let q = -41888/19 - o. Is -1 less than or equal to q?
True
Suppose -76 = 2*m + 2*a - 5*a, -172 = 4*m - a. Which is smaller: m or -312/7?
-312/7
Let v be 345/(-18)*(-2 - -4). Is v less than or equal to 1?
True
Suppose -3 = 5*l - j, 0 = -4*l + 5*j + 4 + 2. Let b(m) = 2*m - 14. Let z be b(7). Let p be (z - -2) + 14/(-5). Are p and l equal?
False
Suppose -k - 3*n = -15, 4*n = -k + 11 + 7. Suppose -p - k = 5*w - 18, 0 = -3*w - 3*p. Which is smaller: w or 16/9?
16/9
Let m = -7 - -3. Let g(k) = -2*k**3 - 5*k**2 + 3*k - 3. Let f be g(m). Let i be 11/f - (-2)/(-6). Is 1/6 equal to i?
False
Let g = 920 + -1007. Which is bigger: -86 or g?
-86
Let n(r) = -r**3 + 4*r**2 + r + 5. Let c be n(4). Let f be c/6*(-8)/(-6). Suppose -2 = -f*i - 2*l, -6*i + 2*l - 7 = -3*i. Do i and -2 have different values?
True
Suppose 0 = 4*a - 15 - 5. Suppose 5*v = -4*b - 11, 9*v + 3 = 4*v - 2*b. Let q = a + v. Which is greater: 7 or q?
7
Let z(v) = v**3 + 7*v**2 + v + 10. Let y be z(-7). Suppose -y*s = 2 + 49. Let u = 1069/63 + s. Which is smaller: u or 1?
u
Suppose -3111 = -8*t + 25*t. Which is smaller: -181 or t?
t
Suppose 3 = i + 5. Let y be (i + 11/4)/(4/(-16)). Is y greater than -2?
False
Suppose 0 = -3*j - 6, -2*f - 3*j = -5*j - 420. Which is smaller: f or 206?
206
Let u be ((-8)/(-6))/(1580/2946). Let f = 203653/79 - 2578. Let o = f - u. Which is smaller: o or -4?
-4
Let k be (-16)/(-6)*(-183)/(-2318). Is -1 at most as big as k?
True
Let a = -32 - -28. Do 12 and a have the same value?
False
Let w be (-6)/10 - (-492)/420. Which is smaller: w or -2/3?
-2/3
Let b(t) = -t**3 - 3*t**2 - 4*t - 10. Let c be b(-4). Let d(h) = -h**2 + 23*h - 23. Let p be d(c). Which is greater: p or 1/43?
1/43
Let m = -299 + 297.4. Which is smaller: -3/4 or m?
m
Let l = 811.2 + -807. Do 0.6 and l have the same value?
False
Let k be (1/6 - 130/(-12)) + 1. Let v(x) = x**3 - 14*x**2 + 23*x + 12. Let y be v(k). Let r = 29/8 - 4. Which is smaller: y or r?
r
Let k(f) = f - 7. Let s be 132/(-8)*(-4)/6. Let c be k(s). Suppose c*x + 4*o - 2*o = 12, -2*x = -3*o + 10. Is 1/12 <= x?
True
Suppose -h = 2*y, -4*h + 6*y - y + 65 = 0. Let c = 20931/2392 + -1/2392. Is h >= c?
True
Let y(n) be the second derivative of n**3/3 + n**2 + 3*n. Let z be y(0). Suppose 13 + 1 = z*c. Are c and 7 non-equal?
False
Let c = -48.8 + 48.82. Is c >= -1/3?
True
Suppose 4*i = 5*r + 26, 0*i + 2*i - 2 = -3*r. Suppose -i*q - 14 = -3*h, 0 = 2*h - 5*h + 6. Let s be 1*(3 - -1) - 9. Does s = q?
False
Let p = 305/6 + -313/3. Let n = 54 + p. Which is smaller: n or -39?
-39
Let h = -1776 + 1698. Which is greater: h or -82?
h
Let r be (-1 - (8 + -11))*16*-1. Which is smaller: -33 or r?
-33
Let f(o) = -2*o**2 + 3*o - 2. Let c be f(4). Let b be c/(-55) + (-16576)/90. Let z = b - -184. Which is bigger: 1 or z?
1
Suppose 0 = 2*x + 158 - 1458. Let u be 10/3*60/x. Let v(l) = -l**2 - 10*l - 9. Let h be v(-9). Which is bigger: u or h?
u
Let a = -1.0366 + 0.0186. Let s = a + 0.018. Is -6 greater than s?
False
Let n(a) = a**2 - 37*a + 288. Let b be n(26). Is b bigger than 56/47?
True
Let t = 15.769 - 1.079. Let l = -0.31 - t. Let y = -29 - l. Is y smaller than 1?
True
Let f = 12.61 - 12. Let m = 277 + -277. Which is smaller: m or f?
m
Suppose 6*l + 2 = -4. Let o = 34 + -9. Let n be (o/(-30))/((-2)/(-3)). Is n < l?
True
Suppose -u + c + 9 = 0, -2*u + c + 7 = -6. Let w be (-1)/u + 3/12. Let g be w + 60/31 + -2. Which is greater: g or 0?
0
Let s = 44 - 13. Suppose -3*d - 3 = 5*y, y - 4*d = -4*y - s. Let j be (y/(-56))/(