s greater: -1 or u?
u
Let q(h) = -h**2 - 3*h + 4. Let n be q(-4). Suppose n*l = -4*l. Does l = 1/2?
False
Suppose 2*d - 16 = -6*d. Suppose 4*a + 0 = 4. Which is bigger: a or d?
d
Let q = 3 - -19. Are q and 23 unequal?
True
Let m(s) be the third derivative of s**5/60 + s**4/3 - s**3/3 - s**2. Let x be m(-8). Let v = -6 - x. Is -3 != v?
True
Let c = 25 + -19. Let k(p) = p**3 - 5*p**2 - 7*p + 4. Let t be k(c). Suppose -2*l = -4*l - 4. Is l equal to t?
True
Suppose -4*d = -4 - 0. Which is bigger: d or -2?
d
Suppose -r - 38 + 114 = -3*d, 5*d + 5*r + 140 = 0. Which is bigger: -29 or d?
d
Suppose 0 = 7*m - 4 - 3. Let n = -1.2 - -0.2. Is n >= m?
False
Let l = 0.044 - -1.956. Which is greater: l or 1?
l
Let q be 1 - 2 - (-135)/125. Which is smaller: 1 or q?
q
Suppose 5*u - 30 = -5*h, -5*u + 9 = h - 9. Suppose -k = h*k - 20. Suppose 4*w = -k*y + 6, -3*y - 3*w + 4*w = -7. Which is bigger: y or 3?
3
Let c = 0.014 + -0.214. Do -4 and c have the same value?
False
Let x(o) = o**3 - 8*o**2 - 10*o + 9. Let i be x(9). Let b be 11/(-4)*(-4 + i). Let k be (b/3 - 3)*3. Which is smaller: k or 2/3?
2/3
Let a(z) = z**3 + 11*z**2 + 17*z + 2. Let m be a(-9). Which is smaller: 12 or m?
m
Suppose -f = f + 4. Suppose -10*c + 4 = -8*c. Which is greater: f or c?
c
Let i = 24 - -26. Which is smaller: -1 or i?
-1
Let d = -80 - -137. Is 58 less than d?
False
Let n be 6*(-1 + 9/6). Suppose v + 19 = 3*l, 0 = -l + 2*v + n*v + 11. Let d be ((-2)/4)/(3/l). Does -1 = d?
True
Let y = -4.61 + 6.61. Let q(v) = -v**2 - 5*v. Let i be q(-5). Which is bigger: y or i?
y
Let v = 28 - 10. Let a be 2/(-4) + v/(-12). Is a != 1?
True
Suppose -4*r - 4 = l + 3*l, 2*l - 3*r = 18. Let y be (1/(21/9))/l. Is 1 greater than or equal to y?
True
Suppose 0 = 6*l + 1 - 7. Which is smaller: l or -2/131?
-2/131
Suppose -5*b - 3*v = -11, 5*v + 0*v - 9 = b. Let w be (b/(-11))/(4/20). Let p = 57/77 + w. Which is smaller: p or 1?
p
Let y be 814/(-99) - (-4)/18. Is -9 at least y?
False
Let h = 4 - 3. Suppose o - 3*o - 4 = n, 2*o + 4*n = -4. Let r = o + h. Which is smaller: r or 2/5?
r
Let l = 1 + -3. Suppose -2*k = k. Which is greater: k or l?
k
Let o be ((0/2)/1)/1. Let a be -1 + 68/28 + -2. Is a greater than or equal to o?
False
Let h = -0.031 + 0.031. Suppose 3*x + 7 = 1. Is h != x?
True
Let p = 0.72 - -0.08. Let h = -0.3 + p. Let j = h + -0.4. Is j less than or equal to -0.1?
False
Let s be 2/12 - 412/24. Which is bigger: -12 or s?
-12
Let l = -63/10 - -587/90. Let b = 12 - 8. Which is greater: b or l?
b
Let o = -7/20 - -3/4. Which is greater: o or 0?
o
Suppose -5*m + 18 = -32. Let b be 0 + ((-8)/m)/(-4). Which is smaller: 1 or b?
b
Let l = 1 + 3. Suppose -2*o + 3*o - 1 = -y, -2*y - l*o + 10 = 0. Let r(k) = -k**3 - 2*k**2 + 4*k. Let x be r(y). Is x != -3?
False
Let a(d) = 3*d**2 + 3. Let r(w) = -12*w**2 - 13. Let q(n) = -26*a(n) - 6*r(n). Let b be q(-1). Which is bigger: b or -5?
-5
Let j = -5615/39 - -144. Is -1 > j?
False
Let v = -5/24 - -107/552. Let a = 3152/69 + v. Let n = 46 - a. Is n less than or equal to 2/7?
False
Let w = 11 - 6. Let z be ((-2)/w)/((-7)/(-5)). Let x = 5/13 + -41/39. Which is smaller: z or x?
x
Let s = -2 + 1. Let g be s + (-9)/(-6) - 1. Which is smaller: g or -1?
-1
Suppose 5*z = -3*k, -3*k - 3*z = 2*k. Suppose -5*n + 3 + 2 = k. Let g be 13/21 - 2/7. Which is smaller: g or n?
g
Let l be -1 - ((-4)/3 + 1). Let g be (7 - 2) + -11 - -6. Which is bigger: g or l?
g
Suppose 4*a + 4*w = 6*w + 6, 7 = -2*a - w. Let u be (-3 + 5)*2 - 4. Which is smaller: a or u?
a
Suppose 0 = -l + 8 - 4. Suppose -l*j + j - 4*c = 0, -4*c + 20 = -2*j. Let p be (-6 + 1)/(2/1). Is p less than or equal to j?
False
Let x(t) = 2*t - 1. Let r be x(1). Let z = -3 + r. Is -2 at least z?
True
Suppose -5*p + 0*p = 0. Suppose p*c + c = 1. Is c not equal to 1?
False
Let h be (-3)/63 - (-1)/3. Suppose 5*c - 9 = -z + 5*z, -3*z - 5*c = -37. Suppose -5*v = -v + z. Which is smaller: h or v?
v
Let h = -92 + 642/7. Let v(l) = l + 5. Let x be v(-5). Is h smaller than x?
True
Let l(g) = -g**2 - 24*g - 22. Let r be l(-23). Is r != 2/25?
True
Let f = -10 + 9.9. Is f at least as big as 9?
False
Suppose -2491 = -4*m - 567. Let r be ((-151)/1)/(22/(-70)). Let l = r - m. Which is bigger: l or 0?
0
Let w(o) = -o**2 - 18*o - 16. Let m be w(-16). Is m bigger than 14?
True
Let g = -3 - -2.4. Let d = 0.7 + g. Let b = -1314/7 + 188. Which is smaller: b or d?
d
Let l(a) = a**3 - 5*a**2 - 6*a + 3. Let h be l(6). Suppose 15 = 5*n, -4*n = 3*u + h + 3. Let q = u + 9. Is q at most 3?
True
Let m = 3 - 3.05. Let f = -2.95 + m. Let z = f - -3.06. Which is smaller: z or 0?
0
Let c be (-91)/(-35) + (-6)/10. Is -2/49 less than c?
True
Let a(k) be the first derivative of k**3 - 2*k**2 + 4*k + 3. Let m be a(4). Let h be 2/3 + 3/m. Which is greater: h or 2?
2
Suppose 0 = -2*x + 3*t + 6, 1 = -4*x + t + 3. Is x greater than 1/87?
False
Let y(t) be the first derivative of 2*t**3/3 + 3*t**2/2 - 3*t + 3. Let d be y(-3). Let x be ((-12)/(-45))/((-4)/d). Which is bigger: x or 1?
1
Suppose 5*j = -4*q + 13, -3*j - 4*q + q = -9. Let n = 248/5 - 694/15. Let u = 3 - n. Which is bigger: j or u?
j
Let k be -1*3/(-39)*-3551. Let m = k + 273. Which is smaller: m or 0?
m
Let c(s) = -5 + 2 + s + 1 + 1. Let w be c(1). Are w and -0.2 unequal?
True
Let b = -69 - -69.017. Which is smaller: b or 1?
b
Suppose 2*q - 2 = -6. Let y be 1/(1/3)*-1. Let u = y - 0. Which is bigger: q or u?
q
Suppose -5*g + 9 = -2*g. Suppose -4 = g*b + b. Let x be (b + 1 + -2)/(-9). Which is smaller: -1 or x?
-1
Let a = 22.2 + -4.2. Let y = a + -16.2. Let k = y - -0.2. Is k < -0.1?
False
Suppose -9*f + 4*f + 10 = 0. Let x be 6/2 + (-1 - -2). Suppose -3*p - 3*n = 6, -x*n - 29 = -5*p + 2*p. Which is greater: f or p?
p
Let h = 71/2 + -36. Is -10 <= h?
True
Let r(a) = a**3 + 6*a**2 + 4*a + 2. Let f be r(-5). Suppose -f = 3*y - 22. Let t be 1/(-5) + (-4)/y. Which is smaller: t or 1/9?
t
Let y be 2/3*6/10. Suppose 4*v = -12 - 0. Let j be (-91)/(-35) + v/5. Is y >= j?
False
Let k = -234 + 245.1. Let h = 2.1 - k. Let r = h - -9.3. Are 1 and r equal?
False
Let b(v) = -v**3 + 3*v**2 + 4*v - 3. Let g be b(4). Is g != 1/2?
True
Suppose -7*y + 4*y = 4*i - 15, 4*y + 2*i - 20 = 0. Suppose g = y*g. Which is greater: g or -4/7?
g
Let x = 48489 + -1357529/28. Let i = x + -25/4. Let q = 0 + -1. Is i less than or equal to q?
False
Let r be ((-3)/(-6))/(1/(-2)). Let j be (2 + 11/(-2))*6. Let c be (4/(-14))/(24/j). Is c equal to r?
False
Let j be (-1)/15*(2310/(-12))/7. Are 1 and j nonequal?
True
Let m = 1778 - 97794/55. Which is greater: m or 0?
0
Let h(t) = t + 2. Let i(s) be the first derivative of -s**3/3 + s**2/2 + s - 3. Let y be i(2). Let q be h(y). Which is greater: 2 or q?
2
Let f = -13873/25 + 555. Suppose p = 2 - 2. Which is greater: f or p?
f
Let q = -497 + 21374/43. Let z = q + 99/430. Is -1 less than z?
True
Let u = 21 - 87. Are u and -66 equal?
True
Suppose -c - 1 - 4 = 0. Let o = -4 - c. Let d = -5 - -2. Which is greater: d or o?
o
Let l = -1232 + 18472/15. Which is smaller: l or -2?
-2
Let w be (-4)/(-6)*(-13)/(-26). Is -1 less than or equal to w?
True
Let f(g) = g**3 + 6*g**2 + 5*g + 4. Let l be f(-5). Let z be (4/l - -1) + 6. Which is greater: 9 or z?
9
Let i = -1 - -5. Suppose 4 = -3*q + i*q. Is 3 at least q?
False
Let z be 346/(-110) - 9/(-15). Is -3 at least as big as z?
False
Let b be (15/5)/(0 - 1). Is -5 != b?
True
Let q be 6/(-12) - 13/2. Is 0 greater than or equal to q?
True
Let m(k) = k**2 - 4*k**2 + 3*k**2 + k**3 - 4*k**2 - 2. Let s be m(4). Which is greater: s or -1/2?
-1/2
Suppose -3 = -3*v + 6. Suppose -8 - 4 = -v*b. Do b and 5 have different values?
True
Let i = 81/355 - 2/71. Suppose g - 12 = -5*z - 2, 12 = 4*z. Let l = g + 7. Which is bigger: l or i?
l
Let d be ((-24)/(-20)*(-10)/(-3))/(-2). Do d and -24/23 have the same value?
False
Let u be ((-2)/(-4))/((-21)/(-2478)). Is u > 57?
True
Suppose -c + 2*c + 6 = 0. Let k(q) = -q - 6. Let v be k(c). Does v = 0?
True
Suppose -v = -w + 21, 0*w - 4*v = -w + 33. Suppose -5*o + 13 = -w. Let z = -3 + 8. Which is greater: o or z?
o
Let o = 29 + -32.8. Let y = 0.8 + o. Is -1 at most as big as y?
False
Let k = -380 - -6462/17. Let s(o) = o - 4. Let h be s(5). Are h and k equal?
False
Let x = 1.03 - -4.97. Is -12 greater than or equal to x?
False
Let y 