 is greater: 38 or l?
l
Suppose 4*p = -10*w + 9*w - 197, 5*p = -3*w - 598. Let h = w + 215. Does 3 = h?
False
Let y be 22032/10 - 27/4320*32. Which is smaller: 2205 or y?
y
Let z = 0.03161 - -6.96839. Is -13 at least z?
False
Let x = -1.1066 - -1.1416. Which is smaller: x or 2.8?
x
Suppose -6*h + 22 + 13 = 29. Is 29/67 at most h?
True
Let y be (-4 - ((-248)/(-12) - 4))/((-6)/(-27)). Are -459/5 and y unequal?
True
Suppose 225 = 14*d - 83. Let p = 20 - d. Which is smaller: p or -10/9?
p
Let w = -7 - -10. Suppose -r - 12 = 5*y, -2*y + y = -w*r - 4. Let g be (r + 29)*(-3)/(-9). Which is bigger: 8 or g?
g
Let q = -2131/280545 + 4/951. Let u(w) = 3*w - 18. Let p be u(6). Is p >= q?
True
Let q be 12/(7/2520*4). Let t be (2/8)/(-5*105/q). Which is smaller: -2 or t?
-2
Let t = 0.025965 + -1.025965. Let q = -0.1132 - 0.5998. Which is bigger: t or q?
q
Suppose -500 = 45*g - 185. Let b = 109.13 - 109. Is b at most g?
False
Suppose 0 = -3*s + 16 - 4. Suppose 11*v - s*v = 0. Let j = 14 - 53/4. Which is smaller: v or j?
v
Suppose 60*b + 25*b - 425 = 0. Is 301/62 smaller than b?
True
Suppose -91 = 337*b - 246*b. Are b and 2/17565 equal?
False
Let y(g) = 0*g + 2*g - 4*g - 2*g + 2*g**2. Suppose 9*d - 8 = 5*d. Let b be y(d). Are 2/27 and b nonequal?
True
Let c be -2 - -113*1/44. Let i = 9/11 - c. Let n = 16119.8 - 16120. Are n and i nonequal?
True
Let v = -955241673 + 7847310415806/8215. Let t = v + -272/31. Do 0 and t have different values?
True
Let v = -10230 - -10195. Is -37 > v?
False
Suppose 4*q - 388 - 4 = -4*s, -4*q + 2*s + 416 = 0. Let k be (-9)/(-27) + 26/q. Let d = 0 + 1. Is k > d?
False
Suppose -14 = 46*b - 53*b. Suppose -t = -4*f + 17, 0*f - t + 1 = b*f. Let l be f/((12/(-100))/((-44)/20)). Do l and 55 have the same value?
True
Suppose 0*j + 7 = -5*j - 4*t, -4*t - 15 = -3*j. Suppose 4*s + 8 = 4*h, 2*h - 8 + j = 5*s. Which is greater: -2/63 or h?
h
Let k = -256/3 + 86. Let d(v) = v**2 + 12*v + 26. Let h be d(-8). Let n be (-32 + 4 + 0)*h/(-4). Which is smaller: n or k?
n
Let g = -131 - -226. Let h = g - 118. Do h and -23 have different values?
False
Suppose 0 = -3*v + 4*v - 3, 4*y + 90 = 2*v. Let g be 14/y + (23/3 - 1). Is 41/9 greater than or equal to g?
False
Suppose -2*p + 10 = -180. Let u(d) = 166*d - 6711. Let b be u(41). Is b >= p?
True
Suppose 3*h + 5*p + 37 = 0, -17 = h - 3*h + 5*p. Let k be (-5502)/(-56) + (-3)/(-4). Let d be (2430/k)/(-18)*2*1. Are d and h unequal?
True
Let q be (128/12)/((-992)/464) - -5. Suppose -3*s + 5*t = 3, 3*s + 4*t = -2*s - 5. Which is smaller: q or s?
s
Let v = 5362.89 - 5576. Let k = v - -213. Which is smaller: k or -0.09?
k
Let m(n) = -n**2 + 11*n - 14. Let k be m(9). Suppose 0*j - 1742 = k*x + 3*j, x + 3*j + 431 = 0. Let u = x - -1322/3. Which is smaller: 3 or u?
3
Let i = 11.81 - 13.71. Is i greater than 0.3?
False
Let q = -26 - -24. Let f be (1 + q)/(9/297). Let u = f + 33. Is u less than 4/23?
True
Let b = -70.45 - -87.45. Are b and 258 equal?
False
Let q be 1 + 2 + -9 + (-405488)/(-128212). Let s = q + -8/1687. Which is bigger: s or 2?
2
Let i = -1939.8 + 1936.8. Let b = -3 - -2.8. Let f = b - -0.2. Which is smaller: f or i?
i
Let r = 18/2503 + 939/913595. Suppose -2*y - 5*v = 0, 3*v = -0*y - 2*y. Which is smaller: r or y?
y
Suppose 0 = 25*u + 24*u - 4751 + 14012. Which is bigger: u or -191?
u
Let g(n) = -n**2 - 8*n + 38. Let z be g(-10). Let d(r) = -r**2 + 16*r + 36. Let k be d(z). Which is greater: k or -69?
k
Let i(x) = -3*x + 4. Let j(m) = 2*m - 4. Let p(g) = 4*i(g) + 5*j(g). Let v be p(-11). Let y be 75/(-32 - -7) - (-50)/18. Is y at most v?
True
Let f = -161 - -320. Let z = f - 172. Which is greater: z or 0.7?
0.7
Let h(w) = w - 60. Let g be h(0). Let b = 66 + g. Suppose b*y - 36 = 3*y. Which is greater: y or 10?
y
Let z = 307 - 609. Let t = z + 301.76. Which is smaller: 1 or t?
t
Let a(u) = 2*u - 28. Let f(c) = -4*c + 31. Let v(y) = 3*a(y) + 2*f(y). Let g be v(-10). Is g less than -2/3?
True
Suppose 0 = -5*b - 10, -4*g = 2*b - 799 - 541. Let q be 144/g - (-3)/((-21)/(-4)). Let a = -14363/38 - -378. Which is greater: q or a?
q
Let b(a) = -87*a + 89. Let x be b(1). Which is smaller: 172/55 or x?
x
Let l(h) = h**2 + 749*h - 7464. Let k be l(10). Let n be 0 - -124 - (1 + -3). Is n at least k?
True
Suppose 39*b + 39100 = -8909. Is -1225 < b?
False
Let x be (-14)/91 + (-105)/13*(-2464)/84. Is x at least as big as 237?
False
Suppose 950 = -5*u + 5*n, -27*n = -4*u - 34*n - 793. Is -75 at least as big as u?
True
Let t(c) = 3*c + 15. Let z be t(-5). Let d be 48/(-1224)*(4 + (-18)/4). Is z greater than d?
False
Suppose 3*g + 3 = 0, -5*g = 5*m + 3 + 32. Let n = 29 + -46. Let y be (2/(-4))/(n/(-204)). Is m < y?
False
Let v(d) = 15*d + 22. Let k be v(-16). Let y = k + 249. Which is greater: y or 91/3?
y
Let m(s) = s**3 - s**2 + 1. Let v(i) = -19*i**3 - 4*i**2 + 2*i - 1. Let a(t) = -4*m(t) + v(t). Let q be a(-2). Do q and 174 have different values?
True
Suppose -4*x - 18 = 6. Let z(y) = y**3 - 5*y**2 + y - 4. Let w = 158 + -153. Let b be z(w). Which is greater: x or b?
b
Let x(n) = -27*n - 421. Let j(a) = 133*a + 2102. Let b(i) = 2*j(i) + 11*x(i). Let m be b(-16). Is 68 <= m?
True
Let a = 86.42 + 794.78. Let c = 881 - a. Does 6.7 = c?
False
Let i(o) be the first derivative of 5*o - o**3 + 18 - 1/4*o**4 + 2*o**2. Let t be i(-3). Which is bigger: -5 or t?
-5
Let q be 30/(-63) - 7/((-343)/7). Is q less than -437?
False
Let c = -85.35 - -27.51. Let j = c - -57.8. Which is greater: j or -6?
j
Let q = -116 + 146. Suppose -q*s - 5676 = -8*s. Which is smaller: -259 or s?
-259
Suppose -77*t + 60*t - 62637 = 6111. Which is bigger: t or -4042?
-4042
Suppose -3*f + 15 = -3*d, 5*d + f - 5*f = -22. Let o be (d/5)/(1/5). Let m be 3 + o/(-11) + 18623/(-5929). Are 0 and m non-equal?
True
Let s = -0.30573 - -0.34233. Is s at most as big as -0.3?
False
Suppose -c + 3*s - 133 = c, -5*c - 285 = 2*s. Let h = 41 + c. Let d be (h/3)/((-1)/(-1)). Is d equal to -3?
False
Let u = -16.52 + -47.38. Let s = -72.6 + 8.6. Let q = s - u. Which is smaller: q or 2?
q
Let k = -709.37 + -8.63. Let g = -721 - k. Which is bigger: g or -42/17?
-42/17
Let g(a) = -4*a**2 + 78*a - 530. Let r be g(10). Which is bigger: r or -1662/11?
r
Let g = -0.77 + 1.89. Let p = 2.42 - g. Which is smaller: 3/2 or p?
p
Suppose 87*o = 262*o + 297*o - 100064. Are o and 149 equal?
False
Let v = -1300 - -1298. Suppose 3*d + 3 = 12. Let y = d - v. Is 6 less than or equal to y?
False
Suppose 0 = -0*p - 2*p. Let a be (-16 + 20)/((-4)/(-49)). Let i(t) = -t**3 + 47*t**2 + 98*t + 18. Let n be i(a). Is n at most as big as p?
False
Let m(h) = -h**3 - 6*h**2 + 2*h + 8. Let l be m(-6). Let x be ((-126)/60)/(9 - 210/25). Is l equal to x?
False
Suppose -10*k = -11*k. Suppose k = 2*n - 22 - 18. Suppose n = 6*u - 100. Which is smaller: 22 or u?
u
Let r be 43 + -47 + (2 - (-886)/446). Let x = r - 1977/2230. Which is bigger: -2 or x?
x
Let o = -687.49 + -11.51. Which is greater: o or 1?
1
Let y be (-1)/3 - (-77)/14. Let z be -5 - 1 - -16 - (-5 + 9). Which is greater: z or y?
z
Suppose -2*y + 9 + 3 = 0. Let n be (671/(-605) + 1)/((-6)/320). Which is smaller: y or n?
n
Let d be 2/2 - (-1 + 0). Let k = d + -2. Let a be (-166)/415 - (-574)/(-90) - -6. Is k equal to a?
False
Let s = 2058 - 2051.2. Is s at most as big as 1/10?
False
Let n = 18.9 + -19. Suppose -4*w + 20 = -j, -3*j + 4*w - 51 = w. Is j < n?
True
Suppose 0 = 4*z + 3*w - w - 74, 0 = -5*z + 4*w + 112. Let p = z - 22. Let k be (p*3)/(-4 + 27/6). Is -12 less than or equal to k?
True
Suppose -3*j = -4*a + 8678, 2674 + 226 = -j + 5*a. Is -2891 <= j?
True
Let l = 2674 + -125676/47. Which is greater: -9 or l?
l
Suppose -54*q + 6 = -56*q. Let j be 4 + q + 0 + 146/(-158). Which is bigger: -1 or j?
j
Let t = 0.6302 - -3.3698. Are t and 12/7 nonequal?
True
Suppose 2*j + 126 = y, 19*y + 3*j = 24*y - 602. Let s = 157 - y. Is s at least 39?
True
Let s = -3406 + 2261. Which is smaller: s or -1144?
s
Suppose -728 = 4*c - 2*i, 0 = 36*c - 35*c + i + 188. Is -186 greater than or equal to c?
False
Suppose -179 + 215 = -6*b. Let s be 2 + (-4 - b) - 6. Is s less than -40?
False
Let p = 540 + -510. Suppose 0 = -54*x + p*x - 48. Is 144 > x?
True
Suppose 17554 = -70*c - 64*c. Which is greater: c or -136?
c
Let k = -32782/1071 - 100/357. Which is greater: k