 be r(2). Let j be 1/(-33)*3*x. Which is smaller: j or 1?
j
Suppose 0 = -2*i - 2*i. Suppose -6*k + 5*k = -2. Suppose 6 = -k*c - c. Which is greater: i or c?
i
Let x = -285.1 + 285. Let i(z) = -z**2 - z - 2. Let h be i(-3). Which is bigger: h or x?
x
Let k be 35 - 37 - 4776/(-2386). Which is bigger: -1 or k?
k
Let n be 0/((-1)/(-1)) + -165. Let l = n + 178. Suppose t + 1 = 15. Is t != l?
True
Let t be ((-318)/(-265))/(2/10). Which is smaller: 4 or t?
4
Let i = -9.1 + 9. Let f = -839.08 + 824. Let b = 15 + f. Do i and b have the same value?
False
Let m(a) = -2*a**3 + 4*a**2 - 2*a - 2. Suppose -4*s + 4*d + 0*d - 8 = 0, 4*d - 24 = -4*s. Let x be m(s). Let h be x/5*(-60)/(-18). Is h less than or equal to 1?
True
Let k = 2542411/381 - 6673. Which is greater: 1 or k?
1
Suppose -4 = -4*a + u, -4*a + u - 2 = -3*a. Is 22/15 <= a?
True
Let f be -4 + 0 + -1 + 6. Which is smaller: f or -49?
-49
Let r(b) = b**2 + 6*b - 7. Let i be r(-7). Let m(x) = x - 7. Let s be m(i). Let l be s + (9/3 - 1). Is l bigger than -7/2?
False
Let a = -107853/118 - -914. Is a < -1?
False
Let q = -4.05 - -0.05. Let r(j) = -j**3 - 6*j**2 - 7*j - 10. Suppose 17 = -a + 5*x + 2, 2*x = 5*a + 29. Let k be r(a). Which is greater: q or k?
k
Let c be 110/(-1406) + 18/171. Which is greater: -1 or c?
c
Let f(w) = w**3 + 2*w**2 - 64*w - 4. Let o be f(7). Which is bigger: -79/7 or o?
o
Let c(t) = t**2 - 2*t + 3. Let s be c(4). Let x = s + -1. Suppose -l = 11*l - 120. Is l at least x?
True
Let z = -66 + 69. Let t = -12 + 20. Suppose -t = p + z*p. Is p greater than or equal to -1?
False
Let v = 43.9 - -44.9. Let r = v - 89. Which is bigger: -7 or r?
r
Let c be 0/(-2 + 5 + -4). Suppose 4*w + 2*y - 4 = 2*w, -5*w + 10 = -y. Suppose -7*t + w*t = c. Is t < 0?
False
Let f = -449/3 - -43562/291. Which is bigger: 0 or f?
f
Suppose -2*k - 25 = -5*r, -k + 20 = -6*k + 4*r. Are 5/24 and k unequal?
True
Suppose -n + 2*t - 12 = 0, 5*t + 9 = 3*n + 8*t. Let u be ((-217)/(-14))/((-1)/n). Which is bigger: 32 or u?
32
Let z = 115 - -45. Let i be (z/24)/((-2)/6). Let w be 8/i*(-15)/(-27). Which is smaller: w or 0.1?
w
Let d = 133/5 + -2803/105. Which is smaller: -0.8 or d?
-0.8
Let f = 196 - 554/3. Suppose -g + 6 = -2*m, 4*g - 4*m + 9*m - 63 = 0. Which is smaller: f or g?
f
Let f = 21.1 - 20.8. Which is smaller: f or -32?
-32
Let b be (-8)/6*(-17)/(544/24). Which is smaller: b or -2/1625?
-2/1625
Let l = 417 - 394. Let t be ((-5)/4)/5*2. Is t <= l?
True
Suppose 0 = -h + 5*h - 4. Let m be -1 + h - (-14)/21. Is m greater than 2?
False
Let y be (-1)/(-4) - 348706/(-632). Which is bigger: y or 549?
y
Let c = -1.02 - -0.02. Let s = -34.561 - -0.561. Which is smaller: s or c?
s
Let r(a) = -a**3 + 3*a**2 - 2*a + 12. Let x be r(3). Which is greater: x or 8?
8
Let i(t) = 13*t + 507. Let v be i(-39). Is v < 2/109?
True
Let a be (24/(-40))/(2/20*-2). Suppose -4*g = -a*g - 25. Is g equal to 25?
True
Let o = -33 - -37. Suppose 0*l - o*w - 10 = 2*l, w = 3. Do -9 and l have different values?
True
Suppose 33 = 4*v - 39. Let h = -27 + v. Let p(m) = -4*m - 1. Let r be p(2). Is r > h?
False
Suppose 0 = 4*h + 2*n, 4*n + 5 = -4*h - 3. Let z be (-2)/4 - h/(-4). Suppose 0 = -5*g + 4*b - 8 + 2, z = 2*g - b + 3. Which is smaller: g or 2/5?
g
Let q = -55 - -97. Let u = q - 42. Which is greater: u or -3/14?
u
Suppose -3*k = -2*c + 9, 2*c - k + 1 = -0*k. Let p be -1 + c/8*-2. Which is smaller: p or -3?
-3
Suppose -5*f + 15 = -i, -3*f + 13 + 19 = 4*i. Let y be 0/(3 - 5/1). Suppose -2*z - 2*z + 28 = y. Is z > f?
True
Let h(t) = -t**2 + t + 6. Let s be h(0). Let f(r) = r**2 - 6*r - 2. Let o be f(7). Which is bigger: o or s?
s
Let q be 25848/132 + -15 - (-2)/11. Which is greater: q or 178?
q
Let h be ((-4)/9)/((-1273)/(-134)). Which is bigger: h or 1?
1
Let w = 2550/7 + -13156/35. Let m = w - -49/15. Let k = 8 + m. Is 5/2 != k?
True
Suppose 4*h - 19 = -3*f, 2*f = 4*h + 1 + 5. Let a = -3.9 + -5.1. Are a and h equal?
False
Let b be (51/(-102))/(2*(-39)/48). Let n be (-2)/((1 - 2)*3). Which is bigger: n or b?
n
Let z = 26 + -53/2. Suppose 3*m - 4 - 59 = 0. Suppose -4*j - v = m, -4*j + 2*v - 5*v = 15. Is j at most z?
True
Let j(c) = 4*c**2 - 20*c - 81. Let t be j(-7). Which is greater: 254 or t?
t
Let j(h) = -3*h + 28. Let t be j(6). Which is smaller: t or 13?
t
Let x = 0.13 - 0.1. Let j = 0.27 + x. Let c = 48 - 50. Is j at most c?
False
Let g = 14 + -24. Let w(y) = -y**3 - 11*y**2 - 9*y + 14. Let v be w(g). Is 5 at least v?
True
Let a be -2*((-4)/8 + 1)*-9. Which is greater: a or -1?
a
Let w = 0.2 - -0.48. Let u = 0.6 - w. Let x = -1.08 - u. Which is greater: x or -0.08?
-0.08
Let n(j) = j. Let a(d) = 11*d. Let o(h) = a(h) - 4*n(h). Let l be o(-1). Let b be (2/(-6))/((-7)/(-147)). Is l >= b?
True
Let z be (5 - (4 + -1)) + -7. Suppose 30 = n - 7*n. Is z greater than n?
False
Let a = 274.99 - 4.99. Does -0.1 = a?
False
Let x be 2214/(-12)*8/(-36)*3. Is x greater than 495/4?
False
Let f = -72 - -65.3. Let y = f + 4. Is 1 != y?
True
Suppose 28 = -7*z - 7. Is z at most 6?
True
Let l(t) = t**3 - 18*t**2 + 15*t + 34. Let p be l(17). Which is greater: -29/42 or p?
p
Let v(j) = -j**3 - 6*j**2 + 6*j - 85. Let u be v(-8). Which is smaller: u or -53/11?
u
Let a be (4/8)/((-1)/14). Let j = a + 28. Let p be 9/(0 + 3)*7. Is p != j?
False
Let w = 469 + -468.5. Which is smaller: w or 0.34?
0.34
Let n(i) = i**3 - 4*i**2 + 3. Let o be n(4). Suppose -t + 5 = a, 2*t + 2 = 4*a - o*a. Which is greater: -2/33 or t?
t
Let v(h) = -2*h - 8. Let l be v(-10). Suppose -3*m = 4*s + 13, -m = 4*m - 3*s + l. Let r be m - (-7)/(308/108). Is r smaller than -2/5?
True
Suppose 5*q = 3*j + 3, -3*q + 4 = -0*j - 4*j. Let r be (-4)/(-6)*j*15/2. Is r equal to -6?
False
Suppose 3*b = -q - 8, 3*q + b = 5*q - 19. Let g(u) = 2*u**2 + 3*u - 2. Let n be g(2). Let p = -5 + n. Is p at least q?
True
Let j = -27 - -42. Let k = -17 + j. Is 0.05 at least as big as k?
True
Suppose -3*n - 16 = -5*l, -l + n - 2*n = 0. Suppose 5*m - 5*t + 18 = m, l*m - t = -6. Let k be (0/(-14))/((-4)/m). Are k and -6/17 unequal?
True
Let d = 12 + -7. Suppose -d + 15 = 5*x. Let o be (-52)/169*x/20. Which is smaller: 1 or o?
o
Let u(m) = -5*m - 19. Let k(f) = -16*f - 56. Let h(i) = -6*k(i) + 17*u(i). Let z be h(-7). Which is bigger: z or -65?
z
Let z be 2/1 + (2 - (10 + -6)). Which is greater: 3/350 or z?
3/350
Suppose 0*i + i - 4 = 0. Let t be i/(-16) + 18/136. Let c = -2439 + 2438.9. Are c and t unequal?
True
Let x be 2/(-9)*9/84. Let a = 2757 - 2758. Which is bigger: a or x?
x
Let x = -20.96 + 21. Let k be 6/15 - 22/5. Let r be (-2)/72 - k/(-18). Which is smaller: r or x?
r
Let j = -15.93 + 16. Let g = -0.0491 - -0.0491. Which is smaller: j or g?
g
Let x = -9 + 4. Let z be 1/1 + 2 + -1. Suppose 0 = 2*d - 2*h + 2, -z*d - 2*d - 40 = 5*h. Is x equal to d?
True
Let l be (-2 - 52/(-25))/(24/90). Suppose 0*z + 2*z = 4*g + 18, 2*g + 3*z = -5. Let j be g/10 - 6/10. Is j > l?
False
Let a(x) be the first derivative of x**3/6 + 8*x**2 - 7*x - 5. Let l(u) be the first derivative of a(u). Let p be l(-13). Which is greater: p or 8/3?
p
Let y = -5.84 + 5.74. Which is greater: y or -190?
y
Let t = -417/9658 - 1/439. Is -1 < t?
True
Suppose -3*h + 12 = -9. Let r be 2/h + (-4)/14. Suppose 7*k - 2*k + 3*b - 6 = 0, r = 4*k + b - 9. Which is smaller: k or 4?
k
Suppose 3*o - 4*h + 4 = 0, -3*o + 5*o - h = 4. Let u be ((-36)/4)/(-3) - o. Let m be (3 + -4)*(0 + u). Is m at least -11?
True
Suppose h + 12 = 5*q - 5, 5*q + 2*h - 26 = 0. Suppose -3*g + 70 = -q*o, -2*g + 14 = -o - 3*g. Let m be 11/52 - 4/o. Which is bigger: -1 or m?
m
Suppose -5*a + 18 = 2*o, -4*o = -4*a + 7 + 13. Let q = 227/1564 + -3/23. Is o at least q?
False
Let p be (2 + 0 - 3) + 4. Let y be (392/(-609))/(p/(-2)). Let m = y - 6/29. Which is bigger: 0 or m?
m
Let i be ((-8)/36*-12)/(1/(-3)). Which is smaller: i or -15/2?
i
Suppose 6*d - 71 - 13 = 0. Suppose 4 = -o + q, o - 2*q - q + d = 0. Which is smaller: o or -1/12?
-1/12
Let k(n) = n**3 - 10*n**2 + 9*n - 2. Let j be k(9). Let t be 39 - (2 - (j - -4)). Let s = t + -18. Which is smaller: 20 or s?
20
Let z = 3/196 + -11003/1764. Let v = 2903/468 + z. Which is smaller: v or 0?
v
Suppose 4*p - s = -148, 2*p = -p - 3*s - 96. Let u(z) = -172*z + 2716. Let t be u(16). Is t less than p?
False
Suppose 18*b = 1253 - 497. Is 41 not 