 t = w + 57. Is t < 1?
False
Let g = -14.4 - -1.4. Let j = g + 9. Let y be 0 - (-1 - -1*2). Which is smaller: j or y?
j
Let l = 5 + -2. Suppose -2*k = -z + l, k + 6 = 2*z - 3. Which is bigger: k or -1/4?
k
Suppose 5*f + 5 = -0. Let r(q) be the first derivative of -3*q**2/2 + q - 1. Let j be r(f). Which is greater: 3 or j?
j
Let c(k) = 3*k - 17. Let z be c(7). Suppose 2*x + 3*r = -1, -1 + 13 = x + z*r. Is x at least as big as -8?
True
Let o be 6/795 + (-5 - (-1 - 4)). Does o = 1?
False
Suppose -13*d + 0 - 13 = 0. Which is smaller: 1/31 or d?
d
Let d be (-10)/12 - (-9)/27. Let j = 4 - 4. Let b = -0.1 - j. Is d less than or equal to b?
True
Let q = 2 + -1. Let o be (1 - 2)/(0 + q). Does o = -2/3?
False
Suppose -5*a + 4*z + 65 = 0, 0 = a + a + 4*z + 2. Let r be (-28)/a*(-9)/(-24). Which is smaller: -1 or r?
r
Let x be 2 - (-5)/(340/(-168)). Let w = x + 23/85. Are w and 1 equal?
False
Let r = -0.2 - -0.3. Let d = 105/4 - 937/36. Which is smaller: d or r?
r
Let n = -8/21 + 2/3. Let m = -0.72 - -0.7. Is n != m?
True
Suppose 12 = 3*x - l, -3*l = 4*x - 2*l - 9. Let m = -4 + x. Let d be -2 + 0 + 0 - m. Which is smaller: 1 or d?
d
Let k(w) = w**2 - 3*w + 3. Let r be k(2). Let j = -7 - r. Let o(d) = d**3 + 7*d**2 - 9*d - 9. Let s be o(j). Which is smaller: 1/3 or s?
s
Suppose -5*a - n + 51 = 3*n, -a - n = -10. Which is smaller: 9 or a?
9
Let x(d) = -d**3 + 6*d**2 - 3*d - 7. Let k be x(5). Suppose 0 = -3*v - k - 0. Let t be (175/(-55) + 3)/1. Which is smaller: v or t?
v
Let a = 70.92 - 74. Let w = 0.08 + a. Which is bigger: w or 0?
0
Let z = 81823/36 + -2273. Let v = -2/9 - z. Let h = 43 - 43. Which is smaller: v or h?
v
Let i = -0.09 + -0.06. Let v = 0.05 - 0. Let d = i + v. Which is smaller: d or -2/5?
-2/5
Let p be (-303)/90 - -4 - 3/(-15). Is 1 less than or equal to p?
False
Let a = 9 - 9.4. Which is greater: a or -10?
a
Let b = -432/5 + 86. Do 17 and b have the same value?
False
Suppose 8 = -5*o + 3. Let v be (-2 - -3)*0/o. Which is greater: 2/5 or v?
2/5
Let z = -40 + 17. Is -23 not equal to z?
False
Let x(i) be the third derivative of i**5/60 - i**3/6 + i**2. Let a be x(2). Which is smaller: a or 4?
a
Let p = -51.5 + 51. Which is bigger: p or 1/7?
1/7
Let o(y) = -10*y**2 + y - 5. Let d be o(3). Which is bigger: -1 or d?
-1
Let d(j) = -2*j + 20. Let u be d(9). Does u = -2?
False
Let j(k) = k**2 + 2*k - 1. Let d be j(-2). Is d smaller than -2/47?
True
Let h(g) = 4*g**2 - 5*g - 2. Let v be h(7). Let i be -1 + 1/(6/952). Let u = i - v. Which is smaller: u or -2?
-2
Let d = 25 - 19. Suppose 4*n = d*n - 12. Do 5 and n have different values?
True
Let k = 293 - 2055/7. Which is smaller: -0.1 or k?
k
Let f be (9/(-4))/(5/120). Is f at least as big as -55?
True
Let s(t) = -t**3 + 10*t**2 - t + 9. Let i be s(10). Suppose 1 = f + 4. Does f = i?
False
Let x be ((-6)/4)/(9/(-12)). Let s be 2/(-11) + x/11. Let m be (s - -2)/(5 + 0). Which is smaller: m or -0.06?
-0.06
Let y be 4*1 + (-4 - (-13 - -6)). Let m(g) = 2*g**2 - 2. Let j be m(2). Is j < y?
True
Let a = -37/5 - -8. Let t(g) = -g**3 + 6*g**2 + 2. Suppose 2*l = -k - 2*k + 20, 3*l - 3 = 0. Let y be t(k). Is y less than or equal to a?
False
Let n = 0.6 - -5.4. Which is smaller: -0.2 or n?
-0.2
Let s = 2 + 0. Let j(a) = -a - 4. Let y be j(-4). Suppose -4*v + 4*c = v - 8, -v + s*c + 4 = y. Are v and -3/4 equal?
False
Suppose 2*o + 20 = -4*r, -4*r - 4 = -4*o + 4. Let y = 1 + 1. Suppose 4*c = 2*u + 2*c, y*c = -u. Is o at least as big as u?
False
Let x(f) = f**3 + f**2 - 2*f - 1. Let k be x(-1). Let m be 1 + 20/(-28)*k. Which is smaller: 0.2 or m?
0.2
Let j(b) = 2*b**3 - 3*b**2 - 4*b - 1. Let i be j(3). Is 14 != i?
False
Let h = 12 + -17. Is h less than or equal to -3?
True
Let r = -49 - -49.42. Let b = 0.02 - r. Let n = b + 0.4. Which is smaller: n or -2/5?
-2/5
Let k be 90/6*1/3. Let u = 8 - k. Let i = 27 - 23. Is i smaller than u?
False
Let t = -56 - -35. Let i be 6/t - (-2)/7. Let f = -93/76 - -9/19. Which is smaller: f or i?
f
Let c be (1 + -19)/((-3)/2). Let z be -9*((-20)/c - -3). Is z <= 0?
True
Let b(a) = 2*a - 3. Let h be b(4). Let m = 3.7 - 2.7. Which is bigger: h or m?
h
Let c(s) = -s**3 + 7*s**2 - 2. Let t be c(7). Which is bigger: -6 or t?
t
Let s be (-5)/(-20) + 1/(-4). Which is greater: -1 or s?
s
Suppose -75 = 3*d - 12. Let s = 24 - 45. Is d greater than s?
False
Let t = -2994 - -392216/131. Is t smaller than 0?
False
Let q = 684844/9 - 76190. Let d = q + 96. Is 0 smaller than d?
False
Let b be 8/5*(-5)/(-2). Suppose 3*j + 0*c - 2*c + b = 0, -3*j = -5*c + 10. Which is greater: j or -1/4?
j
Let v = 30 - 60. Let h be (v/(-8))/((-4)/16). Is -15 < h?
False
Let o be -1*(-2 - (-3)/3)*1. Let n = -7/121 - 607/2057. Is o >= n?
True
Suppose 4*z = -q + 21, -2*z + 4*q = -24 - 0. Let t be (z/8 + 0)/3. Which is smaller: -6 or t?
-6
Let s = 5 + -6. Let z = s + 2. Let x = 2 + -2.4. Is z less than or equal to x?
False
Let x = -0.08 - 0.92. Let t = 0.04 - 5.04. Which is bigger: t or x?
x
Suppose 0 = l + 3 - 7. Suppose -20 = l*c + c. Let j = c - -4. Which is smaller: 0.1 or j?
j
Let y = -21 - -24. Which is greater: 20/7 or y?
y
Let j = -278/9 - -23612/765. Let v = -93/340 - j. Which is smaller: v or -1?
-1
Suppose 0 = 5*q - 4*t - 9 - 5, -2*t + 8 = 5*q. Suppose -2*y - q*n - 2 = -y, -5*n - 5 = -5*y. Which is smaller: -1/8 or y?
-1/8
Let z be (-30)/22 - (-1 - 4). Which is smaller: 4 or z?
z
Let d be (9/30)/(1/(-202)). Let o = d + 1517/25. Which is greater: 1 or o?
1
Let v(s) = 5*s - 1. Let b be v(3). Is -1 at least as big as b?
False
Let n be 6 - 7/(21/6). Suppose 5*w = n*x - 3, 3*w - 2 = x - 1. Is 2 greater than or equal to w?
True
Let z be 3 + (2/(-5) - 3). Which is smaller: z or 5/2?
z
Let i = 10 + -7. Suppose -7*b + 4*b = -i. Which is bigger: 1/8 or b?
b
Let b = -82 + 88. Is b greater than 6?
False
Let h = 8 + -9. Which is smaller: -3/10 or h?
h
Let f be 12 - 12*5/15. Suppose -r + 3*j = -22, -5*r - 2*j - 23 = -65. Which is smaller: r or f?
f
Let d be -4 + 8/2 + -2 + 3. Which is bigger: d or 2/153?
d
Let q be 0 + 0 - 10/12. Which is smaller: q or -1?
-1
Suppose -4*n + 16 = 68. Let s = 14 + n. Are s and -1 nonequal?
True
Let z = 10.1 - 10. Let c = -20 + 14. Does c = z?
False
Let d = 2/7 - 29/28. Is 0.3 greater than d?
True
Let m = 19 - 13. Suppose -n - n = m. Which is bigger: n or -2?
-2
Suppose -7*k = -4*k - 378. Let z = k - 385/3. Is -1 less than or equal to z?
False
Let v = 3.4 - 15.4. Which is smaller: v or -0.1?
v
Let h = -33 - -32. Which is greater: h or 24?
24
Let c be (6/(-3))/(-1 - -8). Let q = 2.2 - 2. Let y = 0.2 - q. Which is greater: c or y?
y
Let a = 5.4 - 5.3. Is 3/13 <= a?
False
Let r(x) = x**3 - x - 1. Let o be r(0). Let q be 0/(o + 5 + -3). Let s = 5/6 + -13/12. Which is smaller: q or s?
s
Suppose -15 = -5*d + 55. Is 11 < d?
True
Let n(i) = i**3 - 13*i**2 + i - 14. Let r be n(13). Is r less than or equal to 11?
True
Let l(b) = -b**2 + 6*b - 9. Let d be l(4). Which is greater: d or 2/11?
2/11
Let o be 6/(-4) + 7737/54. Let g = -142 + o. Is -1 >= g?
False
Suppose 3*z = -o - 4*o + 9, 7 = 4*z + 5*o. Are -22/7 and z equal?
False
Let b = -9 + 9.1. Is b >= 3?
False
Let l(j) = j**2 - j - 2. Let w be l(-2). Suppose 2*g - 3*n = 5, -g + w*n + 2 = -3*g. Which is smaller: 2/15 or g?
2/15
Suppose 3*n - n - 8 = 0. Suppose -3 = r, -n*r = 2*q + 2*q + 20. Let d = 5 - 3. Which is smaller: q or d?
q
Suppose 2*j = -j + 3*t - 24, 4 = -4*j - 3*t. Let q = -11 - -8. Let y = q - j. Is y not equal to 1/6?
True
Let d be 3/(-18)*5/(-1). Which is bigger: 3 or d?
3
Suppose -5 = -11*s + 6. Let r = -141/7 - -21. Do r and s have different values?
True
Suppose 15 = -5*o + 20. Is o at most as big as 1/41?
False
Let v be 2 - -1*(0 + -3). Let a be v/(-5) + (-5)/25. Which is smaller: a or 2/7?
a
Let b = 80 - 63. Which is bigger: 3 or b?
b
Let w = -112 + 558/5. Suppose 2*v = 5*v. Which is smaller: w or v?
w
Let v = 0.1 + 0.1. Let l = -0.9 + 4.9. Let a = 5 - l. Is a smaller than v?
False
Let r(z) = -3*z**3 + z**2 + z + 1. Suppose -3 = -0*u + 3*u. Let x be r(u). Is 6 less than or equal to x?
False
Suppose -5*t = -17 - 3. Let v be ((-70)/(-15))/(2/9). Suppose 0 = 5*b - 3*i - v, 4*b - 13 = b + 2*i. Which is smaller: b or t?
b
Let h be 3/(-3) - 1 - -5. Suppose -6*n = -h*n + 3. Let g = 0 - n. Is g at most 0?
False
Let n = -0.009 + 0.139. Is