
j
Let g be -22 - (-3 + 1 - -5). Suppose -5*d + 6 = 2*m + 131, 0 = -2*d + 4*m - 50. Is d greater than g?
False
Let t(z) be the first derivative of -z**3/3 - 3*z**2 + 28*z - 15. Let i be t(-10). Which is smaller: -7 or i?
i
Let g = -99 + 66. Let s = 12.4 + -14.4. Which is greater: g or s?
s
Let l be 11/(-10) - (-3)/(-25)*-5. Let f = 32 - 22. Suppose -3*q + f = 2*q. Which is bigger: l or q?
q
Let a = 16 - 14. Suppose -b + 11 = -3*k, -a*k + 4 = b + 4*b. Let r = -4/337 - -3065/2696. Which is greater: r or b?
b
Let d be (-6)/15 + 49/35. Let n = -6.7 - -7. Which is smaller: n or d?
n
Let u = 9.16 - 9.36. Which is smaller: -9/8 or u?
-9/8
Let s = -83 + 48. Let y = 33 - 69. Which is bigger: y or s?
s
Suppose 930 = 151*t - 156*t. Do -186 and t have different values?
False
Let z be 632/(-80) + 8 + (-51)/366. Is z bigger than 1?
False
Let s = 304 + -359. Which is greater: -281/5 or s?
s
Let k be 2/(-5)*1 + 88/20. Suppose 14 = 3*q - 1. Suppose k*a = 2*i - 14, -q*i - 5 = a + 4. Is -1/9 bigger than i?
True
Let v be (1/(-4))/((-11)/(-16)). Is v greater than 2.3?
False
Let y = 175 + -174.2. Which is smaller: 0.5 or y?
0.5
Suppose 3*j + 203 = -2*r, j - 3*r = 22 - 86. Which is bigger: j or -267/4?
-267/4
Let j = 3 - 8. Suppose -3570*t + 3545*t = 125. Is j greater than t?
False
Let t be -14 + 0 + 1 + -1. Let b = -13 - t. Let x be 2 - b*(3 - 5). Is x smaller than 1?
False
Let g = -263/25 + 53/5. Let i = 168 - 170. Which is greater: g or i?
g
Let j be -1*(1 + 0)*7. Suppose 0 = -10*o + 3*o + 819. Let h = -121 + o. Which is smaller: h or j?
j
Let i = -1/912 - -2767/28272. Let a be (-621)/(-310) + 2/(-1). Let b = i + a. Which is smaller: b or 1?
b
Let g(c) = -c - 5. Let p be g(-10). Suppose -p*r = -0*r - 15. Let d(q) = q**2 - 2*q - 4. Let a be d(4). Is r <= a?
True
Suppose -7*v = -4*v - 12, 1872 = -4*a + 2*v. Which is greater: a or -467?
a
Let a be ((-3)/(3 - 0))/12. Suppose 0 = k + 4 - 3. Let z be (10/(-30))/(k/3). Which is greater: z or a?
z
Let r = 0.53 + 0.27. Let k = r - 1.8. Let h = -11 + 11. Which is bigger: h or k?
h
Let w = -137.64 + 137.7. Is 26 not equal to w?
True
Suppose -41*q + 39*q + 3*p = 41, 90 = -5*q + 5*p. Which is greater: q or 8/9?
8/9
Let f(j) = 26*j - 19. Let w be f(-1). Which is greater: -47 or w?
w
Suppose 2*o - 2*o = 2*o. Suppose 3 = -6*n - 21. Is n less than or equal to o?
True
Let z = -11.25 - -11.45. Which is smaller: z or 648?
z
Suppose f + 0 + 3 = 3*l, 5*f - 4*l = 40. Let b = -30 + f. Let c = b + 19. Is c less than or equal to 2/19?
False
Let l be 2430/(-605) + 0 - -4. Do 5 and l have the same value?
False
Let h(n) = 11*n + 1. Let p be h(-1). Let i(d) = d + 14. Let k be i(p). Suppose -r + k = j, -2*j = -7*r + 4*r + 32. Is 9 at least as big as r?
True
Suppose -y = 2*h - 6, -h = h - 10. Let z = 21 + y. Let k = 17 - z. Do 0 and k have different values?
False
Suppose 12 = -1256*f + 1259*f. Which is bigger: 0.97 or f?
f
Let j = 27.2 + -0.2. Let z = j + -28.45. Let x = z + 0.15. Which is smaller: x or 1?
x
Let f = 1.54 + -1.522. Is 3 equal to f?
False
Let t(x) = -x**3 - 32*x**2 - 34*x - 88. Let i be t(-31). Do i and -13 have different values?
True
Let t be 3 - (4 + 17 - 4). Let x(d) = d - 7. Let z be x(-7). Is t <= z?
True
Let i be (6 + -11)*(-4)/450. Suppose h + 1 = 3. Suppose 2*d + 10 = 0, -u + d + 4 + h = 0. Is i <= u?
True
Let l = 1899 - 2733. Is -834 at least as big as l?
True
Let f be (-24)/9*(-2)/4*3. Suppose -h - 4 = -2*h. Are h and f nonequal?
False
Let n be 22/33*(-12)/(-7). Suppose 5*w + w - 12 = 0. Which is greater: n or w?
w
Let j = -13 - -17. Suppose -4*m + 13 = 4*c - m, 5*m + 53 = j*c. Let x = 19 - 13. Is x greater than c?
False
Let w = -10 - -9. Let s be w + 4 + (-81)/(-9). Suppose 0 = u + u - 2*a + s, -34 = 4*u + a. Is -8 < u?
False
Suppose 0*c - 252 = -9*c. Let j = -24 - -52. Is c != j?
False
Let m = 95 + -83. Let n be m/(-20)*-1 - 28/30. Are -62 and n equal?
False
Let b = -16/35 + 2/35. Suppose -3*i = 2*o + 9, -4*o - 2*i + 0 = 6. Which is smaller: o or b?
b
Let d = 17 + -17. Suppose 6*y - y - 5 = d. Does y = -5/12?
False
Let c = -0.06 + 0.46. Let f = 0.1 + c. Let j = -0.25 - -0.25. Which is smaller: f or j?
j
Suppose 0 = -n - 2*n - 9. Let u = -9 - n. Is u at most 2?
True
Let u be (5 + (4 - 8))*-3. Let s be -3 + 2/(-5) - u. Is -1/18 smaller than s?
False
Suppose -6*g + 9 = 57. Is -31 smaller than g?
True
Let c(m) = m**3 - 2*m**2 + 2*m + 176. Let q be c(0). Are q and 176 equal?
True
Let d = 14 + -13.87. Let j = d - 0.03. Is j at least as big as -1.4?
True
Let x(o) = -o**2 - 16*o - 20. Let k be x(-14). Suppose k = 142*i - 146*i. Is i less than 2?
True
Let a = -161/2 - -86. Suppose 78*b + 58 = 604. Is a at most b?
True
Let k = 36 + -35.82. Are k and -1 non-equal?
True
Let n = 40 + -41. Which is smaller: -3 or n?
-3
Let z = 75 - 48. Is z less than 23?
False
Suppose 4425 = -18*c - 1731. Is -345 equal to c?
False
Let s be -2*(-2)/((-4)/46). Let v = 64 + s. Suppose -4*c - v = -2*c. Is c < -9?
False
Suppose -53 = -4*q - 9. Let s(t) = t**3 - 11*t**2 + 2*t + 1. Let n(m) = m**3 - 12*m**2 + m. Let g(k) = 3*n(k) - 4*s(k). Let p be g(7). Is p < q?
True
Let f = 101.3 - 97. Let p = 5 - f. Which is greater: p or -1?
p
Let z(u) = -5*u + 53. Let x be z(11). Is -39 at most as big as x?
True
Let w = 455.8 - 456. Is 58 <= w?
False
Let z = 0.154 + -2.404. Which is smaller: z or 1?
z
Suppose -d + 2 = 1. Let x(a) = -2*a - 22. Let c be x(4). Let k be 2 - (d - c/21). Do 0 and k have different values?
True
Let v be 10/(-4)*(-9 - -39). Let l be (-3)/(-24) - v/40. Let c be (2 - 0) + (1 - -2). Which is smaller: c or l?
l
Let t be 63/81 + (-18)/27. Is -8 less than t?
True
Suppose -5*m - 72 = 3*a, -4*a = -0*m + 5*m + 76. Let z be -4 + (-64)/m + -2. Is -2 at most z?
True
Let p(q) = -4*q**2 - 86*q - 5. Let k be p(0). Let o be (3/2)/((-2)/4). Which is bigger: k or o?
o
Let h = -8 - -18. Let g be 1/(-10)*(-75)/h. Let d = g - 11/8. Is d greater than -2?
True
Let o be (-8)/92 - (-5018)/46. Which is greater: o or 108?
o
Let l(n) = 45*n**2 - 27*n. Let q be l(1). Let u(t) = -3*t + 1. Let s be u(-6). Is q less than or equal to s?
True
Let w(g) = -g - 1. Let h = -12 - -8. Let t be (0 - h/(-8))*-2. Let m be w(t). Is -5 less than m?
True
Let l = 115 + -137. Let v = l + 22.1. Let h = 0.05 + -8.05. Which is bigger: v or h?
v
Let x(l) = -l**2 + 8*l - 13. Let r be x(6). Which is smaller: r or 1/18?
r
Let t be ((-3)/(-6)*2)/2 + 2. Let u = 0.5 - 0.6. Let z = 0 - u. Is z not equal to t?
True
Let l(y) = 4*y**2 + 12*y + 7. Let k be l(-4). Which is smaller: k or 21?
21
Suppose -r = 4*c - 16, -r = 3*r + 2*c + 6. Let b = r + 7. Suppose 5*q - 12 = -3*h, h + 7*q = b*q + 11. Is h >= -1?
True
Suppose -b + 45 = -5*g, 3*g + 2*g - 55 = -4*b. Are b and 19 unequal?
True
Let w(a) = a**2 + 2*a - 19. Let n(i) = -i**3 - 9*i**2 - 7*i + 14. Let u be n(-8). Let k be w(u). Which is smaller: k or 28?
28
Let g be 4419/(-44) + (-10)/(-55). Let l = g - -101. Let h(k) = -k + 2. Let b be h(2). Which is smaller: b or l?
b
Let a be 20/5 - (1 + 52). Let d = -3/2 - -7/4. Is a greater than or equal to d?
False
Suppose 4*k = -p + 714, 3*k = -21*p + 26*p + 524. Do 177 and k have the same value?
False
Suppose 3*z = 5*r + 7, z + r = 6 + 7. Let v = -131 + 134. Suppose -v*l = 5*u - 32, 3*l - 44 = -2*l + u. Is z >= l?
True
Let x be 18158/(-63) - (-1 + 14/18). Let a be 4/6 - (-102)/x. Which is greater: -1 or a?
a
Let c(a) be the second derivative of a**5/20 + a**4/12 + a**3/6 - 3*a. Let q be c(-1). Let z = q - 9. Are z and -11 unequal?
True
Let x(u) = u**3 - 4*u**2 - 5*u + 5. Let o be x(5). Let w(g) = -4*g + 26. Let y be w(5). Let n be ((-4)/y)/((-16)/(-72)). Are n and o non-equal?
True
Suppose -2*w = 5*v + 87, w = v - 22 - 39. Let d be (-21)/w + 1/(-3). Let g = 1 - 0. Which is smaller: d or g?
d
Let i(n) = 2*n**3 + 11*n**2 - 18*n + 17. Let j be i(-7). Which is bigger: -58/15 or j?
-58/15
Suppose -3*d - d + 18 = 2*z, 0 = -5*d + z + 12. Let t be -2 + (2 + d - 1). Let v be t/(-8) - (-65)/180. Which is bigger: -1 or v?
v
Let j be (-7)/2 + 9/6. Let z be -2*(j - 6/(-4)). Let g(w) = w**3 + 28*w**2 + 97*w + 24. Let l be g(-24). Is l greater than or equal to z?
False
Let f = 28 + -39. Which is smaller: f or -2/23?
f
Let j = -408 - -408. Which is smaller: j or -96?
-96
Let w be (1 - -4) + -1*3. Suppose -4*m + 0*x = -3*x 