big as t?
True
Let g be 3/12 + (-183)/56. Let j = g - -23/8. Which is smaller: -1 or j?
-1
Let x(r) = r + 2. Let s be x(-1). Let b be 8/(-20) - (-8)/10. Which is bigger: s or b?
s
Let a(l) = l**3 - 3*l**2 - 8*l + 5. Let j be a(5). Let q be 1/j - (-1)/3. Let n = 0 + 0. Which is smaller: n or q?
n
Let d(k) = -2 - k**2 - 3*k**3 - 6*k**2 + 4 + 2*k**3 - 6*k. Let n be d(-6). Which is smaller: n or 3?
n
Let t be 110/238 + 10/(-35). Are -1 and t unequal?
True
Let m be 30 - (8 - 0)/4. Which is bigger: m or 29?
29
Let r = -0.27 - -0.27. Is -0.01 <= r?
True
Let i(a) = -a**3 - 8*a**2 - a - 3. Let m be i(-8). Suppose 4*z = -5*p, 4*p = 6*p + m*z. Which is bigger: p or 1?
1
Let z = -7.034 - -0.134. Let v = z - -7. Which is bigger: 4 or v?
4
Let t = -1 + 1.2. Let h = 0.8 + t. Is 2/7 <= h?
True
Let u be 6 - 4 - -1*8. Suppose -t + u + 23 = 0. Let o be 3/12 + t/(-108). Is 0 bigger than o?
True
Let k be 12/(-8)*(14/(-6) + 3). Which is greater: -2 or k?
k
Suppose -3*p + 30 = 3*d - 33, -5*p + 114 = -4*d. Let o be 96/(-112)*(-14)/p. Suppose -4*k + k + 3 = 0. Is k < o?
False
Let t = 93.9 + -94. Let s = -3.5 - -3. Which is greater: s or t?
t
Let r = -9 + 18. Let n be (3/(-6))/(r/30). Let m = n - -7/3. Which is bigger: m or -2?
m
Let f(p) = -2*p + 6. Suppose 2*k + 0*k = 2*w - 14, k = 3*w - 25. Let n be f(w). Let l be (-39)/n - (-3)/(-1). Which is smaller: 3 or l?
l
Let f(y) = -2*y + 17. Let l be f(9). Is -1/2 < l?
False
Suppose -3*n + 7 + 2 = 0. Suppose n*r - 948 = -5*u - 0*r, u + r = 190. Let l be ((-2)/6)/((-9)/u). Are l and 7 unequal?
False
Suppose -2 = 6*r - 8. Let n = 64 + -385/6. Is r at least as big as n?
True
Let n = -3/8 + 31/40. Is n equal to 8/5?
False
Let g be (0 + 0)/(0 + 2). Let t be (10 - 6999)*(-2)/(-34). Let k = t + 411. Is g at most k?
False
Let z = -302/5 + 60. Let c = -0.5 - 0.5. Let q = c + 1.3. Which is smaller: z or q?
z
Let v = 2 + -1. Let y = 31 - 30. Is v <= y?
True
Let z(o) = o**2 + 6*o - 4. Let y be z(-7). Suppose -2*u - y = -u. Is -10/3 less than or equal to u?
True
Suppose -2 - 3 = 5*z. Which is smaller: 1/6 or z?
z
Let h(a) = a**2 + 6*a + 5. Let v be h(-5). Which is greater: v or 6/19?
6/19
Suppose g = -g. Let p = 2 - 2. Suppose 2*d - 7*d - 25 = 4*z, -4*d + 5*z + 21 = p. Is g bigger than d?
True
Suppose -2*k = -32 + 2. Let a = k + -21. Suppose 5*m - 4*m + 6 = 0. Is m smaller than a?
False
Let p be 2 + -3 + 12/3. Suppose -14 = -6*v + 5*v + 4*o, 3*v + p = -3*o. Which is bigger: v or -0.1?
v
Let g(s) = s**2 - s - 82. Let b be g(0). Let a = b - -412/5. Is 2/5 smaller than a?
False
Let u = 1 + -0.94. Let b = u - -1.94. Is b at most -2?
False
Suppose -q + 4*q + 14 = -5*o, -5*q = o - 6. Let d be (-18)/(-4)*o/6. Let s be (d - (-2 - -1))/(-2). Does -3/8 = s?
False
Suppose -18 = 4*n + 14. Let i be n/(-6) + (-4)/(-6). Suppose 0 = s - 1 - 2. Which is greater: i or s?
s
Suppose -f = 2*f - 3. Let t be f - -1 - (-8)/(-2). Let y be (-6)/3 - (0 - 0). Are t and y equal?
True
Let q be 2 - (-4 - 1635/39). Let l = q + -48. Which is smaller: l or 1?
l
Let h = -4680 - -4676.919. Let u = h - 0.019. Let n = u - -3. Is -0.1 >= n?
True
Suppose -5*m + 15 = 5*z, 1 = -3*m + 2*z - 5. Let q = -64 + 255/4. Which is smaller: q or m?
q
Let w(q) = q**3 + 7*q**2 - 7*q + 11. Let f be w(-8). Let y = 8 - 7.6. Is f != y?
True
Let y = 16 + -16.6. Let q = y + 0.8. Is 1 less than or equal to q?
False
Let g = 1 - -6. Let r = g - 6. Which is smaller: 0.05 or r?
0.05
Let f = 3 + -4. Let b be -2 - f - (5 + -4). Is 0 greater than b?
True
Let z = -1 + 7. Let d be z/(-4)*(-7 - -5). Suppose 12 + 3 = d*i. Is 5 smaller than i?
False
Let t be 61/4 + 5/(-20). Is t smaller than 15?
False
Let p = 79 - 76. Which is smaller: p or 13/6?
13/6
Let p = 12 + -20. Do p and -9 have the same value?
False
Let d be ((-20)/(-70))/((-4)/(-54)). Which is bigger: d or 3?
d
Let u be 8/(-28) - (-132)/21. Let b = 18 - 14. Which is bigger: u or b?
u
Let k = 59 - 61. Let s be 4/6*3/2. Is k less than or equal to s?
True
Suppose -4*q = 5*j - 28, -3*q + 5*j = 24 - 10. Let m = 2 - q. Let x = -10/21 + 8/7. Which is smaller: x or m?
m
Let m(d) = -d**3 - 3*d**2 + d + 4. Let u be m(-3). Let v = -7 - -21. Let g = v - 15. Which is greater: g or u?
u
Let b = -30 - -28.8. Let g = -0.1 + -0.9. Let j = g - b. Which is greater: j or 1?
1
Suppose 0 = 2*k - 3*t + 7, -4*k + t + 0*t = 19. Let y be (-2 - (-1 - 0)) + 3. Let z be k/2*y/30. Which is greater: z or 0?
0
Suppose 0 = -3*t - 4 + 7. Let s = -0.03 - -3.03. Which is smaller: s or t?
t
Let y = -0.3 - -0.2. Let f = y - -0.2. Let h = -65/4 - -16. Is h less than f?
True
Suppose 0 = -2*t - 3*t + y - 4, -5*y = 5. Let f = -11 - -2. Let p be ((-3)/f)/((-4)/18). Does t = p?
False
Let f be -2*(-1)/(-14)*1. Suppose -2*y + 5*y = -3*r - 6, 3*r = 4*y + 8. Suppose r = u - 2*z - 8, 5*u + 5*z = z - 16. Which is smaller: f or u?
f
Let g = -12 + 20. Let r be 6/g*(-2 + 1). Which is smaller: r or -1?
-1
Let s = -45 - -45.28. Which is greater: -2 or s?
s
Suppose -2 = 3*n - 2*n. Is -2/3 less than n?
False
Let j(i) = -i**2 + 3*i. Let x be j(5). Let r = x - -16. Let n be (-1)/3 + r/45. Which is bigger: n or -1?
n
Suppose -p + 2*p + 4 = 0. Let d(c) = c**2 + 5*c. Let n be d(p). Is n at least -4?
True
Suppose -13 = -a - 18. Which is bigger: -4 or a?
-4
Let k be 10/(-4)*(-2 - 0). Suppose -2*t = -1 - k. Let o = 150 - 149. Which is greater: o or t?
t
Let g be ((-6)/4)/((-3)/(-8)). Which is bigger: g or -5?
g
Suppose k + 2*k + 9 = 0. Let n be -142*k/(-9) + 2. Let y = n + 46. Is y less than 2?
True
Let h(j) = j**2 + 15*j - 17. Let m be h(-16). Is m <= 2/33?
True
Let y(x) be the third derivative of -x**5/60 - 5*x**4/24 - x**3/3 - x**2. Let b be y(-5). Let g be 2/(-4) - (-3 - b). Which is greater: g or 0.1?
g
Suppose i - 4 = 3*i. Let l = 11 + i. Suppose 0 = -l*o + 4*o + 10. Which is smaller: 1/2 or o?
1/2
Let n be (-14)/(-21)*(-30)/4. Let h(q) = -5*q - 1. Let g be h(-5). Suppose 5*x = 4 - g. Which is smaller: n or x?
n
Let f be 2/(-5) - (-33)/(-105). Do f and 0 have the same value?
False
Let f be (2/(-141))/(4/(-12)). Let j(k) = k - 10. Let m be j(9). Is m at least as big as f?
False
Let l = -19 + 13. Is l less than -6?
False
Let o(f) be the first derivative of f**4/4 - 4*f**3/3 + 3*f**2/2 - 2*f - 1. Let m be o(3). Are -8 and m unequal?
True
Suppose 29 = 2*a - 19. Suppose a - 2 = 2*m. Let o = -21/2 + m. Which is smaller: 2 or o?
o
Suppose -4*u = -17 + 5. Suppose 3*n - 24 = -0*n. Let i = n + -4. Which is smaller: u or i?
u
Let z = -30 - -29. Is -6/5 != z?
True
Let n(c) = -c - 1. Let u be n(5). Let q = u + 8. Let f = -1 + 1. Is q greater than or equal to f?
True
Let l = 0.079 - 1.079. Which is smaller: 18 or l?
l
Let c = -27 - -32. Is -7 at least as big as c?
False
Suppose 3*d + 3*a = -0*a - 3, 3*d - 4*a - 4 = 0. Which is smaller: -6/41 or d?
-6/41
Let j = 2 - 2. Let a = 34 - 36. Let g = a - j. Which is bigger: g or 0.3?
0.3
Let k = 247/3 - 83. Which is smaller: 1 or k?
k
Let w = 0 + -1. Let c = 5 - 4.9. Which is greater: c or w?
c
Let g be (-2)/7 + (-18)/(-14). Let a = 914 - 39304/43. Are a and g non-equal?
True
Let j(t) = 2*t**3 - 7*t**2 - 5*t + 6. Let b be j(4). Is b bigger than 22/9?
False
Suppose 0*u - 15 = -3*u. Suppose -6*i - u = -i. Is i equal to -1?
True
Let m = 17/130 - 3/13. Is 0 not equal to m?
True
Let k be (2 + 1)*(4 + -8). Let n be 3/(-2)*k/153. Is n less than or equal to -2?
False
Let w = 686/9 - 76. Do 0 and w have different values?
True
Let d = -442/11 - -40. Is d < 1?
True
Suppose 4*i + 141 = 33. Let a = 29 + i. Do a and 8/3 have the same value?
False
Suppose 2*g + 3*g = 25. Suppose -g*a = -5*u - 25, -a - a - u = 2. Let i = 0 - 1. Is a smaller than i?
False
Suppose -d - 3 = -4*w, -w + d + 1 - 4 = 0. Suppose r = i + 5*r + w, 2 = -2*r. Which is smaller: i or 2/3?
2/3
Let q = 25 - 31. Do q and 3 have the same value?
False
Let q = 0.07 - 1.27. Let k = q - -0.2. Let o = 0 - k. Which is smaller: o or 0.2?
0.2
Let s(h) = -h**3 - h**2 + 2*h. Let i be s(-2). Let f = -696/7 - -99. Is f at least i?
False
Suppose -23 = -t - f + 8, 0 = -3*t - f + 97. Let c be (-8)/4 + t/18. Is c greater than 1?
False
Suppose 8 + 12 = 5*w. Let y(q) = q**3 + 2*q**2 - 2*q + 3. Let g be y(-3). Suppose g = 5*o - 16 + 1. Which is bigger: o or w?
w
Let j(n) = n**3 - 4*n**2 + n + 5. Let w be j(3). Which is greater: -2/87 or w?
-2