>= t?
True
Let k be (-4)/(-6)*-3 - 4. Let v(t) = 8 - 6 + t**2 + 4*t**2 + t**3 - 8*t + 0*t**3. Let c be v(k). Do 14 and c have different values?
False
Let u be 8/(-12) - 5356/(-6). Let v = u + -33893/38. Is v smaller than -1?
False
Let z = -8 - -7.2. Let k = -0.099 - -2.299. Let c = k - z. Which is bigger: -0.2 or c?
c
Suppose -522*m = -3529 - 1944 - 269. Suppose b + 3*w + 6 = 4*w, 0 = -5*b + w - 26. Let k be 2/b - 52/(-5). Which is greater: m or k?
m
Let k(d) = d - 1. Let v be k(1). Let q be (-2 + (-20)/(-5))*5. Let i be 1/1 - q/(-10). Which is greater: i or v?
i
Suppose -o = -3*o + 10. Suppose 4*w = -o*n - 6 - 14, -16 = 4*w + 4*n. Let i be w/(8 - 3 - 4). Which is smaller: -2/3 or i?
-2/3
Let s(t) = 8 + 6 - 5 + t**2 + 2 + 3*t. Let z(c) = -2*c**2 - 2*c - 11. Let f(i) = 3*s(i) + 2*z(i). Let u be f(8). Which is greater: -15 or u?
u
Suppose b + 2*i - 24 = 0, 82 = 4*b - 10*i + 11*i. Is 7 at most as big as b?
True
Suppose 0 = -4*i + 9*i. Let k be 112/(-44) - (i + -2). Which is greater: k or -2?
k
Let f = 5 + -5.3. Let p = -17.97 + -0.03. Let z = 19 + p. Which is bigger: f or z?
z
Let g be ((-11922)/84)/((-37677)/(-6)). Let x = -5/661 - g. Which is smaller: 1 or x?
x
Let d = 5/94 + -1361/846. Suppose 4*p + 0*p + z = 17, 0 = 5*p + 3*z - 23. Suppose -p*b = 3*v + 3 - 1, 0 = b + v. Is d < b?
False
Let v = -176 + 177. Which is smaller: v or -1/25?
-1/25
Let a = -3 - -15. Suppose 0 = 8*q - a*q. Which is smaller: -3/10 or q?
-3/10
Suppose p + 3*p + 20 = -4*v, 4*p = -5*v - 19. Let u be 6/9 + 178/p. Is u smaller than -28?
True
Let w = 998/5 - 200. Which is bigger: -6 or w?
w
Let h(f) = -f**2 + 45*f + 224. Let o be h(-5). Is -16 at least as big as o?
True
Suppose -13*t = -7*t - 54. Let z be t/18*-11*2. Is z not equal to -12?
True
Let u be 64/(-112) - 535/7. Are -77 and u equal?
True
Suppose 6*j = j - 40. Let b be 10*(-4)/j*1. Let k(z) = z**2 + 5*z + 4. Let i be k(-5). Is b less than i?
False
Let n be (-3)/((-14)/36 + 8/36). Suppose 19*h - n*h = -1. Is h > 68?
False
Let q be (-3)/(504/(-186)) - 1. Is q less than -2?
False
Let a = 60 - 60. Is 7/92 greater than a?
True
Let u = 0 - -1/3. Let l = -22 - -25. Suppose 5*d - 2*d = -4*w + 15, -l*d + 15 = 2*w. Which is greater: u or w?
u
Suppose 3*r + z - 12 = 0, r + z = -0*r + 4. Suppose -3 = -i - 2*o + 2, r*i + 5*o = 14. Let c = 3/2 - 17/10. Is c <= i?
True
Let f be (-6)/18 + 1322/3111 + 1. Let z = f + -18/17. Is 1 at least as big as z?
True
Suppose -q = -2*b + 6, 4*b - 9*q - 8 = -8*q. Are b and -1 unequal?
True
Let n = -20 - -11. Let c = n - -8. Let d(g) = 2*g**2 + g + 1. Let o be d(c). Which is greater: 3 or o?
3
Let c(u) = -u**2 - 2*u. Let s be c(-3). Suppose 5*h = -5*f - 25, f + 5*h + 13 = -0*h. Is f at least as big as s?
True
Let f = 8333/4 + -2083. Is f less than -0.31?
False
Let j be -6*(-2)/(-84) + 10/(-28). Suppose -5*l + 7 = -l + m, 5*m - 19 = -4*l. Let u be l - (-3 - -15)/4. Is u at most as big as j?
True
Let z be 0/1 + 527/(-5). Let r = -106 - z. Let v = -19.2 - -19. Is r >= v?
False
Let t(n) = -n**2 + 2*n + 1. Let y be t(3). Suppose 12*s = -286 + 262. Is s at most as big as y?
True
Let i = 3312 - 3326. Suppose 0 = 3*x - 4*d + 23 + 21, 0 = -4*x - 3*d - 42. Is i > x?
False
Let g(r) = 2*r - 97. Let o be g(-13). Is o smaller than -124?
False
Suppose 5*v = -4*x - 32, 8*v = -3*x + 7*v - 24. Which is bigger: 11 or x?
11
Let p = 373/30 + -91/10. Let g = 9 - 4. Suppose 2*k + g*a = 23, 5*a - 9 = 6. Which is bigger: k or p?
k
Let l = -11 - -14. Let o(p) = p**l + 25*p**2 - p**3 - p**3 - 28*p**2 - p. Let y be o(-3). Are y and -2/5 non-equal?
True
Suppose -4*k - 14 + 50 = -4*q, 3*q + 22 = 2*k. Suppose 6*c - 11 = -k*y + 3*c, 0 = -2*y - 2*c + 6. Is y less than 3?
True
Let p(b) = -4*b - 15. Let r(t) = 4*t + 16. Let i(s) = -4*p(s) - 3*r(s). Let j be i(-6). Which is bigger: j or -14?
j
Let n be 1 - 2/(56/(-805)) - 6. Is -3/4 >= n?
False
Let w = -10 - -10. Let c = -33 - -45. Let y = c + -10. Are w and y unequal?
True
Let l be (118/(-24))/(174/(-928)). Which is smaller: l or 26?
26
Suppose -2*z - 16 + 4 = 0. Let f be z/8 + -1 + 212/16. Which is smaller: f or 0.2?
0.2
Let i = 16/11 - 75/44. Is i > -14?
True
Let w(k) = -2*k**3 - k**2 - 3*k - 3. Let a be w(-2). Suppose -1 = 4*c + a. Let x = c + 3. Which is smaller: -3/8 or x?
x
Suppose 3*i - 2*f + 15 = -0*f, f - 9 = 2*i. Let g be (-15)/2 - 53/106. Are i and g equal?
False
Let m(i) = 7 + 5*i**3 - 10*i - 5*i**2 - 4*i**3 + 8*i. Let y be m(5). Is y > -3?
False
Let b(k) = 7*k + 12. Let r be b(-2). Let j be r - (-4 - (1 - 2)). Which is smaller: 4/5 or j?
4/5
Let h = -190 + 113. Let k = -78 - h. Which is smaller: -4/17 or k?
k
Suppose -4*r + 18 = -5*c, -r + 2*c + 2 + 4 = 0. Suppose 3*k = -1 + 10, r*k - 10 = 4*d. Suppose -3*w + 17 = -y - 6*w, 0 = -3*w - 15. Is y < d?
True
Let y be ((-24)/30)/((-2)/10). Suppose -5*d = -d + y. Which is bigger: 1 or d?
1
Let n = 230 - 148. Are 325/4 and n equal?
False
Let p be ((-3)/(-4))/(1/(-32)*2). Let k be 1*4/p*(-18)/(-21). Are -1 and k equal?
False
Suppose 0*a + 50 = 5*a + 4*g, a + 19 = 5*g. Suppose -t + 0*t - 4*x - a = 0, -3*t + 46 = -4*x. Let h = 13 - t. Which is bigger: h or -4?
h
Let r = -503.05 - -0.05. Is r less than or equal to -2/7?
True
Suppose 2*i = -4*s - 5 - 17, 5*i - 65 = 5*s. Is s greater than or equal to 10?
False
Suppose -4*g = -12*g + 192. Let t be g/(-18)*(-6)/(-20). Do t and -27 have different values?
True
Let t = 29 - 34. Let n be (t + 0)*(1224/(-615) - -2). Which is smaller: n or 1?
n
Let p = -3 - -3. Suppose -2*n - g - 37 + 5 = p, 2 = g. Which is greater: 0 or n?
0
Suppose 0 = -5*u - 176 - 14. Let s = 37 + u. Is -6/13 < s?
False
Suppose -8*n + 34 - 26 = 0. Let y = 6 - 0. Let c = y - 8. Is c less than n?
True
Let s = 8 + -60. Let j = -52 - s. Are j and -3/13 unequal?
True
Let p = 457/252 - 25/14. Suppose -3*t = -4*t - 1. Does t = p?
False
Let v be 2 + 6 + -4 - 2. Suppose -v*k + 9 = 23. Is k <= -7?
True
Let u = 23579/66 - 2173/6. Which is bigger: -1 or u?
-1
Suppose -1201 = 5*b + 229. Which is bigger: b or -285?
-285
Let z = 35 - 53. Let g = -17.9 - z. Is 0.1 >= g?
True
Let u be (-56)/(-21)*60/8. Which is bigger: 0.1 or u?
u
Let s = -129 + 128. Which is greater: s or 2/9?
2/9
Let g be 64/(-448) + 2/14. Which is greater: -7/5 or g?
g
Suppose 3*x - 92 = 103. Suppose 0*t + 2*t = -2*c - 46, -5*c + x = -5*t. Let r = -25 + 8. Which is smaller: t or r?
t
Let z = 961/6 - 482/3. Let s = 8 + -2. Suppose 3 = 3*a - s. Is z < a?
True
Let b = -286 + 1998/7. Let u(y) be the first derivative of y**3/3 + y**2/2 - y - 5. Let o be u(0). Which is greater: o or b?
b
Suppose -3*y + 6 = -3. Let s be 13/(-4 + y) + -3. Let k = 175/11 + s. Which is smaller: k or 1?
k
Suppose 23 - 6 = -4*s + 5*o, 5*s - 4*o = -19. Let k be 63/(-42)*s/(-4). Let n = k - -47/56. Is 3 >= n?
True
Let b = -55 - -43. Let g be 46/b + (7 - (11 + -7)). Which is smaller: g or 0?
g
Let u(h) be the second derivative of h**5/20 + 13*h**4/12 - 7*h**2 - 6*h. Let g be u(-13). Let k = g - -13. Is -18 > k?
False
Let s(w) = -2*w**3 + w**2 - 1. Let i be s(1). Let m be i + 3 - 5/(-5). Suppose -3*n + 10 = 5*x, -m*n - 12 = -4*x - 4. Which is smaller: 2/45 or n?
n
Suppose 14*k - 15*k = -12. Suppose 4*m - 57 = -y, 4*m - 5*y = 5 + 22. Which is smaller: m or k?
k
Suppose -2*w - 29 + 61 = 0. Let v be (w - -4)/2*-1. Is -10 at most v?
True
Suppose -u + 6*u - 10 = 0. Let m(c) = -c**2 - 7*c - 9. Let s be m(-4). Which is smaller: s or u?
u
Suppose -3*a = -87 + 42. Suppose -3*w - a = w - 3*c, -5*c - 3 = -2*w. Which is smaller: w or -9?
-9
Let x be (28/7 + -6)*4/(-6936). Is 0 greater than x?
False
Let n = -25 - -23. Let s = -5/2 - n. Is s greater than or equal to -0.05?
False
Let b be ((-6)/(-18))/((-8)/(-120)). Which is greater: -0.3 or b?
b
Suppose -4 = 6*w + 26. Let k(i) = -2*i. Let p be k(w). Is 12 < p?
False
Let u = -24 - -24. Suppose u*b + 2*b - 12 = 0. Suppose 10*q + 4 = b*q. Which is smaller: 6/19 or q?
q
Let m(r) = -10*r**3 - 2*r**2 + r. Let u be m(3). Let a be 4 + (3 - u/(-20)). Is -8 > a?
False
Suppose -4*s - 4*b + 940 = 0, 4*b + 430 = 4*s - 486. Which is bigger: s or 229?
s
Let y = 27.7 + -27.8. Which is smaller: -6 or y?
-6
Let j(p) = p**3 - 10*p**2 + 16*p + 2. Let c be j(8). Suppose c*o + 0 = 3*r - 7, 0 = -3*r - 5*o - 28. Which is smaller: -2.2 or r?
-2.2
Let w = -10.473 + -0.027. Let t = 11 