ue
Let t be 3/(-3) + (1 + 1 - -1). Let c be (-1)/(-4) + 4/2. Is c bigger than t?
True
Let x be (-8)/20 + (-12)/(-5). Let w be -4*((-10)/(-4) - x). Suppose -4*f = -4, -4*p - 2*f - 9 = -3*f. Is p < w?
False
Suppose 0 = 5*f - 32 + 7. Suppose f*a - 1 = 4. Which is greater: a or 1/2?
a
Suppose -2*b - b + 12 = 0. Suppose -q - 3 = b. Let j = q + 51/7. Is 1/5 smaller than j?
True
Let l = 23 + -27. Let t = -7 + -2. Let g(y) = -y**3 - 9*y**2 - y - 9. Let c be g(t). Is c <= l?
False
Let m(c) = -c**3 - 3*c**2 + 5*c - 2. Let h be m(-4). Which is greater: h or -3?
-3
Let j = -269/4 - -67. Let g(z) = z**3 - z**2. Let h be g(0). Is j greater than h?
False
Let k = -66 - -73. Is k >= 0.3?
True
Let z = 0.02 + 0.06. Let p = 0.38 - z. Let l = 31/4 + -159/20. Which is greater: l or p?
p
Let d(c) = 3*c**3 + 4*c**2 + 2*c - 2. Let q be d(-2). Is -15 at most q?
True
Let p = -281 - -1393/5. Is p smaller than -3?
False
Let y be (1 - 5)*2 + -3. Which is greater: y or -12?
y
Let w(g) = 2*g**3 - 4 + 2 - 7*g**2 - g**3 + 4. Let a be w(7). Is 1 >= a?
False
Suppose 0 = -3*o - 4*d + 114, -3*d + 76 = 2*o - 0*d. Let y = o - 192/5. Is -2/3 at most y?
True
Let a = -19 + 21. Suppose v - a*w - 15 - 9 = 0, -4*v + 2*w = -78. Which is smaller: v or 17?
17
Suppose 4*s = -n - 620, 5*s = 4*n - 231 - 565. Let r be 4/(-26) + (-24)/s. Let k = -0.37 + -0.03. Is r less than or equal to k?
False
Let k be 3*-2*2/3. Suppose -r + 0*t = -2*t + 3, -2*t = -5*r + 17. Suppose 0 = r*a - 4*a + 3. Which is smaller: a or k?
k
Let c(z) = z**2 + 2*z - 14. Let o be c(-5). Suppose -4*g - 22 = -2*q, 3*q - 2*g + 7*g = 0. Suppose 19 = 5*w - 3*u, 4*w - q*u - 25 = -2. Is w at least o?
True
Let z = -41 - -76. Suppose 5*n + 0*n - z = 0. Suppose 0*q - 2*g = 3*q + n, -2 = g. Is q < -3/8?
True
Suppose -7*b + 4*b = 45. Which is smaller: -13 or b?
b
Suppose -l - 15 = -4*l. Let m(q) = -q**2 + 4*q + 4. Let p be m(l). Which is bigger: -1/3 or p?
-1/3
Let z = -7.98 - 0.02. Let q = z + 8.3. Let y = q - 0.4. Which is greater: 2 or y?
2
Let n(i) = -i**3 - 4*i**2 - 2*i + 3. Let v be n(-3). Let u = -2/985 + -13764/12805. Let y = 236/195 + u. Are y and v nonequal?
True
Suppose 4*g = 21 + 7. Let n = -9 + g. Let w(c) = c - 6. Let h be w(7). Which is smaller: n or h?
n
Let g = -24 + 29. Is 5 > g?
False
Let s be (-1 - 2)/(3/4). Let t(p) = p**2 + 3*p - 5. Let r be t(s). Which is smaller: r or -1/2?
r
Let h(a) = -a**3 - 6*a**2 + 8*a + 6. Let k be h(-7). Let v(l) = l**2 + 4*l - 2. Let c be v(-5). Let g be 1/c + 1/(-3). Is g != k?
True
Let a(y) = 2*y + 3. Let j be a(-2). Let p = 1 + j. Suppose 2*h - 2 + 4 = p. Is h less than or equal to -2?
False
Suppose 2 = x + 6. Let i = 4 - x. Let o = 6 - i. Does o = 0?
False
Suppose -2*b - 3*b + 20 = 0. Suppose -b*q - q = -35. Is 6 greater than q?
False
Suppose -3*k + 1 + 11 = 0. Let v = -2 + 0. Let a be ((-3)/(-2))/(v/(-4)). Which is smaller: k or a?
a
Suppose 5*o = 4*h + 7*o - 4, 3*h - o - 3 = 0. Let w be ((-16)/144)/(1/4). Does h = w?
False
Let u be (6 + -12)/(3 - 2). Let z be 36/60 - (-56)/(-10). Is z less than u?
False
Let k(v) = 5 + v - 2 + 2. Let l be k(-6). Which is bigger: l or 3/11?
3/11
Suppose -5*o + 3*f = 3, -o = -2*o + 5*f - 5. Is -1 smaller than o?
True
Suppose 2*y - 19 = -91. Which is smaller: -35 or y?
y
Suppose 0 = 5*v - v + 48. Let c(u) = 4*u - 4. Let q be c(-2). Are v and q non-equal?
False
Let u(t) be the first derivative of -t**3/3 + 3*t**2 + 7*t - 2. Let h be u(7). Is -9/8 at least h?
False
Let v(m) = -6*m - 23. Let n be v(-4). Let z be (-2)/(-3) - 48/45. Which is smaller: n or z?
z
Let s(l) be the first derivative of l**3/3 - 3*l**2/2 - 4*l + 4. Let u be s(4). Is u > 2/7?
False
Suppose 3*x = 24 + 6. Suppose -9*a + 1 = -x*a. Is a <= -2/5?
True
Let k = -9 - -37/4. Let c = -3.96 - 0.04. Which is greater: c or k?
k
Let c(m) = 3*m - 6. Let b be c(6). Which is smaller: 13 or b?
b
Let m be 1 + 5 + (-4 - -3). Suppose m*y + 3 = -2. Let s = 2 + y. Is s at most as big as -6/13?
False
Let z = 2 - -1. Let o be (z/4)/((-5)/(-4)). Which is bigger: o or 2?
2
Let o be 2/(-2*(-1)/5). Let c(u) = -u**3 + 12*u**2 + u - 11. Let w be c(12). Suppose -w - o = r. Is r less than or equal to -5?
True
Let p be ((-1)/3)/((-1)/(-3)). Let c = p + 3. Do 2 and c have the same value?
True
Suppose 37 = -2*z - 4*p + 175, 5*p - 135 = -2*z. Let i be 366/5 - (-1 - 1). Let y = z - i. Which is bigger: y or 1?
1
Suppose -5*q + 15 = 5*u, 4*u + 4*q - 24 = 3*q. Which is bigger: 6 or u?
u
Let m be (-2)/6*18/4. Let z(n) = n**2 - 3*n - 3. Let p be z(3). Let w = p + 2. Is m < w?
True
Suppose a - 3 = -3*q, -q + 6 = -5*a - 11. Suppose -5 = 3*m - q. Let g(k) = -3*k - 1. Let s be g(m). Are s and 3/7 equal?
False
Suppose -49 = 3*q - 0*c - 2*c, -5 = q + 5*c. Is q not equal to -16?
True
Suppose w = a, -2*w - 2*w = -5*a - 5. Let n be 301/(-35) - (-2)/w. Does n = -10?
False
Let o = -1 - -1. Let u(q) = q**3 - 2*q**2. Let k be u(2). Is o at most as big as k?
True
Let l be (-21)/364*(-1)/6. Is 0 > l?
False
Suppose 0*s + 5*s = 20. Let a be (s/(-9))/((-42)/9). Which is smaller: a or 1?
a
Suppose 6 = -2*i - 3*x, x - 10 = -4*i - 2. Suppose m + i - 10 = 0. Which is smaller: 6 or m?
6
Let i = -85/2 + 41. Let r = -0.8 + 1. Let t = 0.2 - r. Which is bigger: t or i?
t
Let w = 154/5 - 31. Which is smaller: w or -1?
-1
Let b(n) be the third derivative of 0*n + 0*n**3 - 3*n**2 + 1/6*n**4 + 0. Let j be b(-1). Which is greater: -3 or j?
-3
Suppose 3*q - 4*q = -6. Let f = q + -3. Let k = 4 - f. Which is smaller: k or -2/5?
-2/5
Let a = 7 - 6.3. Let d = a - 0.5. Let b = 0.8 + d. Is b bigger than -3?
True
Let v(p) = p - 10. Let u be v(11). Let w be u - (2 + 28/(-44)). Is w equal to 2/3?
False
Let o(l) = -l**3 - 21*l**2 + l + 20. Let z be o(-21). Is z greater than -7/4?
True
Let a = 11.06 - 11. Are a and -0.1 nonequal?
True
Let m = 14 + -12. Suppose m*x = -0*x - 6. Let b be 2 - 4 - 1*-1. Which is bigger: b or x?
b
Suppose -3*h - w = 2*h - 30, 0 = -4*h - 2*w + 24. Are 6 and h unequal?
False
Let c(k) = -5*k**2 + 3*k. Let f(r) = r**2 - r + 1. Let s(a) = -c(a) - 4*f(a). Let v be s(0). Is v at least as big as -4?
True
Let g = -0.1 - 0. Let j(s) = -5*s**2 - 2*s + 5. Let a be j(-4). Let r = a + 401/6. Which is bigger: r or g?
g
Let l = -18.84 - 0.16. Let g = -19.07 - l. Is g > -0.1?
True
Let c be -1 - (2 - 1) - (-2773)/1298. Do c and 0 have the same value?
False
Suppose 3*t = 4*o + 4 - 13, -4*o = t - 13. Which is smaller: -1 or t?
-1
Let i = -102 - -106. Let k = 9 - 4. Which is bigger: k or i?
k
Let v be ((-2)/(-4))/(-3*(-1)/(-6)). Is 2/197 < v?
False
Let u = 16921/54285 + 4/1551. Let m = u + -5/7. Let d = 29 - 28. Which is greater: m or d?
d
Let z = 13 - 9. Suppose -d - 1 = -z*n + 2, 0 = -n - d - 3. Which is bigger: -1/17 or n?
n
Let o(w) = 2*w - 2*w - 11*w**3 + 10*w**3. Let q be o(-1). Which is smaller: -2/9 or q?
-2/9
Let f = 18 - 19. Let i = 81/16 + -5. Do i and f have the same value?
False
Let q be 5/((2/3)/(26/39)). Which is smaller: q or 44/7?
q
Let j = 2/11 + 29/22. Is j at most as big as 1?
False
Let l = -1.4 + 1.7. Which is smaller: 1 or l?
l
Let a(v) = v - 4. Let q be a(3). Are 2/41 and q non-equal?
True
Suppose -5*m - 16 = -1. Let q = 66 + -69. Is q greater than or equal to m?
True
Suppose -7*i + 75 = -4*i. Is i equal to 25?
True
Let g = -0.1 + 0. Let f = 149 + -278/3. Let m = f + -57. Which is smaller: g or m?
m
Let x(d) be the third derivative of 0 + 1/6*d**4 - d**2 - 1/60*d**5 + 5/6*d**3 + 0*d. Let n be x(5). Which is bigger: n or -1?
n
Let u(y) = -y**3 + y**2 + 4*y - 3. Let j be u(2). Suppose 27*m - 21*m + 12 = 0. Which is greater: m or j?
j
Let o(a) = a + 8. Let x be 2/6 - 114/18. Let p be o(x). Let y(c) = -c**3 + 3*c**2 - 4*c + 2. Let v be y(p). Which is bigger: -2/5 or v?
-2/5
Let h be (-2)/(-9) - (-63)/81. Let c = 748 - 27678/37. Is h greater than or equal to c?
True
Let t be 1/(-4) + (-1341)/(-5508). Let j = 455/612 - t. Suppose 0*x + 5*x = 0. Which is smaller: j or x?
x
Let f be -2 + 2 + 7/(-1) + 2. Which is bigger: f or -3?
-3
Suppose 2*a - 3*a = 0. Which is smaller: a or 11?
a
Let b = 353506 - 6006680/17. Let w = b - 172. Which is smaller: w or -1?
-1
Let t = -7 + 7.2. Let j = t + -0.1. Which is smaller: j or 0.01?
0.01
Suppose 2 = 5*q - 38. Let y be q/2*3/4. Is 4 smaller than y?
False
Let x = 1 - 1. Suppose p - 6*p - 30 = x. Is -7 small