g?
True
Suppose -8*l + 1620 = -44*l. Is l less than -45?
False
Let k be (-1 + (15 - 3))*2. Is k less than or equal to 23?
True
Let t = -14.3 + 14.2. Let c be (-3)/((-24)/15 - -1). Let x = c + -4. Is x >= t?
True
Suppose 3*q + 2*o = -3*o + 6, -q + 3*o + 16 = 0. Let p be 4 - q/(91/46). Which is smaller: 1 or p?
p
Let n = -38 - -53. Let b be 1*-8 + (-2)/(-1). Let m be n/(-9)*b/14. Is 2 >= m?
True
Let u(q) = q**3 + 9*q**2 + 6*q + 2. Let z be u(-8). Let o = -18 + z. Which is bigger: o or -1?
o
Let b be (-400)/18 - (-4)/18. Let s be 6/((-36)/b) + -3. Are 2 and s nonequal?
True
Suppose 6*j - 9*j + 297 = h, j - 2*h - 106 = 0. Are 100 and j nonequal?
False
Suppose 4*z + 4 = -0*z. Let y = 595.7 + -595. Which is bigger: z or y?
y
Let p = -61 - -70. Let j(f) = -2*f**2 + 20*f - 15. Let n be j(p). Is 3 != n?
False
Let w = -0.053 + -15.947. Let x = w + 17. Is 6 > x?
True
Let b be (-2)/(-26) - (3 - 3). Let t = 16/39 - b. Let j = 169.1 + -169. Is t > j?
True
Let i be (-2 - 17 - -10) + (-5 - -3). Which is bigger: i or -79/7?
i
Suppose 0 = -k + 3, -3*z + 3*k + 105 = -5*z. Is z at least -54?
False
Let o = -205 - -204. Which is greater: -6/205 or o?
-6/205
Let n(m) = m + 2. Let w be n(-8). Suppose -2*i + 3 = -5. Let z be w/i*1/(-6). Is z less than -4/3?
False
Let l = -407.34 - -523.306. Let j = 116 - l. Is j at least as big as -0.1?
True
Let c(b) = 2*b - 22. Let a be c(-16). Let h be (1*(6 - 4))/(4/a). Which is bigger: -26 or h?
-26
Let h(u) = -u**3 - 6*u**2 - 4*u + 1. Let t be h(-5). Which is smaller: -14 or t?
-14
Let l be 1/2 - (-558)/27. Which is smaller: -1 or l?
-1
Let s = -2406 - -2406. Let p(g) = -25*g**2 - g - 2. Let n be p(4). Let m = n + 7716/19. Is m >= s?
True
Let t = -312 - -312.189. Let f = t + -0.089. Is -27 less than f?
True
Suppose -5*k - 5 = -5*f, 6*k = -5*f + 4*k - 9. Let q be (-9 + 191/21)*(-7 - -1). Which is smaller: q or f?
f
Let x = -89 + 79.4. Let a = 0.28 + -2.68. Let l = a + x. Which is bigger: -1/2 or l?
-1/2
Let i(h) = h**2 + 3*h. Let x be i(-4). Suppose 3*s + 20 = -3*f - 2*s, x = -s. Suppose 8*v - 7*v = f. Is v < 1/8?
True
Let j = -306.025 + 306. Which is smaller: j or 2?
j
Let h = 39/146 + -202/73. Let m = 0.2 + -0.5. Is m at most as big as h?
False
Let z be (-1 - -3) + 1*-2. Suppose -3*q + q - 3*u + 30 = 0, q - 29 = 2*u. Let w be -8 - -6 - q/(-11). Which is bigger: z or w?
z
Let n = 7175 + -3666429/511. Is 0 greater than n?
True
Let h = 52.886 - 53. Let i = -0.049 - h. Which is bigger: i or 2/7?
2/7
Let h = 576/19 - 225849/7448. Which is smaller: h or -1?
-1
Let s be (-376)/6*(-8)/11430. Let y = s + 2/3429. Let j be (1/3*0 - 1)*0. Which is greater: j or y?
y
Let i(c) = c**2 + 12*c - 2. Let j be i(-8). Let v = 22 + j. Let x = 11 - 22. Is v at least as big as x?
False
Suppose 2*z - 4*h = 142, -4*z - 45*h = -43*h - 304. Which is greater: 226/3 or z?
226/3
Let w be 5/(-100)*18*2. Let k = -0.42 + 0.52. Which is smaller: k or w?
w
Let f be ((-2)/5)/((-2)/(-10)) - -1. Is f >= -3/86?
False
Let w = 141 + -141. Does w = 3/62?
False
Let q be ((-28)/4 - -21)*14/(-4). Which is smaller: -51 or q?
-51
Let n = -8 + 7. Let u = -5 + 5. Suppose -6 = 4*x - 2*h, x + u*x + 5*h = -18. Which is smaller: n or x?
x
Let d be 1/((-28)/2106) + (-4)/14. Let i = d - -72. Is i at least -3?
False
Let z(w) = -w**3 - 4*w**2 + 4*w - 6. Suppose -5*i + 2*b = 31, 0*b + 6 = 2*b. Let l be z(i). Let m be (-3)/(-31)*4/6. Is l >= m?
False
Let o(v) = v**3 + 10*v**2 - 24*v. Let h be o(-12). Let f be 2/(-3)*18/(-38). Which is greater: f or h?
f
Suppose 4 = -5*v - 1. Suppose w + 302 = -778. Let p be (-954)/w - 4/30. Is p < v?
False
Let d be (-1)/(15/10) - (-10)/6. Let h = 1061215/11 - 96608. Let g = -134 - h. Which is bigger: d or g?
d
Suppose 0*k + k - 30 = 0. Let r = 30 - k. Suppose c + 0*c - 1 = 0. Which is greater: r or c?
c
Let b = -1532 + 1525.7. Which is bigger: -2/23 or b?
-2/23
Let x = 3.5 - 5. Let j = 702 + -698.5. Let z = j + x. Which is greater: z or -3?
z
Let g = 0 + 2. Let h be ((-2)/(-4) - 0)/((-38)/(-171)). Is g at least h?
False
Let m(o) = o**2 + 9*o - 71. Let t be m(5). Which is bigger: t or -1/33?
-1/33
Let k be (-15 + 6)*-3 - 3. Is 23 at least as big as k?
False
Suppose 6*o = 9*o + 312. Let t = o - -5201/50. Which is bigger: -1 or t?
t
Let d(i) = -2*i - 3*i - 9 - i**2 + 7*i + 7*i. Let v be d(8). Let x be 1 - 5 - (-8 - v). Which is greater: 2 or x?
x
Let v = 846336/77 - 10992. Let x = v + 32/11. Are 2 and x equal?
False
Suppose 11*a + 33462 = -22*a. Which is smaller: a or -1015?
-1015
Let y be ((-7)/(-3) + -2)/1. Let w be (-4)/6*-3 + 9. Suppose j - 5*g - 15 = 0, 2*g = 2*j - w - 3. Is y at least j?
False
Suppose 0 = 2*l + s + s + 70, -5*l = -2*s + 175. Let q be (-1206)/l - (-4)/10. Let o = q - 35. Is o at most as big as 0?
True
Let j(x) = 4*x + 7. Let k be 10*((-3)/2 + 2). Let l be j(k). Suppose -4*a + 99 + 24 = 5*s, s - 33 = 2*a. Is s greater than l?
False
Let l = 1902 - 1872. Which is smaller: l or 2?
2
Let x(u) be the third derivative of u**5/60 - 11*u**4/24 + 4*u**3/3 + 4*u**2. Let z be x(11). Let d be z/(-26)*1/4. Which is greater: d or -1?
d
Let c be (-6)/(-27) - (-13)/((-585)/(-350)). Let l be (-32)/(-3) - (-4)/(-6). Which is smaller: l or c?
c
Let q be 77/(56/(-21) + (-20)/(-12)). Which is greater: q or -78?
q
Let n = 8 + -11. Let j be n + 5 + -3 + 0. Let m be j*(0 - 1/7). Is m at most -1?
False
Let c be 4/10 + (-96)/(-60). Let g be ((-1)/c)/(7/(-28)). Suppose -j = g*j - 12. Is 3 less than or equal to j?
True
Let w be (2 + 0)*(10 - 4). Let o = w - 10. Let a(f) = -2*f**3 + 4*f**2 - 3*f + 1. Let s be a(o). Which is smaller: s or -6?
-6
Let p(a) = 2*a**2 - a - 2. Let h be p(2). Let n be 276/(-15)*(-10)/h. Let u be 2 + (n/(-10) - -2). Which is smaller: -1 or u?
-1
Suppose -3*y - 2 + 8 = 0. Suppose 6*r - 5*c = y*r, -5*r = 3*c. Which is smaller: r or 1?
r
Suppose -5*k + 3*k = -10. Suppose 0 = 5*h - 10*h - k. Let d = 0.2 - 0.2. Are h and d unequal?
True
Let l = 3.38 + -3.38. Which is smaller: -13/9 or l?
-13/9
Suppose -5*z = s - 6, -4*s + 4*z + 48 = -0*z. Let d be (s + -9)*(-2)/4. Is 1/70 greater than d?
True
Let c(z) = -z**2 - 7*z - 6. Let m be c(-8). Let u be -4 + 4 + 1 - m/(-18). Which is smaller: u or -1?
-1
Suppose -4*t = -8, -5*u + 4*t - 64 = -u. Let l(d) = d**3 - 9*d**2 + 6*d + 14. Let p be l(8). Let r = -10 + p. Which is smaller: u or r?
u
Let t(l) = l**2 - 33*l - 26. Let a be t(25). Is -228 greater than a?
False
Suppose 0 = -g - 0 + 5. Let l = g - 1. Suppose 0 = -l*s + x + 29, -2*s - x = -4 - 9. Is 1 not equal to s?
True
Let z be -84 + 1 + 285/(-57). Which is greater: z or -3?
-3
Let m be 12/6*-29 - 7/1. Do 2/5 and m have the same value?
False
Suppose -3*q + 19 = -2*r, 0 = -2*r + 40*q - 35*q - 29. Which is smaller: r or -5/3?
r
Let q = -14/123 - -2111/17466. Let u be 0 + 2 + 2/(-2). Is q <= u?
True
Let t = -2753/9 - -306. Which is greater: t or -6/13?
t
Suppose 0 = -4*r + 8, 759 = -3*u + 3*r + 63. Which is smaller: u or 0.1?
u
Suppose -5*t + 5 = 0, -3*j - 4*t + 1 = 12. Which is smaller: -15/4 or j?
j
Let s(w) = -w**3 - 5*w**2 + 7*w + 8. Let k be s(-6). Suppose 2*m - k = -22. Let h(v) = -v**3 - 11*v**2 - 9*v + 9. Let p be h(m). Is p < -6/11?
True
Let o = 10 + -66. Let h = o - -44. Which is smaller: -2 or h?
h
Let v = -171 - -193. Is 158/7 at most as big as v?
False
Let p = 1/1661 - 174409/6644. Which is bigger: p or 0?
0
Let x = -532 + 551. Suppose -5*r + 3*v = 6*v - 91, -4*v - 9 = -r. Is x at most r?
False
Let c(f) = -f - 15. Let g be c(-15). Suppose -3*a - k + 33 = -5*k, 5*a - 4*k - 55 = 0. Suppose -5*p - 4*o - a + 0 = g, o + 7 = 3*p. Is 8/7 at least as big as p?
True
Let i = 60.28 - 61.28. Let u = -1.9 - 0.1. Which is smaller: i or u?
u
Let l be (2 - 13) + (-2 - -3). Let m = 12 + l. Let y be (-1 + m - 2)*1. Is 1/11 greater than y?
True
Let c(k) = 3*k**3 + 16*k**2 - 4*k - 5. Let p be c(-5). Which is smaller: 41 or p?
p
Let v = -1867/9 - -209. Suppose 4*s - 9 = 3*w, -w - 8 = -0*w - 3*s. Is w greater than v?
False
Let u(g) = -27*g - 190. Let y be u(-15). Is 214 > y?
False
Let r = 2169 - 2168. Suppose 3*t + 5 = 3*n - 13, -10 = -2*n + 3*t. Which is greater: n or r?
n
Let u = 189532625 + -1253379251476/6613. Let b = u - -1/389. Which is greater: 0 or b?
0
Let a be (-2 - 0)/6 - 3219/4437. Which is greater: -1 or a?
-1
Let s be (2924/704 - 4) + (-2)/11.