5/134 greater than or equal to u?
True
Let c = 111 - 117. Let n be c/4 - (-2 - (-15)/6). Do n and -2 have the same value?
True
Let l(i) be the first derivative of i**4/4 - i**3 - i**2/2 + 4*i - 8. Let o be l(3). Let j be (11/(-10) + 1)/1. Which is smaller: j or o?
j
Let h(u) = 5*u - 1. Let i(w) be the second derivative of 3*w**3/2 - w**2 - 4*w. Let a(v) = -11*h(v) + 6*i(v). Let k be a(-1). Is -1/2 bigger than k?
False
Let b = 2 - 3. Let r = 67/30 + -13/6. Which is bigger: r or b?
r
Let m = 555 - 556. Are -2/423 and m equal?
False
Let r = 3.027 - 3.123. Is 0.6 >= r?
True
Let p be 2/(-3) - (-40)/78. Suppose 3*a - 1 = 11. Suppose -a = 5*l + 1. Is p > l?
True
Let i = 388201/518 - 5247/7. Which is smaller: i or 1?
i
Let m be (2 - 1) + -1 + 8. Suppose 0 = -6*x + m*x - 24. Which is greater: 14 or x?
14
Suppose -13 = -4*x - 6*q + 9*q, 12 = 3*x - 3*q. Is x <= -1/4?
False
Let k(p) = 3*p**2 + 53*p - 568. Let j be k(12). Which is smaller: 502 or j?
j
Let u be 1*-10*(-6)/(-4). Let g be ((-10)/(-15)*u)/2. Which is smaller: g or -7?
-7
Let j = -7994/3 - -2687. Does -3 = j?
False
Let n be -62 + 3*(-8)/(24/(-7)). Which is smaller: -48 or n?
n
Let z = -0.009 + -0.0258. Which is smaller: z or 1?
z
Suppose 36 = 5*n - x + 3*x, x - 21 = -3*n. Let z = -28 + 23. Let q be 2 + 6/z*55/(-22). Which is smaller: n or q?
q
Let v = 397841/86268 - 14/3081. Let y = -20/7 + v. Which is bigger: 2 or y?
2
Let z be 3*(2/4 - 1). Let w(q) = -q**2 - 9*q + 20. Let y be w(2). Is z bigger than y?
True
Let d = -229 - -355. Let z be (-4)/(-18) + 1358/d. Which is smaller: z or 6?
6
Suppose 2*t - 3*a - 48 = 0, -5*a = t - 8 - 29. Let d be 9/t*3/(-2). Is d equal to -1?
False
Let d be 21/(-28) - -74*3/(-24). Is d greater than -10?
False
Let t = 20 - 41. Let y = t + 21. Which is greater: 2/61 or y?
2/61
Let g be 2/(7 - (0 + 1)). Let m = 4 + -17. Let b = -16 - m. Are g and b equal?
False
Let o = -1.917 - 0.083. Let w = 2.1 + o. Do -20 and w have different values?
True
Suppose 16*n + 16*n + 1088 = 0. Is n not equal to -240/7?
True
Let g(x) = -x**3 - 7*x**2 + 13*x + 11. Let r be g(-7). Is -80 at least r?
True
Let v be 4/(-10)*(1 - -4). Let a = -2.76 + 18.66. Let w = -16 + a. Which is bigger: v or w?
w
Let c = -11 - -9. Let r = -4 - -2. Is r < c?
False
Let x = -3.25 + 3.45. Which is greater: -1/178 or x?
x
Let z = 21.62 - 20.22. Which is bigger: z or 16?
16
Let l = 87 + -86.8. Are 2/7 and l equal?
False
Suppose -5*g - 15 = -0*g, -3*h + 5*g = 0. Let w(i) = 4*i - 2. Let b(j) = -j + 1. Let x(r) = -3*b(r) - w(r). Let p be x(h). Is p less than or equal to 3?
False
Let k = -2.02 - -0.02. Let v = 352 + -352. Let u = k + v. Are u and -2 nonequal?
False
Let x(g) = -g - 12. Let f be x(6). Let l be (7/3 + -2)/(3/f). Which is greater: l or -7/9?
-7/9
Let g(u) = -u**3 - 8*u**2 + 2*u + 9. Let s be g(-8). Let n = 6 + s. Let c be -3*(2 + n - 2). Does c = 5?
False
Let p(k) = 2*k**3 - k**2 + 5*k - 5. Let y be p(2). Suppose y + 23 = -4*a. Which is smaller: a or -52/5?
-52/5
Let h(p) = -4*p + 20. Let s = 22 + -14. Let q be h(s). Is -13 >= q?
False
Let t = 202.7 - 203. Which is smaller: 10/3 or t?
t
Let r(p) = p**2 + 6*p - 2. Let t be r(-7). Suppose -t*v - 2 = -7*v. Suppose -g - v = 2. Is -4 at most as big as g?
True
Let n = -52.68 + 54. Let w = n + -0.32. Is -0.7 >= w?
False
Let h be 6*(-12)/(-8) + -1. Suppose 4*s + 3 - h = -d, -3*d + s + 2 = 0. Are d and 5/18 equal?
False
Let z = 0.4169 + -0.1169. Are z and -8 equal?
False
Let i = -237 - -7. Let c = i - -682/3. Which is smaller: c or -3?
-3
Suppose -r - 6*t + 2*t = -10, 0 = -4*r - 4*t + 16. Suppose 0 = 3*z + 2*z - r*d - 26, 0 = 2*z - 2*d - 14. Which is bigger: z or 10?
10
Let s(r) = r**3 - 7*r**2 + 14*r - 20. Let w be s(5). Which is smaller: -349 or w?
-349
Suppose -7*m + 6*m = -9. Let v = m - -21. Let d be 82/v + 7/(-21). Is 1 bigger than d?
False
Let v be 0 + 0 + (11 - 1). Let t = -12.4 - -19.1. Let c = -6.6 + t. Is c less than v?
True
Let a be (-1 - -2)*9 + (-4 - -1). Suppose -34 = a*z - 4*z. Which is smaller: -19 or z?
-19
Let p be 12/(-10)*(-2310)/(-891). Suppose -4*k = -0*k + 16. Is k at least as big as p?
False
Let h(p) = 27*p - 1. Let i be h(-1). Let u be 6/i*(-14)/36. Let s(n) = n - 9. Let d be s(8). Is u less than or equal to d?
False
Let m(x) = -x**3 + 9*x**2 - 8*x - 7. Let d be m(7). Let u = d + -49. Let q be (-29)/28 - 4/u. Which is smaller: -2 or q?
-2
Let n = -26.1 - -26.2. Which is smaller: n or 0.146?
n
Let s be 620/140 - 4/(-7). Suppose 2*o = o - s*b + 28, 3*b - 12 = 0. Suppose 24*d - 20*d - o = 0. Does d = 0?
False
Let q(b) = 7*b**3 - 17*b**2 - 3*b + 21. Let z(x) = -15*x**3 + 35*x**2 + 6*x - 43. Let y(d) = -13*q(d) - 6*z(d). Let g be y(10). Is g > 115?
False
Let t = -37358/23 - -1624. Let p(x) = x + 10. Let v be p(-11). Are t and v nonequal?
True
Let h be (-54)/(-63)*-7 + (-1112)/(-174). Which is smaller: 0 or h?
0
Suppose 0*l = -2*l. Let b be 294/(-735) + 129/(-165). Which is bigger: b or l?
l
Let c = -31 - -208/7. Which is smaller: c or -2?
-2
Let y be (-16)/(-56) + -23*1/7. Let c(f) = 3*f**2 - f + 3. Let m be c(y). Are m and 32 nonequal?
True
Suppose 4*k - 3 = -v, 0 = -3*v + 5*k + 40 + 3. Let f(u) be the second derivative of -u**3/6 - u**2 - 7*u. Let y be f(-12). Which is smaller: v or y?
y
Suppose 0 = -0*r + 2*r + 120. Let b = r + 1259/21. Suppose 2*i - f = -5*f - 14, -4*i - f = 0. Is b equal to i?
False
Let h = -2129/4 - -532. Which is smaller: h or 0.0021?
h
Let g be 0 + 7/49 - (-13256)/210. Let n = g - 63. Which is smaller: 2/7 or n?
n
Let t = 0 + 4. Let j be 12*t/(-16)*2. Let a be (-10)/3 + j/9. Are a and -4 non-equal?
False
Let s be (2 - -1)/3 - 2. Let f = -2.2 + 7.2. Let h = f + -7. Does h = s?
False
Suppose 0 = 9*z - 5 - 40. Suppose -z*u + 4*h - 44 = 0, 0 = -2*u + 6*u + h + 31. Are u and -22/3 equal?
False
Suppose 0 = -2*y + 3*y - 3. Suppose 0*l - y*l - 131 = b, l = -5*b - 39. Let d be (-27)/l - 1/4. Which is smaller: 1 or d?
d
Let j = 108/19 + -2164/247. Let r = 1718/533 + j. Is r at least 0?
True
Let c = -190 - -186. Which is smaller: c or -0.7?
c
Let s be 1*(-2)/3 + (-9031)/(-3696). Let z = s + -17/16. Which is smaller: z or 0?
0
Suppose -d + 5*d = 3*z - 29, 5*d = 2*z - 38. Let a(r) = r**2 + 9*r + 11. Let p be a(d). Let c(y) = y**2 - 5*y + 1. Let l be c(p). Is -6 smaller than l?
True
Let d = -6.7 + 7. Let v = 1.1 + d. Let t = v - 1.2. Do -0.2 and t have the same value?
False
Let l be ((-8)/170)/(52/(-25) - -2). Is l > 2?
False
Let f = -2 - -1. Let z = -2213/300 - -174/25. Which is bigger: z or f?
z
Let w = 0.346 - 2.246. Is 3 greater than or equal to w?
True
Let a(m) be the first derivative of -4 - 10/3*m**3 + 1/4*m**4 + 4*m**2 + 7*m. Let n be a(9). Is -3/5 smaller than n?
False
Suppose 4*a + 1066 = 2*o, 4*a + 4*o - 249 = 5*a. Is a less than -269?
False
Let v be (3 + (-96)/27)/(110/(-44)). Is v at least as big as -73?
True
Let k(p) = -12*p - 40. Let z(d) = 4*d + 13. Let q(n) = 4*k(n) + 11*z(n). Let y be q(-4). Is y at least 2/81?
False
Let x(g) = -45*g + 701. Let a be x(29). Is -603 less than a?
False
Let t = 1/1594 + 4675/170558. Is t <= 1?
True
Let c = -30 - 5. Let m be 82/14 - 5/c. Is 4 > m?
False
Let x = -45 + 32. Let g = x + 13.6. Let f = g - -2.4. Is f != -1/3?
True
Let p(s) be the first derivative of -s**4/4 - s**3/3 + 4*s**2 - 4*s + 12. Let l be p(3). Is l >= -16?
True
Let c = -678 - -2747/4. Suppose -2*j + k = 3*j - 48, 0 = 2*j + 4*k - 28. Which is greater: j or c?
j
Suppose 10 = 3*g - 26. Let b be (8/(-14))/(g/(-42)). Let s be (-10)/(-15)*b/4. Is -0.3 <= s?
True
Let m = -58/75 + -2/75. Suppose -7*d + 1 = -27. Which is bigger: m or d?
d
Let h = -0.1 + 11.1. Let b = h + -10.96. Let u = -0.185 - -3.185. Is u > b?
True
Let v(o) = 8*o + 49. Let u be v(-6). Let b be (-3)/6*(-12)/82. Is b < u?
True
Let g(w) = 79*w**3 - 2*w + 1. Let d be g(1). Let v be ((-10)/(-12))/(13/d). Suppose -k = v*s + 4 - 14, -3*s = -4*k - 6. Are k and -1 non-equal?
True
Suppose -3*o - 24 = -5*g, -4*o - 21 = -5*g + 2*g. Let a be 9/6 + o/(-2). Suppose -3*y = -4*y - a. Which is smaller: y or -2?
y
Let x be (-3)/6 - (-4)/8. Suppose 4*y = -x*k - 2*k + 6, -4*y = -4*k. Is 2/7 at least as big as y?
False
Suppose 5*w = -4*o - 4984, 2*o = -26*w + 23*w - 2990. Is w less than or equal to -996?
True
Let z(k) = -10*k - 4. Let t be z(-3). Suppose -t - 13 = -3*q. Supp