5 - j = 4*d, 3*d = -4*i - 35. Let b be 4/2 + i/15. Does 1 = b?
False
Suppose 0*w - 2*w + 4*f = 50, 108 = -3*w - 5*f. Let g = 25 + w. Suppose s + 2*d + 5 = -3*d, d + 10 = -2*s. Which is smaller: s or g?
g
Suppose -5*u - 2*u - 7 = 0. Is 1/150 greater than u?
True
Let i(j) = j**3 - 4*j**2 + j + 1. Let r be i(4). Suppose -43 = r*w - 373. Suppose 0 = a + f - 12, -3*a + 5*f = 2*f - w. Is a at most as big as 18?
True
Let v(w) = -8*w + 21. Let c(x) = 3*x - 7. Let f(o) = 11*c(o) + 4*v(o). Let i be f(-5). Which is greater: i or 14?
14
Let i = 8 + -5. Suppose -5*v = -3*v - 8. Let d be v/(-18) - (-40)/18. Which is smaller: d or i?
d
Suppose -924*d = -921*d - 156. Is 43 greater than d?
False
Let a = -13 - 0. Suppose 0 = n + 2, 4*c - 560 = -2*n + 4*n. Suppose -24*o + c = 475. Which is greater: o or a?
a
Suppose 0 = -2*g + 4*d + 8, 57 - 12 = 5*g - 5*d. Let y = -30 + 44. Do g and y have different values?
False
Let p = -7/44 - 1/11. Let o(b) = 114*b + 2961. Let t be o(-26). Which is greater: t or p?
p
Let j = 35 + -36. Let t(g) = -2*g**3 - g**2 - 2*g - 1. Let b be t(j). Which is greater: b or 1?
b
Let z = -0.4052 + 0.0052. Which is smaller: -42 or z?
-42
Let z = -1800 - -1801. Which is greater: z or 12/13?
z
Let c(z) = -2*z**2 + 74*z - 86. Let v be c(36). Is -6 >= v?
True
Let c = 120 - 240. Is -120 <= c?
True
Suppose b - 4 = -22. Let x be 38/6 - 12/b. Suppose -13 = 4*v - 5*c + x, 5*c = 2*v + 20. Which is smaller: v or 1?
v
Let g be (-8)/28 + (-9)/(-7). Let o be (0 + -1)*(g + 2). Is o > -18/11?
False
Let l = -3.0312 + 0.0312. Is 1/54 at least l?
True
Let n(j) = -j**3 - 2*j**2 + 5*j + 5. Let w be n(-4). Let l = w + -14. Let p be (l - 7)/4 - -1. Which is greater: p or -10?
p
Suppose -3*p - 2*k = -116 - 14, 5*p + 4*k = 216. Suppose -2*u - 26 = 2*m, p = -3*m - 0*u + 2*u. Let t = -5 + -9. Is m bigger than t?
False
Suppose 2*p - 2 = 0, -4*s + 3*p = -2*s + 7. Let q be (-2)/(1 + s - 1). Is q at most as big as 1?
True
Let j be (8 - (-120)/(-15))*2/(-4). Is j greater than or equal to -107/7?
True
Let z = 1586.8 + -1585.8. Let h = 0.41 + 24.59. Let x = h + -37. Is x less than z?
True
Let x(t) = -t**3 - 4*t**2 - 2*t - 4. Let z be x(-3). Let v be (49*1)/(z/28). Let j be ((-14)/v)/(1/6). Is j <= 0?
False
Suppose 2*m + 28 = -5*q + 7, -3*m + 3*q = 42. Let j be (5/3)/(m/78). Let b be (3 - (4 + -3))/j. Which is bigger: b or 0.1?
0.1
Let y = -21.6 - -21.7. Let x = 63 + -92. Is y at least as big as x?
True
Suppose 5*p - 8 - 7 = 0. Let s(t) = -t + 12. Let w = 11 + 0. Let j be s(w). Which is smaller: p or j?
j
Let r be ((-3)/15)/((-630)/75). Is 1 smaller than r?
False
Let w(b) = -b**3 - b**2 + 13*b + 18. Let g be w(-4). Let z be (-21)/(-12)*(-8)/(-1). Let s = z - g. Which is smaller: s or -1/29?
-1/29
Suppose 33*f = 516 - 120. Let l(o) = -o**3 + 7*o**2 - 6*o - 6. Let s be l(5). Is f at least s?
False
Let c be (-5 - -3)/(-5*(-8)/60). Which is bigger: c or 77?
77
Let i be 4/(-4)*4/(-4). Let k = 5.09 - 0.09. Let z = -4 + k. Are i and z equal?
True
Let l = 65 + -62. Suppose 5*s + 5 = 5*n - 10, -n + 11 = -5*s. Let m be 1 - (s + (0 - -1)). Is m less than l?
True
Let m = -22.15 + 21. Let h = m - -0.15. Let d be (4/15)/((-2)/10). Is h equal to d?
False
Let c be ((-30)/(-75))/(12/(-15)). Let b be (2/3)/(1/(-3)). Which is smaller: c or b?
b
Let t(v) = 3*v - 6. Let w be t(3). Let j be w + -22 + (1 - 0). Let u be j/21*(-7)/1. Is -2/3 at most as big as u?
True
Let h(c) = -c**3 + 8*c**2 + 6*c. Let q be h(9). Let z be (-287)/9 - 6/q. Let f = 32 + z. Which is bigger: f or -1?
f
Suppose 2*z - 5*z - 2*l - 331 = 0, z - l = -107. Let y = z - -75. Are y and -34 unequal?
False
Suppose 4*a + 24 = 4. Let c be 3 + a + (0 - -5). Suppose n = -c*n - 4. Is 1/5 greater than or equal to n?
True
Let v(r) = r**2 + r. Let k be v(-2). Let m(h) = -2*h - 4. Let c be m(-3). Suppose 5*p - c*p + 3 = -3*j, 5*p = -k*j - 5. Which is greater: j or -1?
j
Suppose -20 = -2*m + 4*u, 3*u + 8 = u. Suppose 9 = m*g + o - 2, -5*g - 4*o + 35 = 0. Suppose 3*y = -y + 3*p - 19, -2*y - 2*p + 8 = 0. Is y greater than g?
False
Let w = 5.2 - 2.2. Let g(i) = i - 8. Let s be g(9). Do s and w have the same value?
False
Let t be (14/(-21))/(2/12). Let y = t - -5. Do 2/29 and y have the same value?
False
Let q = 42.2 + -42. Which is smaller: q or 15?
q
Suppose -60 = l + 4*x, -3*l + 7*l + 4*x = -216. Is -2/9 < l?
False
Suppose 0 = -3*c + c - 66. Let k be 5 - (11 + (-140)/(-5)). Is k > c?
False
Let c(h) = -7*h**2 + 2*h + 2. Let g be -1 - 0/(1 + 3). Let x be c(g). Let k(n) = -n - 8. Let z be k(x). Is z at least -1/6?
False
Let v = -0.0987 - 0.2013. Let w be -1*2/(-2)*-1. Let b be (1 - (-6)/(-4))*w. Is b at least v?
True
Let a = -49 + 61. Let p be (-1)/2*a/(-126). Are 0 and p unequal?
True
Let n(d) = -14*d - 2. Let o be n(-3). Let c be 5/(-4)*16/o. Which is smaller: -26 or c?
-26
Let n = 6 + 8. Let t be (2 - 63/6)/(7/(-14)). Which is greater: t or n?
t
Suppose -3*y + 7 = -y - 5*m, -85 = -5*y - m. Let c = -34 - -49. Which is smaller: c or y?
c
Suppose 18 = -3*d + 6*d + 3*k, 2*k = 4. Suppose -8 = -d*o, -46 - 16 = q - 4*o. Which is greater: -53 or q?
-53
Let p = 563/4110 + -1/274. Suppose -2*v = 2*v + 4. Which is greater: p or v?
p
Let x(i) = i**2 + 3*i + 2. Let r be x(-3). Let t be (-56)/(-30) + (-72)/108. Which is bigger: r or t?
r
Let x = -174 + 213. Which is smaller: x or 0.06?
0.06
Let q = 34 + -35. Is -3/157 <= q?
False
Suppose 3*d = 83 + 37. Let t be d/12*(-18)/(-15). Suppose -3*f = -16 + t. Is f at least 4?
True
Let k = -571 - -761. Which is smaller: k or 189?
189
Let u be (2/6)/((-4)/(-6)). Let q = 11 + -8. Suppose 3*l + 4*i + 7 = -q, 0 = -2*l + 3*i - 1. Which is bigger: u or l?
u
Suppose 4*q = 4*u + 24, -9*u - 12 = 4*q - 4*u. Which is greater: q or -189?
q
Let h = -13 - -19. Let u = h - 3. Let y be 12/(-4) + u + 0. Which is greater: y or 1/3?
1/3
Suppose 0 = -0*a + 2*a + 6*w - 30, 0 = -a + 4*w - 6. Which is bigger: 158/27 or a?
a
Let t = 100 + -55. Let g be ((3/132)/1)/(t/(-240)). Which is smaller: g or -1?
-1
Let c(n) = -n**3 + 4*n**2 + 7*n - 2. Let o be c(5). Suppose -5*m + o*m = 0. Which is bigger: 4/13 or m?
4/13
Suppose 20 = -2*c - 2*c. Let u be ((88/36)/2)/c. Let o = u + -1/5. Is -1 less than or equal to o?
True
Let f = 229.234 + -229. Let a = f + -0.034. Is a smaller than 0.04?
False
Let j be (-6 + 30)/(-3) - (-147)/21. Let f = -2/3 - -52/69. Which is greater: j or f?
f
Let d = -524431/663 + 791. Which is smaller: d or -1?
-1
Let n = 265 - 266. Let b = -1.9 - 0.1. Is b bigger than n?
False
Let h(k) = k**2 + 21*k - 55. Let z be h(-25). Suppose 8 = u - 38. Which is greater: u or z?
u
Let k be ((-5)/1910)/(21/28). Which is smaller: k or -1?
-1
Let l(s) = 1139*s**2 - 2*s - 4. Let d(j) = 1. Let r(g) = -5*d(g) + l(g). Let o be r(4). Let f be (-3740)/o + (-4)/(-18). Which is greater: f or 0?
f
Let u(c) = c**3 + 39*c**2 - 126*c - 1. Let p be u(-42). Is -54/31 < p?
True
Let a be -4 + 1398/(-27) + (-4)/18. Let x = 57 + a. Is -23 at least as big as x?
False
Let v = 11.9 + -2. Let u = -11 - -21. Let h = v - u. Is 1 smaller than h?
False
Let m = -0.09 - -1.09. Let q = -1.7 + -8.7. Let h = 11 + q. Which is smaller: m or h?
h
Let p(x) = 53*x - 1006. Let u be p(19). Suppose 0*a = -3*a. Which is smaller: a or u?
a
Let d = -8.4 + 8.77. Let h = 0.27 - d. Which is smaller: 5 or h?
h
Let u = -3.2 - -1.8. Let t = 1.4 + u. Which is smaller: t or -4.9?
-4.9
Let b = -2/1381 - -45583/6905. Let u(m) be the first derivative of 3*m**2/2 - m + 7. Let x be u(3). Which is smaller: x or b?
b
Let t(u) be the first derivative of u**2/2 + 2*u - 16. Let y be t(-2). Which is smaller: -2 or y?
-2
Suppose -126*a - 12 = -114*a. Which is smaller: a or -26.6?
-26.6
Suppose a - 6 = 2*t + 6*a, -4*t = -5*a + 12. Let v = t - 0. Let g = 0.122 + 0.178. Are v and g unequal?
True
Let k be ((-80)/(-14))/(8/28). Let h be ((1 + 1)/k)/(21/84). Let v = -1 - -0.9. Which is bigger: h or v?
h
Let g = -1.2 - -17.2. Let o = g + -10. Let i = o + -5. Which is smaller: 1.4 or i?
i
Let b be 0/(-2*3 + 4). Suppose -5*y - 2*z + 18 = 2*z, -2*z + 4 = b. Suppose -i + 16 = 3*i - 4*f, -y*f = -5*i + 11. Is i < -4/15?
False
Let g = -19 - -29. Suppose 2*i = 14 + g. Suppose 4*p + i = 4*o, 4*o - 10 = 5*p + 1. Is p greater than or equal to 1/2?
True
Let n = 10 + 1. Let u = 10.95 - n. Let d = 0.021 + -0.121. Is