 = 6*k + k**2 - 5*k + 0 - 3. Let g be s(-2). Is g equal to -1/4?
False
Suppose -56 = 2*c - 62. Suppose -4*s + 25 = -5*i, 0 = -c*i - 2*i - s - 50. Are -8 and i nonequal?
True
Let g be 2 - (-2 - 1 - (6 - -1)). Suppose -g = 3*b - 12. Let n = 5 + -9. Which is bigger: n or b?
b
Let o(t) = 3*t**2 - 6*t - 2. Let p be o(2). Which is greater: p or -5?
p
Suppose 0 = -8*q + 4*q + 12. Suppose t = q*t. Suppose 2*l + 2*l + 36 = t. Which is smaller: -10 or l?
-10
Let w be (-12)/(-2)*(-5)/(-10). Let v be (-6)/(9/w) + 1. Let l = 2/865 + 336/4325. Is v < l?
True
Let z be (0 + 11)/((-4)/28). Are z and -77 equal?
True
Suppose 0 = -2*s + 20 + 12. Suppose 4*g = -h + 10, 6*g + 5*h = 3*g + s. Suppose c + g = 1. Which is bigger: c or -0.1?
-0.1
Let o(s) = -2*s - 22. Let q be o(-11). Is q at least as big as -1/363?
True
Let b = 200.1 - 200. Which is smaller: b or 0.01?
0.01
Suppose 3*b - 176 + 146 = 0. Let x be 30*(3 - 8/3). Are b and x nonequal?
False
Let o be 2/(-4)*(-140)/(-10). Let m = -13 - o. Let j be (4/m)/((-6)/(-81)). Which is greater: j or -11?
j
Let o = -1.84 + 1.94. Let s = 39/8 - 193/56. Which is greater: o or s?
s
Let o(y) be the second derivative of y**5/20 + 7*y**4/12 - 2*y**3 - y**2/2 - 3*y. Let q be o(-8). Let l = 30 - q. Are l and 0.7 equal?
False
Let c = -121/2826 + -2/157. Is -12 < c?
True
Let g = -33 - -35. Suppose -r = s + 5, 2*s + g = 3*r - 8. Do -1/57 and r have different values?
True
Let l = 59.2 - 37.2. Is l greater than or equal to -2/13?
True
Let g = -32 - -21. Let f = g + 10.9. Which is smaller: f or 0.09?
f
Let s(v) = -v**2 + 6*v + 3. Let p be s(5). Let n = 229/24 + -15/8. Is p > n?
True
Let q = -20/9 - -161/36. Suppose -4*b - 54 = 6. Let n = b - -17. Which is bigger: q or n?
q
Let h = 200 - 181. Is 11 bigger than h?
False
Let g = 90.9 - 389.9. Which is greater: -1 or g?
-1
Let b(h) = h**2 - 4*h. Let g be b(3). Let a(n) be the second derivative of -2*n**3/3 + 3*n. Let d be a(1). Which is greater: g or d?
g
Let z be (-3*(-10)/(-24))/((-25)/(-5100)). Do -255 and z have the same value?
True
Suppose 3*m = 2*j - 35, 5*j + 33 = 3*m + 98. Let i be (-114)/j + (-34)/(-85). Is i at least as big as -8?
False
Suppose k + 9 = -2*k. Let g(j) = -j**2 + 4*j - 7. Let q be g(3). Let d be 2/4*0 + q. Is d > k?
False
Suppose 24 = -0*i + 6*i. Suppose -36 = -14*v + 10*v - 3*o, 5*v = i*o + 45. Which is bigger: 13 or v?
13
Let x be ((-40)/25)/4*(13 + -8). Is -25/21 at least x?
True
Let x be (7883/(-13))/(-5 - -4). Let p = 607 - x. Is 1 equal to p?
False
Suppose -582 = 4*v - 166. Is v greater than -103?
False
Let v be (-3)/12 - -9*(-5)/12. Let n be (-22)/9 - (v + (-152)/(-36)). Which is smaller: -1 or n?
n
Suppose 86 = 4*v + 6. Suppose v = 2*o - 0. Let u be (-24)/o + (0 - -2). Which is smaller: -1/4 or u?
u
Suppose 5*h + 1 = -3*m + 212, 2*m = 4*h + 170. Which is bigger: m or 75?
m
Let s(n) = -n**3 - 19*n**2 + 21*n + 22. Let h be s(-20). Let k be (-5 - (-52)/8) + h/(-1). Let w = 5.08 + -0.08. Is k > w?
False
Let g = -15 - -19. Let m be (2 - g) + 15 + -2. Suppose 5*k + 4*d = -m, -2*d + 1 - 6 = 3*k. Which is smaller: k or 0?
0
Suppose 9 = l + 2*k, 4*l - 9 = -3*k + 2. Let z be (-2 + (3 - 2))*l. Is 3/2 at least z?
True
Let k be (660/(-28))/(-3) - -6. Is k at least 14?
False
Let m = 27 - 36. Suppose 22 = -2*k - 2*j, -5*k + k - 42 = 3*j. Is m less than k?
False
Let h(a) = a**2 - a + 1. Let g be h(2). Suppose -5*n = 2*f - 33, -3*f - g*n + 27 = -0*f. Which is bigger: 1 or f?
f
Let h be (-246)/(-9) - 16/12. Let t = -19 + h. Which is smaller: t or 3?
3
Let i = 1173 + -1176. Are i and 5 nonequal?
True
Let z be 3 - ((-4 - -3) + 9). Let p(x) = -x**2 - 5*x + 2. Let a be p(z). Let u be (-35)/(-50)*2*2. Which is smaller: u or a?
a
Let w be (4/12)/((-2)/(-54)). Let a = w + -10. Let n(m) = m**2 + m. Let z be n(-1). Which is smaller: a or z?
a
Let s be 13150/320*20 - (-1)/8. Is s <= 821?
False
Let d = -676004333/126756834 - 352/116719. Let s = -1/362 - d. Which is greater: s or 5?
s
Let o(g) = 45*g + 1. Let y be o(-1). Let v = -45 - y. Is v < -2?
False
Let x = -154 + 154. Is 6/25 bigger than x?
True
Let x be (36/(-24))/((-3)/(-200)). Which is greater: -101 or x?
x
Suppose 0 = -3*v - 2*v + 255. Let b be 2/(8/(-26)) + v/(-34). Suppose 0 = -4*n - 7 - 25. Is n >= b?
True
Suppose -i - 55 = -5*o - 0*i, 2*o - 49 = -5*i. Which is smaller: o or 5?
5
Suppose 5*z = -y + 59, 3*z = y + 2*y + 39. Suppose 11*h - z = 5*h. Is h bigger than -1/7?
True
Suppose -t + 0*t + 2*l = -17, 4*l - 15 = -5*t. Suppose -1 - 6 = t*i. Let v = 2/91 + 85/273. Which is bigger: i or v?
v
Suppose -4*l + 37 = -x, 31 + 4 = 5*l - 5*x. Let r = l - 52/5. Which is greater: -34 or r?
r
Suppose -6*t = -8 + 38. Let v = 24 + -35. Let r = v - -7. Which is greater: r or t?
r
Let b = -62 - -66. Suppose -5*m - 3*u - 11 = 0, 0*m - 2*m = -3*u - b. Which is smaller: -5 or m?
-5
Suppose 0 = 25*k - 21*k + 3*o + 140, 3*o = 2*k + 52. Is k <= -32?
True
Let t = 313 + -8139/26. Is t at most 0.5?
True
Suppose -3*t = -t - 8. Let q = 0 + 0. Suppose q = d - t*d + 21. Is 6 greater than d?
False
Let r be (-5)/(-3)*(-30)/(-10). Suppose 5*t - 14 = 6. Suppose r*p - t = 1. Which is bigger: p or -4/11?
p
Suppose 4*y + 55 = -h, y = 2*h - 0*h + 101. Let x = h + 46. Let a(t) = 3*t. Let c be a(-2). Is x greater than or equal to c?
True
Let y = -24 + 51. Let t = 26 - y. Which is smaller: -17 or t?
-17
Let h(v) = -v**2 + 21*v - 5. Suppose -4*y = -47 - 25. Let u be h(y). Are u and 48 non-equal?
True
Suppose 12 = 5*v - 3. Suppose 2*x + 6 = -4*s, 20 = 5*x - 5*s - 25. Suppose -d = 4*b - v*d, -3*b + x*d = 0. Which is greater: 0.3 or b?
0.3
Let k(v) = -v**3 - 3*v**2 + 2*v + 7. Let m be k(-3). Let z be (4 + (-22)/6)/(m/(-6)). Let s(p) = -4*p + 1. Let n be s(1). Is n at most as big as z?
True
Let u = 21.7 + 4.3. Let a = 24.318 + -0.318. Let y = a - u. Which is greater: 0.05 or y?
0.05
Let l(y) = y**3 + 18*y**2 + 15*y + 2. Let z be l(-17). Suppose 0 = 5*a - a + z. Let r be 2 - (-2)/(4/(-22)). Is r at least as big as a?
True
Let u be (3 - 75)/((-1)/(-16)). Let i = 107137/93 + u. Which is smaller: -1 or i?
-1
Let i be 1 + ((-20)/(-10))/((-2)/(-3)). Suppose i*f - 10 = -5*g + f, 0 = 4*g - 4*f - 8. Which is smaller: 9/16 or g?
9/16
Suppose 10*r + r - 66 = 0. Let a = -4 + r. Is a at most as big as -3?
False
Suppose -20 = w - 13. Let l be ((-208)/65)/(w/(-5)). Which is smaller: 1/5 or l?
l
Let f(w) = w**3 + 11*w**2 - 10*w + 26. Let k be f(-12). Suppose 5*c + k*c + 140 = 0. Is c greater than -20?
False
Let x = -10 - -10.48. Let p = x + 21.52. Let u = p - 23. Which is smaller: -3/4 or u?
u
Let k(s) = -2*s**2 + 3*s. Let b be k(-3). Let q be (-205)/(-9) + (-60)/b + -2. Let l = -51 + 75. Is q != l?
True
Let t be -94*3/42 - 4/14. Let z = 10 + -16. Which is greater: z or t?
z
Let o = -39 - 33. Let y = o - -71. Is -52 smaller than y?
True
Let m be (-1)/14*7/(65212/447112). Let u = 1/2329 - m. Which is bigger: u or 4?
4
Let f be 4/(-10) + 56/115. Let x = 8.4 + -14. Let t = x + 5.7. Is f not equal to t?
True
Suppose -15 = -5*p + 5*j, -4*p = -p + j - 9. Suppose 11*c - 16 = 7*c. Suppose -c*r = -r - v + 3, -4*r - 5*v = -15. Is p bigger than r?
True
Suppose 0 = 2*b + 3*b. Let r be (-12)/(-153)*3/8. Which is greater: b or r?
r
Suppose -3*w = -2*u + 25, 2*w = -16 + 6. Suppose x - 16 = q, 4*x + 2 = 3*x - u*q. Does 13 = x?
True
Let n = -31.3 - -0.1. Let r = n + 5.2. Which is greater: -1 or r?
-1
Let z(g) = 5*g + 5. Let a(u) = 9*u + 11. Let d(o) = 4*a(o) - 7*z(o). Suppose p + 4*p + 45 = 0. Let r be d(p). Are r and -1/23 nonequal?
True
Suppose -5*t - 5 = 0, 4*u = -0*t - 5*t - 1. Let l = -2/429 + 1730/3003. Which is bigger: u or l?
u
Let b = 162 - 64. Let d = b + -97.74. Which is smaller: 1 or d?
d
Let x be 16/10 + 4/10. Suppose 2*s - 8 = -x*q - 2, s - 6 = 2*q. Let n = 27/55 + -2/5. Is n != q?
True
Suppose -153 = 3*z - 3*f, z - 3*z = -3*f + 97. Let y(w) = w**3 - 6*w**2 - 3*w + 41. Let n be y(4). Let o be z/12*n/(-2). Which is bigger: o or -9?
o
Let x = -1046/980871 - 1/1643. Which is bigger: x or 1?
1
Suppose 21*h = 13*h - 632. Let t = h - -78. Let a = 483 + -3875/8. Is a >= t?
False
Let i = 44 + -160. Let v be 3/(-2) - (286/i + 1). Suppose 1 = -4*q + 3*q. Is v equal to q?
False
Let m be 15/((-90)/12) - -5. Suppose 0 = 5*c - 77 - 68. Suppose -6*q = -m*q - 6, 3*q + c = -5*t. Is -6 at most t?
Fa