 - 62 = 0. Let t be k(r). Let f be 4/(-6)*(-15)/4. Which is smaller: t or f?
f
Let n(b) = -12*b + 9. Let p be n(-6). Is p greater than or equal to 83?
False
Let c be 4 - 1 - 1818/505. Is c >= -40?
True
Let c = -12.1 - -12.1. Let h = 3.2 + -1.3. Let v = 2 - h. Which is bigger: v or c?
v
Suppose 5*f + 11 = 3*c, -4*c - 2*f - 3*f + 3 = 0. Let q = 2 + c. Suppose -q*y + 2*y = -8. Which is smaller: 5 or y?
y
Let t(c) = -2*c**2 - 20*c - 12. Let z be t(-11). Let a be ((-2)/(-148))/(z/136). Let l = 33/58 + -2/29. Which is smaller: l or a?
a
Let o = 2/451 + -11301/5863. Which is smaller: -2 or o?
-2
Let m be 7 - 1/(-1)*-4. Suppose -m*j - 60 = -9*j. Let f be 76/5 - 2/j. Is f <= 15?
True
Let f be -1 - (-135)/(-54)*(-74)/184. Which is smaller: -1/5 or f?
-1/5
Let h = 8898.97 + -8965. Let a = -66 - h. Which is smaller: a or -1?
-1
Let c(d) = 23*d - 153. Let b be c(12). Do 123 and b have different values?
False
Let n = 6861/28 + -245. Which is bigger: 1 or n?
1
Let h(d) = 62*d**2 - d. Let m be h(1). Let k = 62 - m. Is 16 at most as big as k?
False
Let m(d) = -4*d**2 + 61*d - 4. Let r be m(16). Let x = -47 - r. Let n = 9 + -6. Which is greater: x or n?
x
Let n(f) = -f. Let t(b) = 2*b + 10. Let x(z) = 3*n(z) + t(z). Let a be x(7). Which is smaller: a or 2?
2
Let c(z) = -4*z**3 - 5*z**2 - 4. Let d(j) = j**3 - j. Let l(g) = -c(g) - 3*d(g). Let a be l(-5). Is a smaller than -7?
True
Let a be 2/(-21) + (-65)/546. Let o be (2 - 2)/(-1 + 0). Which is smaller: a or o?
a
Let m = 2/473 - -928/4257. Let b = 0 + -1. Let a = 0.9 + b. Which is smaller: a or m?
a
Let c = 2999/98222 + -1/1466. Is 0.2 >= c?
True
Let c = -56 - -25. Suppose -5*f = -3*u + 158, 2*f + 23*u - 22*u + 61 = 0. Is c at least as big as f?
True
Let q be (63/(-7) - -6)*3/(-3). Which is smaller: q or 37/11?
q
Let o = -3 - 15. Let n = 91 - 109.2. Let t = n - o. Is 0 at least t?
True
Suppose -2*w - w - 43 = 4*v, 4 = -4*v. Suppose 16 + 124 = -10*g. Is w at least g?
True
Let a = 0 + 0. Let g = 884 - 875. Which is smaller: a or g?
a
Let c = -660 + 673. Which is smaller: 5 or c?
5
Let n(t) = t**3 + 7*t**2 - 3*t - 4. Let l be n(-7). Suppose -5*v + 42 = l. Suppose -v*r = p - 9, 2*p + 5 = 3*r + 3*p. Is 2 greater than r?
False
Let r be (-4)/(-4)*-38 - 4. Is r at most as big as -0.1?
True
Suppose 6*a = 2*a - 5*m + 281, -a = 3*m - 65. Let i = 75 - a. Are 0.1 and i unequal?
True
Let z(h) = 8*h**3 + 17*h**2 - 7*h - 10. Let l be z(-2). Suppose 0 - 10 = -y. Is l at most y?
True
Let n = -548 + 637.8. Let z = -90 + n. Which is smaller: z or -9?
-9
Let k be (-2)/11 + (-54)/66 - -3. Let b be 17 - (-3)/(1 - -2). Let c be (-7)/(-6)*b/28. Which is greater: c or k?
k
Let n be (1 - (-3)/(-7)) + (-19940)/(-140). Which is smaller: n or 142?
142
Suppose 0 = -4*b + 9 - 5. Which is greater: 9/38 or b?
b
Let f(p) = 13*p**3 + 6*p**2 - 10*p + 5. Let w be f(1). Suppose 5*q - q - 60 = -3*a, 0 = -2*a. Do w and q have the same value?
False
Let a(w) = -13*w + 14. Let x be a(10). Is -118 at most x?
True
Let h = -1/1755 - 7213/3510. Is -2 at most as big as h?
False
Let h = 178 + -449. Which is greater: -272 or h?
h
Let a = 27 - 63. Let s = a - -145/4. Does -0.6 = s?
False
Let x = -40 + 25. Let o = -46/3 - x. Let f be (-13 - -2) + 3 - (-30)/6. Is o greater than or equal to f?
True
Let c be (-56)/(-42) + -1*1. Is c greater than -203?
True
Let a(f) = 20*f - 61. Let t(l) = 7*l - 20. Let z(x) = 6*a(x) - 17*t(x). Let u be z(13). Is u greater than -0.1?
False
Let u = 488.47 + -489. Is 1 at most u?
False
Let c be 12/(-260)*(-2)/3. Which is bigger: c or 0?
c
Suppose 2*u - 92 = -0*u - 4*v, 3*u + 5*v = 136. Suppose -s - u = -4*s. Let r(d) = -d**3 - d**2 + d - 1. Let h be r(-3). Is h at most s?
True
Suppose -4*n + 2*n = -6. Suppose -8*g + 62 = 14. Suppose 4*m = 3*b - 6, 0 = -n*b + 3*m - 0*m + g. Which is bigger: 0 or b?
b
Suppose -48 = -607*s + 599*s. Which is smaller: s or -3/2?
-3/2
Let b(i) = -i**3 - 2*i + 4*i - 3*i. Let h be ((-1)/2)/((-21)/(-42)). Let p be b(h). Is p greater than -1/2?
True
Let b(z) = 10*z + 19. Let q be b(-2). Is -6/49 not equal to q?
True
Let h be 8*6/(-2478)*35/(-10). Is -1 equal to h?
False
Let u be 1 + -2*(-21)/(-56). Let z(f) = -f**2 - 8*f + 9. Let d be z(-9). Is d > u?
False
Let k(f) = -56*f + 860. Let a be k(16). Is a > -7?
False
Suppose -80 = -d + 6*d + o, 0 = d + 2*o + 7. Do d and -24 have different values?
True
Let w be (-3 - -1)/(-301 + 45). Which is smaller: w or 1?
w
Let t = 69.872 + 0.128. Let a = -70.28 + t. Is -2/5 > a?
False
Let i be (-1)/2 - 5/(-4). Let n be 2/(((-12)/(-75))/(-2)). Let s = n + 49/2. Which is greater: s or i?
i
Suppose -37 = 19*z - 56. Let r be 12/(-18) - 85/(-6). Let i = -83/6 + r. Is z less than i?
False
Let r = -33.5 - -31.5. Which is bigger: -0.243 or r?
-0.243
Let t = 12 - -3. Let x = t - 15.2. Which is smaller: x or -2/11?
x
Let n be 1/(4 - (-6)/(-2)). Let q be 0 - 2*18/(-33). Which is greater: n or q?
q
Let o = 281 - 8. Is o greater than 274?
False
Let g(m) = -4*m + 2. Let p(u) = u + 7. Let y be p(-8). Let c be g(y). Suppose 2*a - c + 54 = 0. Is -23 not equal to a?
True
Let u = -1 - -11. Let n = -10.3 + u. Let h = n + 0.4. Does h = -10?
False
Let w = 604 + -567. Do 57 and w have the same value?
False
Suppose b = 2 - 1. Let k(o) = -o**2 + 1. Let x be k(b). Let j = 2.98 + -3. Is x smaller than j?
False
Let q = -29 + 17. Let n = 0.2 - -11.8. Let p = q + n. Are -0.07 and p unequal?
True
Let q = -76 - -113. Suppose 74 + q = 3*d. Let i = -27 + d. Is i less than or equal to 9?
False
Let w = 16 + -22. Let m be -1*11/((-44)/(-48)). Let n be (w/(-9))/(m/8). Is n equal to 0?
False
Let m be 9/(8/9 - 1). Let j = -405 - -323. Is m != j?
True
Let q(z) be the second derivative of -z**4/12 - 2*z**3 - 2*z**2 - 2*z. Let k be q(-7). Is k at most 31?
True
Let c = -60 + 29. Which is smaller: -32 or c?
-32
Let y(j) = -j**2 - 5*j - 5. Let b be y(-2). Is 5 <= b?
False
Let h = -1106 - -1106. Is 2/431 > h?
True
Let g = 261 + -254. Are g and -1/10 unequal?
True
Let v be 12612/160*(-65)/(-12). Let x = 427 - v. Which is smaller: -1 or x?
-1
Suppose 0 = -4*g - 5 + 21. Let u = g - 58/17. Do u and 0 have the same value?
False
Let c = 0.12 - -2.88. Let p = 0.03 + 0.03. Which is bigger: p or c?
c
Suppose 4*s - 93 = -3*w, -4*w - 49 + 164 = 5*s. Suppose 2 = 28*q - s*q. Which is bigger: q or 5/7?
q
Let x = 12 + -7. Suppose 4*a + 4 = 5*d, 4 = a + x*d + 5. Which is smaller: 26 or a?
a
Let o be ((-11)/20)/((-6)/24) - -2. Suppose 4*m + 81 = -5*u - 12, 2*u - 2*m = -30. Let c be (-4)/16 + u/(-4). Which is greater: c or o?
o
Let h(u) = u - 7. Let z be h(11). Suppose -i + 18 = 2*i. Suppose z*g - i = 2*g, 0 = -2*d - 2*g + 4. Are -2/33 and d non-equal?
True
Let n = -36 - -36. Do n and -5 have different values?
True
Let c = 177 - 119. Let u = -57.9 + c. Does 2.4 = u?
False
Let s = -409 - -1226/3. Which is smaller: s or -218?
-218
Let b be 122/183*6/(-218). Is 1 at least b?
True
Let i(c) = -c**3 - 3*c**2 - c + 2. Let v = 0 - -8. Let f be 5/2*v/(-10). Let u be i(f). Is u < 6/7?
True
Let b(x) = -x**3 - x**2 + x + 3. Let z be b(0). Suppose -z*c - 1 = -4. Let l be 1*((7 + -3 - 17) + -2). Which is bigger: l or c?
c
Let u(t) = t**2 + 1. Let k be u(-2). Suppose k = 4*i - 3. Let l(n) = -2*n**3 - 6*n**2 - 2*n - 2. Let q be l(-3). Which is bigger: q or i?
q
Let u be (12/64*20)/(78/(-4)). Is u less than 0?
True
Let q = -4 - -3. Let k be 4/(-8)*(-3 - 17). Suppose 0 = -2*s - 30 + k. Which is bigger: q or s?
q
Let r = -102 + 97.7. Let o = r + 4. Let b be -3 + -1 - (-11)/3. Which is smaller: o or b?
b
Suppose -11*d = -9*d - 6. Suppose 165 = d*i + 2*i. Are 33 and i unequal?
False
Let d = -96 - -88. Let x = 13 + d. Which is smaller: x or 7?
x
Suppose 6*f = 8*f - 8, -4*i + 48 = f. Are i and 2 equal?
False
Let q = 0 - 0. Suppose -4*p = 4, 3*p - 7*p - 3 = f. Let m be 21/(-49)*(f + 3/4). Is m less than or equal to q?
True
Let r(x) be the first derivative of x**3/3 + 11*x**2/2 + 7*x + 26. Let a be r(-9). Which is smaller: -9 or a?
a
Suppose -x + 1 = -3. Suppose x*u = -4 - 0. Is u equal to 1/4?
False
Let b(a) = 2*a**2 + 26*a + 1. Let q be b(-13). Is q less than or equal to 7/36?
False
Let w(f) be the third derivative of f**6/120 - f**5/12 - f**4/6 + 7*f**3/2 - 12*f**2. Let m be w(6). Do m and 32 have the same value?
False
Let y be (8/(-10))/(2/(-15)). Suppose -2