ose f + 77 = -7*o. Do -35 and o have different values?
False
Let c(j) = j**3 - 6*j**2 + 5*j - 4. Suppose d - 2*d - 5*g = -25, 11 = -d + 4*g. Let x be c(d). Let a be ((-6)/9)/(x/(-6)). Which is greater: a or -12/5?
a
Let o(n) = -3*n + 0*n + 2*n + 7. Let j(d) = -d**2 - 7*d - 1. Let i be j(-5). Let y be o(i). Is -8 >= y?
False
Suppose 5*o - 4*o - 6 = 0. Let w = o - 10. Let n be w/(-3)*-1 - -2. Which is smaller: n or -8?
-8
Suppose -5*l + 20 = -0. Suppose -11 = -t - l*f, -t + 9 = 5*f - 3*f. Let x be t/(1 + (2 - 2)). Which is greater: x or 8?
8
Suppose 14 = -3*w + 29. Are 5 and w equal?
True
Suppose -4*f + 0*f + 100 = 3*c, -c = f - 24. Let r = -2622 - -2650. Do f and r have the same value?
True
Let f(u) = -u**3 + 9*u**2 - u + 6. Let y be f(9). Let j be 17 + (3 + y - -2). Is j > 19?
False
Suppose -v + 9*v - 80 = 0. Let j be (-648)/(-651) + v/(-10). Is -1 < j?
True
Let r be (58 - 59)*-1*(2 + -1). Let f be (-4)/9*(0 - -1). Which is smaller: f or r?
f
Let b(m) = m**3 + m + 9. Let c be b(0). Let g = -6 + c. Suppose 4 = k + g. Is k <= 0?
False
Let r = 24 + -25. Is r smaller than 277?
True
Suppose t - 14 - 5 = 0. Suppose 0 = -4*q - l + t, 2*q + 0*l - 14 = -2*l. Which is smaller: q or 2?
2
Let a be 3 - (-4 + 4 + 4) - 5. Let t(k) = -k. Let r be t(5). Are r and a equal?
False
Let p = 20 + -14. Let y be (-121)/125*p/12. Let g = y + -2/125. Which is smaller: g or -1?
-1
Let b be (1 - 2)*0 - -4. Let p = 1423 + -7101/5. Which is smaller: p or b?
p
Let y(j) = -14 + 6*j - 23 - 16. Let o be y(0). Is -53 < o?
False
Let y = 4 - 7. Let l = 94 + -290/3. Is y smaller than l?
True
Let m = 213 - 210.2. Which is greater: m or -0.06?
m
Let p = 274 + -109. Suppose 3*q + 2*q - 145 = -3*b, -5*q + b = -p. Do 32 and q have the same value?
True
Let l = 0.2092 - 0.2092. Which is greater: 145 or l?
145
Let i be (-11)/(165/(-9)) - 66/60. Which is smaller: -52.4 or i?
-52.4
Suppose 121 = 13*p - 659. Let a be -5*16/12*(-2)/p. Which is smaller: 4 or a?
a
Let i = -1/4 + -1/12. Suppose k + j = -1 - 0, k - 2 = 2*j. Suppose k*o = 5*o + 20. Which is greater: o or i?
i
Let b be 9/(-36) + (-118)/8. Is 0 > b?
True
Let a be ((-2)/38)/(1/(-2)). Let q = 0 - -0.07. Let c = q - 0.27. Which is bigger: c or a?
a
Let h be ((-4)/(-1068))/(12/(-396)). Is h smaller than 1?
True
Let y(p) = -6*p - 3 + 4 + 2*p - 3*p. Suppose -d - 4*z - 1 = -9*z, -3*d - 5*z - 3 = 0. Let f be y(d). Is f equal to 9?
False
Let v = 121 + -120.986. Let f = v - 0.024. Does f = 8?
False
Let t(f) = -2*f**3 + 64*f**2 - 62*f - 1. Let o be t(31). Which is bigger: -3/472 or o?
-3/472
Let a = -3.1 + 1.4. Let k = a - -1.8. Let i = -239 + 2143/9. Does i = k?
False
Let u = -1.5 + 1.6. Is u < 0.45?
True
Suppose -q + i = 2, -2*i - i + 21 = 2*q. Suppose 5*n = q*n. Let w = n - -1. Which is smaller: 6/11 or w?
6/11
Let u be 13485/1686 + 56/(-7). Are 1 and u equal?
False
Let k = -31.8 - -32. Let h be (4/(-12))/((-33)/54). Which is smaller: h or k?
k
Let l(j) = 2*j**3 + 2*j**2 + j - 3. Let k(b) = -b**3 - b**2 + 1. Let i(p) = 7*k(p) + 3*l(p). Let a be i(1). Let g = 0 + 0. Which is smaller: g or a?
a
Let g = 93 + -44. Let i = g + -23. Is i less than 26?
False
Let w(u) = -u**2 + 5*u + 6. Let v(o) be the first derivative of -o**3/3 + 3*o**2 + 13*o - 1. Let c be v(7). Let l be w(c). Which is smaller: l or 1/17?
l
Let x = -497.7 - -497. Which is smaller: x or -0.18?
x
Suppose -v + 3*t = -168, -3*t + 251 + 481 = 4*v. Is v at most 180?
True
Let h be ((6 - 14) + 10)*(-46)/10. Is -8 > h?
True
Let s = -13135/7 + 1870. Let w be (4 + 115/(-10))*(5/3 - 1). Is s <= w?
True
Suppose -4*t + 333 = 3*z - 57, 5*z = 5*t - 470. Suppose 8*l = t + 16. Let s be 75/4*2/3. Is s <= l?
True
Let a be (52/(-12) + -3)/((-8)/(-12)). Let h = a - -35. Which is greater: 23 or h?
h
Let i = 12 - -9. Suppose -29*p = -30*p - i. Which is bigger: -22 or p?
p
Let y = -233 - -1627/7. Let o be (-2 - 5/(-1)) + -3. Is o <= y?
False
Let r = 38 - 44. Let t(d) = d**2 + 6*d - 11. Let i be t(r). Are i and -5 non-equal?
True
Let m = 173 + -347. Which is greater: -173 or m?
-173
Let b be (-15)/30 + 1947/(-12) + -1. Do b and -164 have different values?
True
Suppose 3*q - 68 = 7*q. Let r = 33/2 + q. Suppose 0 = -3*l - 5*f - 3, -14 + 7 = -l + f. Which is smaller: l or r?
r
Let r = 22 + -37. Suppose -15*m - 5 = -10*m. Which is greater: m or r?
m
Let m(v) = 16*v + 17*v - 28*v - 28. Let u be m(6). Is u != 5/4?
True
Let j = 308 + -372. Is -1 > j?
True
Let f(d) = 7*d**3 + 2*d**2 - 1. Let r be f(1). Let z be (r/240)/(2/(-9)). Which is smaller: 0 or z?
z
Let g be ((-2538)/(-36))/(0 - (-6)/4). Which is smaller: g or 410/9?
410/9
Let r(m) = m**2 + 7*m + 5. Let n be r(6). Suppose -55*v - 46*v = 224*v - 26975. Is v < n?
False
Let k = 195 + 95. Which is greater: k or 0.1?
k
Let c be (12/(-8))/(3/(-4)). Let u(a) = a**2 - 3*a + 3. Let x be u(c). Let f be (x - 7)/(-3)*-5. Is f smaller than -11?
False
Let j = 35 - 33.43. Let m = 0.37 - j. Which is greater: m or -1?
-1
Suppose 55 = -3*y - 14. Is y less than -27?
False
Let y = -180 + 181. Are 5.5 and y equal?
False
Suppose 4*u + 36 + 0 = 0. Let j = u + 13. Is 5/2 at least j?
False
Let p be (-13 - 2)*(-6)/20. Let t = p + -57/14. Which is bigger: 1 or t?
1
Let f be (3/12)/(220/(-5)). Is f greater than 1?
False
Let p(v) = -v**3 + 9*v**2 - 7*v + 7. Let g be p(8). Suppose s = 3*c - 2*s - 51, -4*c - 3*s = -54. Is c less than or equal to g?
True
Let d = 5 + -1. Suppose d*x = -2*k - 2, k - 7 = 4*x + 10. Suppose 30 = -5*f + 5*n, -4*f - n - k = 9. Which is bigger: -3 or f?
-3
Suppose -6*o = -4*o + w, 2*o + 2*w + 2 = 0. Which is smaller: o or 21?
o
Let t be (2 + 0)/(34/51). Suppose -2*m = -4*k - 30, 0 = 8*m - t*m - 15. Is k smaller than -5?
True
Let w be 741/(-747)*-3 - 3. Suppose -5*d + 5 = -2*s - 0*s, 3*d - 17 = 4*s. Is d at most as big as w?
True
Let l = -826 + 827.5. Which is smaller: l or -6/7?
-6/7
Suppose -5*h - 3*k = 2, 2 = -2*h + 5*h + k. Let a = 22 + -52. Let m = -28 - a. Are h and m unequal?
False
Suppose 5*a + a - 102 = 0. Let h = a + -18. Let n = -233/12 - -58/3. Is h at most n?
True
Let d(s) be the second derivative of -s**6/180 - s**5/12 - 2*s**4/3 + s. Let j(p) be the third derivative of d(p). Let o be j(-7). Which is smaller: o or 0.1?
0.1
Suppose -2*o - 4*s + 916 + 1026 = 0, -s = 4*o - 3884. Is 970 less than o?
True
Let x(y) = y + 9. Let m be x(-9). Let d = -165 + 1157/7. Is d > m?
True
Let g = -4922 - -4916. Let z = -269/10 - -102/5. Are g and z equal?
False
Let q be (18/9)/(7/(-4) - -2). Suppose -10*x - 104 = -q*x. Does -53 = x?
False
Let k(x) = x + 15. Let m be k(-12). Let b be (m + -9)/((-2)/(-3)). Let q = b + 5. Is -7 at least as big as q?
False
Let p(y) = 4*y - 5. Let z be p(6). Let b = -13 + z. Suppose 11*u + b = 5*u. Which is smaller: 1 or u?
u
Let c = 21 + -20. Suppose 2*s - 2*q - c = -q, -2*s - 14 = 2*q. Which is smaller: s or -0.13?
s
Let x = -2/373 - -5228/1119. Let m = 2283 - 2277. Which is smaller: m or x?
x
Suppose -42 = 4*u - 2*u. Let n be (24/140)/(3/u). Is -3 > n?
False
Let v be 11*-1 + 28/7. Let f be (v/6)/(1/(-2)). Let y = 5/9 - f. Which is greater: -1 or y?
-1
Let g be 460/(7/(385/242)). Is 105 greater than g?
True
Let t(r) be the second derivative of -r**4/12 + 13*r**3/6 + 3*r**2 - 8*r. Let n be t(13). Suppose 0 = -3*c - 9, -2*p + n = 5*c - 11. Is 0.1 != p?
True
Let j = -28 + 33. Let k = 6 - j. Which is smaller: -2/59 or k?
-2/59
Suppose -t - 28 = 3*v, 16*t - 12*t = -5*v - 84. Which is smaller: 3 or t?
t
Suppose -8*c - 1 = -9*c. Suppose 5*p + 10 = 0, 5*k + 3*p + 6 = -0. Let o(s) = -s - 1. Let i be o(k). Which is smaller: i or c?
i
Let o = 32 + -12. Suppose 0 = -d + k - 5*k - 3, 2*d - 5*k = o. Is d greater than or equal to 3?
True
Suppose -8*n + 3*n = 15. Let v = -8 - n. Suppose -g - 5 = 3*c - 5*g, -3*c = -3*g + 6. Which is smaller: c or v?
v
Let s = 2623/2 - 1312. Are -18/13 and s nonequal?
True
Let t be (-6)/(-18) - 104/(-12). Which is smaller: 38/5 or t?
38/5
Let m = -8 - -8. Let r = -1/40 - -49/360. Which is smaller: m or r?
m
Let x = 100399/3 - 33083. Which is greater: x or 384?
384
Let k(m) = -2*m - 13. Let d be k(-7). Suppose 14*l - d = 15*l. Which is smaller: -13 or l?
-13
Suppose -6*h - 88 = -8*h. Let l = h - 487/11. Suppose -5*r = 5, 20 = -2*s + 5*r + 27. Which is smaller: s or l?
l
Suppose -28 - 8 = u. Let l = 53 + u. Is l <= 18