 = 5*k, 3*k + 24 = 4*c. Is -19 less than or equal to k?
True
Suppose l + 5*c + 36 = 15, -c = -5*l - 183. Which is smaller: -39 or l?
-39
Suppose 0 = -3*b - 11*x - 46, 34*b - 37*b + 3*x = 18. Let m(c) = c**3 - 4*c**2 + 3*c. Let u be m(2). Are b and u non-equal?
True
Let y be (-51)/(-15) + 4/(-10). Suppose 0 = 2*h + y*h. Suppose h = a + 3*a - 12. Is a greater than or equal to 4?
False
Let h = -30 + 18. Let v = 11.94 + h. Which is greater: v or 1?
1
Suppose 3*h - 315 = 5*t, -h + 98 = -0*h - 4*t. Suppose 0*a = 2*n - a - h, 5*a = -20. Is n at least 53?
True
Let j be (-4941)/405 - (9/5 - 1). Is -17 < j?
True
Suppose 3*u - 5*u - t = -9, u = -5*t. Suppose 3*l - 9 = 0, 2*y - 15 = -u*l + 4. Suppose -f = f - y. Is -1/34 smaller than f?
True
Let o(w) = -2*w**2 - 9*w + 35. Let s be o(-7). Is -8/41 less than or equal to s?
True
Let o(u) = -u - 26. Let j be o(-15). Is j smaller than 1?
True
Let d = -1935911 - -522694951/270. Let t = 37/10 + d. Let f be 0 - ((-2)/2 + 0). Is f > t?
True
Let l = 15 - 9. Let x be l/(-2*(-5)/(-25)). Let u be (6/(-4))/((-21)/(-196)). Which is greater: x or u?
u
Let y = -60 - -92. Let l be 3*8*2/12 + -5. Which is bigger: l or y?
y
Suppose -3*l + 43 = -47. Suppose 4*s + l = -s. Let v be (-1)/(-3*(-2)/s). Is v less than 3/10?
False
Suppose -165 = -0*d - 5*d - 4*s, 5*s - 25 = 0. Suppose d + 31 = 3*v. Let m = v - 21. Is -2 equal to m?
False
Let p(g) = g**2 + 2*g - 4. Let i be p(-3). Let u = -15 + 18. Let o be u + -2 - 4/7. Which is greater: o or i?
o
Suppose 0 = -12*s + 6*s + 96. Is s at least 9?
True
Suppose -3*b = -4*b + s, b = 3*s - 6. Let v be (20/(-7) + b)*1. Let p be 6/4*6/(-9). Which is smaller: v or p?
p
Let m(w) = 5*w + 78. Let c be m(-28). Suppose 5*k + 129 = -2*b + 7, 0 = -4*b + 5*k - 244. Which is smaller: c or b?
c
Let o = -1.14 - -1.54. Which is bigger: o or 2/21?
o
Let y = 79 - 80. Is y less than -2/7?
True
Let r = -16 + 18. Suppose 4*v - 4*n = -8*n - 12, -n + 12 = -2*v. Let k be 20/(-8)*(-1)/v. Is r smaller than k?
False
Let v = 1655 + -1650. Which is smaller: v or -0.19?
-0.19
Let m = -935 - -934. Is -3/89 < m?
False
Let m be 4/(4 + -8) + 3 + 115. Let j = m + -119. Which is greater: j or 1?
1
Let r be 1/(-3*(-4)/24). Suppose -r*p - 2*p = 0. Suppose 0 = 3*q - q. Is q >= p?
True
Let y = 0 + 0.02. Let d = 0.27 + y. Let h = d + 0.11. Are 1/3 and h non-equal?
True
Suppose -5*u + 11 = 2*v, -13 = -3*u + 2. Let a be v*(6 + -2 + -5). Is a at most 7?
True
Let h be -2*(-2)/(4/(-7)). Let p = 6 - 10. Which is smaller: h or p?
h
Suppose 4 = 3*g - 71*u + 69*u, 0 = -3*g - u - 2. Which is bigger: g or 12/191?
12/191
Let b(n) = -3*n + 16. Let v be b(4). Is -19 greater than v?
False
Let a(j) = 2*j**2 + 5*j - 3. Let r be a(3). Suppose -5*g + 2*d + 5 = 0, -4*g - g - r = 5*d. Which is smaller: g or -1/40?
g
Suppose -8*h = -4*h - 5*f - 29, -3*f = 5*h + 10. Is h > -2/13?
True
Let a be (-66)/(-77) - 3156/3486. Is a at most 0?
True
Suppose -23 = 3*t + 13. Let y be t/9*(6 + 0). Does y = 0?
False
Suppose 2*j + 36 = -j. Let i(a) = a**3 + 2*a**2 - 7*a - 9. Let r(h) = -4*h**2 + h + 1. Let c be r(-1). Let u be i(c). Which is bigger: j or u?
j
Let a = -52 + 50. Let p be (-8)/(-2)*(-25)/(-20). Suppose -4*c - p*s - 35 = 0, -4 + 3 = -c + 2*s. Which is bigger: a or c?
a
Let j = -13 - -15. Suppose q - j*q = 32. Which is smaller: -33 or q?
-33
Let y be 0/(-2) - (-10)/2. Suppose -3*u = -y*u. Suppose -3*i - a + 13 = 39, -5*i + 3*a - 62 = u. Which is greater: -9 or i?
-9
Let z = 50 - 346/7. Let o = -228 + 709/3. Let c = o + -8. Which is smaller: z or c?
c
Suppose 0 = -2*v + 2*b - 50, -3*v + 2*b - 5*b = 51. Let s be 3/(-3*1/22). Let m = s - v. Which is smaller: m or -3?
-3
Let w(k) = -k**2 + 24*k - 149. Let p be w(20). Is p greater than or equal to -70?
True
Suppose 0 = -2*r + 68 + 18. Suppose -1956*u = -1959*u + 129. Are u and r unequal?
False
Let q = -36 - -38. Suppose 179 = q*x + 143. Which is smaller: x or -2?
-2
Suppose -l - 68 = 2*z - 0*z, 5*z + 4*l = -170. Let w be (-3)/((-9)/204*-2). Is z < w?
False
Let j(a) = a**3 + 7*a**2 + 6*a - 4. Let k be j(-6). Let x(u) = 2*u**2 + 5*u + 3. Let c be x(k). Let l = -13 + c. Which is smaller: 0 or l?
0
Let g = 80 + -83. Let u be (-3)/(-6)*(7 + g + -5). Is u >= 19?
False
Suppose -g + 9 = 3*z, 0 = 3*z - 6. Suppose g*t - 8 = 1. Let b be (27/24)/(t/4). Which is greater: b or 3?
3
Let l = 0.025 + 0.075. Which is smaller: 135 or l?
l
Let x = -22.982 + -0.018. Let b = 13 + x. Let l = b + 10.1. Is 3 less than or equal to l?
False
Let q = 255 + 788. Is 1043 bigger than q?
False
Suppose m = -2*m + 5*d - 166, 3*m + 206 = -5*d. Let l = m - -80. Let j be 3/5 - 77/(-5). Which is greater: j or l?
l
Let o = 0 - 2. Let c(v) = 5*v + 3. Let r be c(o). Let b(x) = -x**3 - 13*x**2 + 12*x + 420. Let t be b(-10). Which is smaller: t or r?
r
Let w(b) = 2*b**3 - 10*b**2 + 9*b - 45. Let c be w(5). Which is smaller: 2/763 or c?
c
Let p = 737 - 739. Let f be 2/((-1)/(6/32)). Which is smaller: p or f?
p
Let l = 311 + -250. Which is smaller: l or -8?
-8
Suppose 115 + 145 = -3*d + c, 4*c - 94 = d. Is d bigger than -2?
False
Suppose 13 = 4*t + 9. Let w be t/(-5) - 3/15. Suppose f + 2 = -2*o, -1 + 2 = -5*f - o. Which is bigger: w or f?
f
Suppose -5*n = 4*s - 3*n + 12, -5*n = 2*s + 6. Suppose -16 = -94*u + 98*u. Do u and s have the same value?
False
Let p(b) = b**2 - 8*b. Let k(s) = -s - 1. Let f(d) = k(d) - p(d). Let y be f(7). Is y < -0.1?
True
Let c = 64 - 79. Let g(h) = h + 31. Let d be g(c). Is d greater than 17?
False
Let c(b) = 5*b - 74. Let m be c(16). Which is smaller: m or 0.5?
0.5
Let r = 2884 + -152857/53. Which is smaller: -1 or r?
-1
Let t be 4185/60 + (-12)/(-4). Is 72 less than or equal to t?
True
Suppose -7 = 2*q - 3. Let i be q - ((-164)/76 - 0). Let n = 5 + -4. Which is smaller: n or i?
i
Suppose -y - 3*j = 3*y + 180, 0 = 3*y - 4*j + 160. Is -48 at least y?
True
Let g = -1.45 + 1.4. Let h = g - -11.05. Which is bigger: 1 or h?
h
Suppose -q + 26 = 5*h, -3*q = 6*h - 2*h - 100. Suppose -2*l - q - 40 = 0. Are l and -38 equal?
True
Suppose -5*z + 1 - 11 = 0. Let t be ((-30)/6)/(-25)*z/(-1). Suppose -3*j + 5 = 2*j. Which is bigger: t or j?
j
Let d be (6/4)/(6/96*12). Suppose -4*x - 3*n + 227 = 0, 0 = 5*x + d*n + 76 - 351. Is x less than 53?
False
Let r = 0 + -2. Let d be (-2)/(8/(-12)) + r. Is d not equal to -7?
True
Let m(t) = t**3 + 17*t**2 - 11*t - 12. Let r be m(-18). Is r > -551/4?
False
Let t be (-4)/6 + 98/(-6). Let u = t - -18. Are 3/7 and u unequal?
True
Suppose 0 = -5*x + 6*x + 41839. Let r = 168199/4 + x. Let b = -214 + r. Is -3 less than or equal to b?
False
Let d(x) = -3*x**3 + 8*x - 2. Let a be d(2). Is 6 at most as big as a?
False
Suppose 40 = j + 39. Let f = -1 - -3. Is f not equal to j?
True
Let d be (-2)/5 + (-77169)/(-435). Is d <= 177?
True
Suppose 7*z = 81 + 3. Let p be (-3)/(-12)*-2*(z - 0). Is 3 smaller than p?
False
Let d = 137 + -617. Is d at most -481?
False
Let n = -487 - -505. Is -9 bigger than n?
False
Let n be -10*(1 - 0)*12924/(-14360). Suppose -5*c + 15 = -4*r, 2*r + 3 = c - 2*r. Suppose -x + 3*x - 10 = 4*q, -c*x + 33 = 3*q. Is n equal to x?
True
Suppose 0*b = -6*b + 90. Suppose 18*x = b*x. Which is smaller: x or -12/11?
-12/11
Let t be (0 + -1)/(3/3). Let j be (-704)/(-736) + 2/(-2). Is j at least as big as t?
True
Let s be 2916/(-432)*332/(-3). Do 747 and s have the same value?
True
Let n = 17.157 + -17.057. Let a = -3 + 2.5. Let h = a + 0.42. Which is smaller: h or n?
h
Let c(g) = -10*g**3 + 2*g**2 + 8*g + 13. Let w be c(-2). Is 85 < w?
False
Let x be 1 + -2 + 3958/(-20)*2. Let t = x - -398. Which is bigger: -3/8 or t?
t
Let f = 1930 - 1018. Is f < 912?
False
Suppose 2*f + 1 = -m + 8, -3*f - 9 = -5*m. Suppose 0 = m*n + 2*k + 14, -4*n - 3*k - 16 = 3. Is -5/2 <= n?
False
Let c be (-50)/225 - (-1 - (-25)/9). Let q be (16/72)/(c/51). Which is bigger: -7 or q?
q
Let v = -1/90 - 19/90. Let r = 223 - 74. Let y = r - 145. Which is bigger: v or y?
y
Suppose 4*j - c = 11 + 7, -c + 2 = 0. Suppose 88 = -j*d + d - 4*z, -4*z = -d - 17. Which is greater: -20 or d?
-20
Let k = -0.27 - 1.364. Are k and 0.1 non-equal?
True
Let f = 13 - 16. Let w be (-1)/((-80)/28 - f). Let p be 4/(-14)*w/9. Which is bigger: 2 or p?
2
Let c = -1631 - -14665/9. Let s be (-1 + -2 + 0)/1. Which is smaller: c or s?
s
Let l = 3.38 + 0.02. L