c be (-732710)/976360 - (2 - (-22)/(-8)). Which is smaller: -1 or c?
-1
Let c = -10382/165 - -322/15. Is c equal to -41?
False
Let v = 2357 - 2357. Are 802 and v equal?
False
Let r(f) = f**3 - 6*f - 4. Let n be r(3). Let z be ((-9)/(-6))/((-1281)/258 + n). Which is smaller: z or 41?
41
Suppose 5*d - 18 = 4*o, -2*o = -d + 1 + 5. Let y be (o/(-33))/(520/(-78)). Which is greater: y or 0?
0
Let l be 3*4/12*-1. Let r be 5626/(-25) - (-4 + 1). Let f = -222 - r. Which is bigger: f or l?
f
Let i = -15406/187523 + 2/3827. Let t = -233/147 + i. Let k(r) = -2*r**2 - 13*r - 9. Let b be k(-6). Is t != b?
True
Let i = 3217 + -3302. Which is smaller: i or -78?
i
Suppose 5*a + 145 = 10*a. Suppose u + 6 = -3*x, 4*u - x + 1 = a. Let h be (28/u)/(20/15). Does 4 = h?
False
Suppose 5*y + 4*i + 124 + 37 = 0, 0 = i + 4. Which is greater: -28 or y?
-28
Let u be 2/(-3 + 36/11). Are u and 8 nonequal?
True
Suppose -n = 2*v + 38, -5*v = -2*n + 17 - 57. Suppose 4*k = 4*q + 136, k + 13 = 3*q + 109. Is q > n?
False
Let s be (148/(-5))/(10 + 98/(-10)). Which is bigger: -149 or s?
s
Let r = -144.2 - -132. Let u = -10.2 - r. Which is greater: 39 or u?
39
Let k = 2985 + -2979. Let a = -6 + 15. Which is smaller: a or k?
k
Let l = 345 - 346.41. Let a = l + 1.31. Which is smaller: -8 or a?
-8
Suppose 4*a = 2*r - 1928, -2*r = -2*a + a - 1919. Suppose -r = 11*o + 208. Is -105 at most as big as o?
False
Let k be ((-282)/(-4))/((-69)/(-6) + -12). Is -1 != k?
True
Suppose -2*n + n = 4*o + 322, o = -4*n - 73. Let m be ((-1218)/2)/7 + 5. Is m at least o?
False
Let v = 267 - 267.22. Which is greater: -2/61 or v?
-2/61
Suppose -4*h - 2 = 2. Let g = 354297/31 - 11429. Is h smaller than g?
True
Let q(t) = -4*t - 104. Let y be q(-26). Let a be 4/20 - (-41)/(-30). Which is smaller: a or y?
a
Let h = -25877/12249 - -2/1361. Are -1 and h unequal?
True
Suppose h = -12 + 7. Let v be (-210)/(-4)*((-8)/h)/8. Is 11 greater than or equal to v?
True
Let v(j) = 11*j**2 + 3*j - 2. Let g be v(1). Suppose -3*w + 4*z - 5*z - g = 0, -3*w - 12 = -4*z. Is w < -3?
True
Suppose -22*r + 14*r = 0. Is -1/334 not equal to r?
True
Suppose -6*l + 15 + 33 = 0. Suppose -t - 130 = -5*v, -l - 4 = -v + 3*t. Let i be (-208)/1260 + 6/v. Which is greater: i or -1?
i
Let a = 2.62 - 2.6. Suppose 0 = 4*b + 2*p - 6, -4*p = 3*b - 12. Which is greater: a or b?
a
Let f = 1864022/553 - 1752706047/520373. Let h = 1/941 - f. Are -2 and h equal?
False
Let r = 1 + -3. Let z = 0.006 + 0.064. Is z equal to r?
False
Let h = -3/15667 - -48579/8240842. Which is bigger: h or -1?
h
Let n = 7 + -10. Let g be (((-872)/(-130))/(-4))/7. Let t = g - 3/65. Is t less than n?
False
Let g = 0.171 - -0.039. Let k = 4.21 - g. Let t = 6 - k. Which is smaller: t or -0.2?
-0.2
Suppose j + 2*o = -3*j + 14, -2*j + 19 = -3*o. Suppose j*g = 5, 3*y - 3*g = -0*y + 12. Suppose f - 3 = y*l + 8, -4*f = 2*l. Are f and 1 equal?
True
Let a be 942/(-938) - -4 - 3. Which is smaller: a or 0?
a
Suppose 0 = 2*s + 3*w + 11, 5*s + w + 17 = -3*w. Let t be (s*1/2 - -2)*9. Are t and 14 equal?
False
Let i be -4 + (3 - 1) - 176/(-112). Are 13 and i non-equal?
True
Let s = 0.029 + -0.049. Let h = 72/11 + -382/55. Is h less than s?
True
Let k be ((-6)/(-10))/((-351)/2730). Which is greater: -6 or k?
k
Let j(w) = 5*w**3 + 6*w**2 - 5*w + 3. Let i(b) = 4*b**3 + 5*b**2 - 5*b + 2. Let k(u) = 4*i(u) - 3*j(u). Let f be k(-4). Which is bigger: f or -15?
f
Let i(b) = 3*b - 10. Let d be i(5). Let t = -5 + 5. Suppose -2*s = -12 - t. Is d at least s?
False
Let g = -0.083 - 0.117. Which is greater: g or -30.3?
g
Let u(i) = 3*i**2 - 12*i + 4. Let z be u(2). Is 12 >= z?
True
Let b = 4992.994 + -4998. Let m = -0.006 - b. Let x = -3.9 + 4. Which is smaller: m or x?
x
Suppose -1 - 3 = -2*x. Let k(r) = 7*r - 26. Let u be k(13). Let h = u - 62. Is h less than or equal to x?
False
Let s be 1/(((-33)/(-935))/(6/5)). Let v(x) = x**3 + 7*x**2 + 3*x - 1. Let d be v(-5). Is d less than s?
False
Let v(h) = h**3 + 9*h**2 + 9*h + 8. Let y be v(-8). Which is smaller: -212 or y?
-212
Let x(p) = 3*p**2 - p. Let w be x(1). Suppose 10 = -q - 4*z, w*z + 16 = -3*q + 4*z. Let f(j) = j + 7. Let m be f(q). Is -2/17 less than m?
True
Let w(r) = -r**2 + 6*r + 55. Let y be w(17). Is -133 > y?
False
Let o be (-1156)/119*(-161)/9. Let r = o - 174. Suppose -12 = 3*b + 3*c, -c - 20 = 4*c. Which is smaller: b or r?
r
Suppose 0 = 6*h + 6 - 24. Suppose 3*n = -3*p + 17 + 16, 15 = h*p. Do n and 8 have different values?
True
Let x = 0.12 - 2.32. Let s = 2.2 + x. Which is greater: s or 2/21?
2/21
Suppose 5*d - 3*t + 63 = 0, 0*t + t = -d - 11. Let g(u) = -7*u + 6. Let a be g(d). Let b be (-40)/a*6/(-76). Is b greater than or equal to 0?
True
Let j = 916 + -163963/179. Which is greater: j or 0?
j
Let y be 2/(3*(-5)/15) + -1. Is -56 >= y?
False
Let r be (-2)/18*(-99)/(-12). Let a = r + 79/60. Let v be (25/(-30)*21/(-70))/1. Is a equal to v?
False
Let o(i) = -i**2 - 2*i + 8. Let r be o(-4). Suppose -4*b + r*z + z - 2 = 0, 5*z = b + 10. Let k = 418/15 - 86/3. Which is greater: k or b?
b
Let z be -54 - (-3 - 25/(-10))*-10. Is z at least -59?
True
Let l(y) be the first derivative of y**2/2 - 5*y + 8. Let h be l(5). Which is greater: h or 1/3?
1/3
Suppose y - 1 = 4*t, -8*t - y + 1 = -3*t. Suppose -2*r = 11 - 61. Suppose 0 = -4*f + f - j - 69, -f - j - r = t. Is f at least -23?
True
Let p = -3 + 4. Let v = 12 + -14. Let x be v/(-4)*(-5)/(-20). Which is smaller: p or x?
x
Let x = -1105.9 - -1104. Are x and 2 unequal?
True
Let q = -0.817 - 0.183. Is -2/833 at most as big as q?
False
Let g(u) = -u**2 - 17*u - 7. Let w be g(-16). Suppose -477 = -w*y - 72. Which is smaller: y or -1?
-1
Suppose 12*i + 72 = 18*i. Are i and 8 nonequal?
True
Let c = -476.025 - -476. Which is smaller: 1/2 or c?
c
Let r(s) = -s**2 + 10*s + 8. Let b be r(9). Suppose 0 = -12*m + b*m + 5. Let z = 1884/16303 - -2/959. Are z and m equal?
False
Let c(h) be the first derivative of h**4/4 - h**3 + h**2/2 - 4*h - 83. Suppose 0*g - 2*g = -l - 3, 5*l - 2*g = 9. Let z be c(l). Is z greater than -1/4?
False
Let q = -6.04 - -6.14. Which is greater: -153 or q?
q
Let y(b) = b - 3. Let w be y(3). Let u be ((1 - 8/4)*w)/1. Which is bigger: -5/22 or u?
u
Let w = -34 + 36. Suppose 0 = -0*c - 2*c + 4. Suppose 2 = 4*z + w*g, 0*z + 4*g + 26 = c*z. Which is smaller: 4 or z?
z
Let u = 587 + -584. Which is bigger: -65 or u?
u
Let t(d) = -8*d**2 + 18*d + 4. Let y(o) = -3*o**2 + 6*o + 1. Let i(r) = 4*t(r) - 11*y(r). Let x be i(-5). Suppose x = -25*b + 27*b - 2. Are -2 and b equal?
False
Suppose 2*b + 10 = 0, 69 + 46 = 4*f + b. Suppose 4*q = -3*k + k - 32, 2*k + 2*q = -f. Let u = 21 + -35. Is k greater than u?
False
Let u = -0.8 - -1. Let s = 746 + -745.74. Let n = u - s. Which is bigger: 1/4 or n?
1/4
Suppose 8 = 20*x + 68. Let h be (81/12)/(3*-1). Which is smaller: x or h?
x
Let q = 899 - 309253/344. Which is smaller: q or 0?
0
Let h(j) be the third derivative of -j**6/120 + j**5/12 - 5*j**4/24 + 5*j**3/6 + 12*j**2. Let y be h(4). Let b = -26/9 - -188/63. Which is smaller: b or y?
b
Let s(r) = 8*r + 7*r + 4 - 3 + 2*r - r**2. Let w be s(16). Which is bigger: w or 16?
w
Suppose -10 = -5*c + 3*w, 3*w = -5*c + 4*w. Let r be c*(4 + -7 + 6). Let u be (-9)/(-27)*r/26. Is u at most 1?
True
Suppose -4*t + v = -22, 5*t - 17 - 14 = 3*v. Let m(z) = -2*z - 9. Let x be m(-6). Suppose -3*q = -2*k + 2*q + 3, -2*q = x*k + t. Which is smaller: -5 or k?
-5
Let q = -10837560 + 160103273952/14773. Let t = 2/561 + q. Is -1 greater than t?
False
Suppose 0 = -q - 2*h + 159, 136 = q - 5*h - 44. Are q and 166 equal?
False
Suppose 4*q + 132 = f, -f - 22 - 70 = 3*q. Is q smaller than -31?
True
Let y(a) = 9*a - 13. Let t be y(7). Suppose 0 = 15*m - 8*m - 357. Is t >= m?
False
Suppose 16*o - 12*o + 316 = 0. Let u = -55 - o. Which is smaller: u or 25?
u
Let d be (-242)/(-120) - (31 - 29). Which is bigger: d or 0?
d
Let u = 58 + -13. Let v = -44.955 + u. Which is greater: -1/4 or v?
v
Suppose v + 9 + 70 = -3*c, -3*v - 237 = 4*c. Let s = v + 76. Which is greater: 1 or s?
1
Suppose 43 = 11*c + 230. Let a be (-4)/(5/4 - 1). Which is smaller: c or a?
c
Let z be (-5 + 3)/(-6) - (-22)/6. Suppose -3*m - z*v + 23 = 0, -3*m + v = -12 - 1. Is m equal to 7?
False
Suppose -8*a = -16*a + 128. Let w be (a/(-12))/(8/(-12)). Which is smalle