 6*k. Suppose -3*x - k = -12. Which is greater: x or 0?
x
Let n = -12670 - -12650. Suppose 2*o + o - 3*i + 63 = 0, -4*i = 4*o + 100. Is n at least as big as o?
True
Let l be (-69)/(-115) + 74/10. Suppose -23 = 2*x - p, x - l*p + 9*p = -10. Is x bigger than -61/5?
True
Let f = -26708/7 - -3168. Which is bigger: f or -647?
-647
Suppose 537 = 3*b - 4*u + 201, -9*b + 978 = -2*u. Is b bigger than 103?
True
Suppose m + d + 7 = 5*d, 0 = 2*d - 6. Suppose 7*n = p + m*n - 204, 3 = -3*n. Is p greater than 202?
False
Let m = -565 + 306. Let g = -251 - m. Which is greater: -1.9 or g?
g
Let t be (-1296)/(-2) + -20 + 16. Do t and 643 have different values?
True
Let r = 573 - 949. Let w = r - -379.96. Is w equal to 0.1?
False
Let o = -517 - -1197. Let l = o + -713. Is l at least -378/11?
True
Let m(h) = -h + 1. Let l be m(17). Let q be 24/60*44/l. Which is greater: -1 or q?
-1
Let u be (2/4 - 0)*0. Suppose -3*g = -2*t + 13, -2*g - 2*t + u = -8. Let v = 912382/245 - 3724. Is v at least as big as g?
True
Suppose -26*v = 13*v + 15*v. Is -2/15643 < v?
True
Suppose -5*x + 5*l - 15 = 0, -4*l + 18 = 3*x - 4*x. Suppose -2*b - 118 - 106 = 5*j, -x*j - 107 = -5*b. Is -48 bigger than j?
False
Let j(u) = -u**3 + 11*u**2 - 19*u - 6. Let f be j(9). Let z be (-6)/(-5) - (9/f)/(-3). Let w be (-5 + 3/1)/(z + 66). Is w at least as big as 1?
False
Let y = 8 - 445. Let q = 875/2 + y. Is q at least 31/8?
False
Suppose 18 - 2 = j - 3*g, j = -g - 12. Let m = -9 - -15. Does j = m?
False
Let d(n) = -17*n**2 + 2*n. Suppose 0 + 28 = 14*v. Suppose -6*x - v = -8*x. Let b be d(x). Which is greater: b or -18?
b
Let k = 2522 + -2544. Which is smaller: 2.4 or k?
k
Let i(m) = m**3 - 2*m**2 - 15*m - 13. Let o be i(-3). Let a(h) = h - 11. Let d be a(9). Let y be 5*((-3)/3 + d). Is o smaller than y?
False
Let k be ((-4)/(-72))/(2 + (-2313)/1170). Which is bigger: 1 or k?
k
Suppose -12872 = -96*j + 24280. Is j at most 3/5?
False
Suppose 0*z - 44 = -11*z. Suppose -5*d + 10*d - 71 = z*i, -4*d = -3*i - 57. Suppose -4*q = -30 - 42. Is q < d?
False
Let b(a) = -a + 8. Let t be b(1). Suppose 9*i + 17 = 80. Does t = i?
True
Let q = 24/25 + -3067/3325. Which is smaller: q or 1?
q
Let d be (9 + -11)/2*(-2)/(-6) - -1. Which is smaller: d or 51/23?
d
Let a(f) = -97*f + 8. Let v be a(-4). Let o be 590/3608 + (-72)/v. Which is smaller: o or 0?
o
Let k = -1511 + 1522. Suppose 42 - 18 = 2*v. Do k and v have different values?
True
Suppose -a - 3*a + 120 = 0. Let t be (-20)/2*16/(-8). Suppose t*x = 23*x - a. Is 10 not equal to x?
False
Let p = -34/39 + -2209/195. Let u be -2 - (1/(-6) + 1034/220). Let k = u - p. Which is smaller: -1 or k?
-1
Let u be (-2)/(-8) - 23/(-4). Let v = 13189 - 92272/7. Which is greater: u or v?
v
Let x be -1*(1/(-5))/(12/(-40)). Are -11/27 and x equal?
False
Let b(m) be the second derivative of 139*m**3/6 - 3*m**2/2 - 2*m. Let o be b(-1). Let l be ((-1)/o)/((-11)/22). Is 0 bigger than l?
True
Suppose 8 - 10 = -b. Suppose -b*t + 337 = 335. Is 16 at least t?
True
Let l(x) be the second derivative of x**3/6 + 3*x**2/2 + 41*x. Let s be l(-2). Let v be 0/s*(7 + 81/(-12)). Is v >= 4/69?
False
Let v(w) be the first derivative of -8*w**3/3 + w**2/2 + 19*w - 257. Let b be v(4). Is b at least as big as -103?
False
Let a = -11.785 + 1.285. Which is smaller: 4 or a?
a
Let g = -253 + 247. Let v(x) = 2*x + 11. Let a be v(0). Let c(h) = h**3 - 10*h**2 - 13*h + 16. Let d be c(a). Does g = d?
True
Suppose -9*c - 55*c - 496 = -304. Is -159/76 less than c?
False
Let n = 6371 - 6368. Which is bigger: -552 or n?
n
Suppose -m + 61 = 3*x - 27, -4*x + 3*m = -113. Suppose -32*a = -x*a + 366. Which is smaller: -121 or a?
a
Let w = -31 - -33. Let k(z) = z - w*z - 38 - 37 + 74. Let j be k(-2). Is -1/14 less than or equal to j?
True
Suppose 422*f - 472*f = 118 - 18. Is 330 != f?
True
Suppose 61*x - 142704 - 180108 = 0. Which is greater: x or 5291?
x
Let g be (8/(-5))/((-6)/30*1). Let o be (20/(-160))/((-1 + -1)/g). Is 34 at most o?
False
Let f(t) = t**3 - 3*t**2 + 3*t + 9. Let k = -303 - -307. Let m be f(k). Which is smaller: m or 41?
m
Let p be ((32/40)/((-4)/10))/(-3). Is -4374 at most as big as p?
True
Let c = 231 - 231. Is c not equal to 2/695?
True
Let d(x) = 116*x**2 - 53*x - 308. Let f be d(-6). Suppose -31*k = 3936 + f. Which is smaller: k or -260?
k
Suppose 25*d + 11*d + 340 = 19*d. Does -52 = d?
False
Let v = -2184 - -3728086/1707. Let a = v + 269720/11949. Which is smaller: 23 or a?
a
Suppose 5*n - a + 106 = 0, n + 5*a = a - 38. Let t = 20 + n. Suppose -190 = 4*z - 23*z. Is z less than t?
False
Let t = -48 - -50. Let d = t + 8. Let g = -15 + d. Is g not equal to 2?
True
Let a be 10296/48 - (9/(-6) + 0). Let g = a - 227. Which is smaller: -4 or g?
g
Let h = -405 - -425. Let d be (-357)/h + (168/30 - 6). Which is greater: d or -17?
-17
Let c = -52.04 + 51.99. Is c greater than 1?
False
Suppose 6*y - 2*a + 43587 = y, a = 2*y + 17435. Let z = 43909/5 + y. Is 64 less than or equal to z?
True
Let d(m) = 7*m**3 + 123*m**2 - 53*m + 18. Let l be d(-18). Which is greater: -216/257 or l?
l
Let l = -49.38 + 44.2. Let k = l - -5. Let q = k - -0.08. Is 7 > q?
True
Let y be 5/(10/129)*2. Let j = 267/2 - y. Suppose -5*n = 3*k - 28, 5*n = -2*k + 31 - 4. Which is smaller: j or n?
j
Suppose -3*o + 5*b = -30, 3*b = 7*b - 12. Let j be (3 - o)/(1 + -1 + -1). Suppose 4*z - 11 - 5 = -2*t, -3*z - t + j = 0. Is z less than 6?
True
Let u(i) = 2*i + 49. Let q be u(-16). Let x = 18 - q. Let n be (x/(-3))/((-22)/(-66)). Which is bigger: -2/233 or n?
-2/233
Let g = 2 + -1.9. Let v = -89.18 + 89. Let w = v - 0.02. Which is smaller: g or w?
w
Let w be (52/(-8))/((-1)/(-60)). Let y = w - -436. Is y at most 46?
True
Let y(t) = -6*t**2. Let i be y(2). Let j = 30 + i. Suppose 13*d = 4*d + 54. Is d > j?
False
Let j(l) = l**2 - 10*l - 264. Let s be j(22). Which is smaller: 11/359 or s?
s
Suppose 0 = l - 3*n + 69, n = 3*n - 4. Let b = l - -70. Suppose -b = 4*o + 3*o. Is o not equal to -1?
False
Let d be (5 - (-1589)/(-315))/(-6 - 2313/(-385)). Is -5 > d?
True
Let n(u) = 8*u**3 - 2*u**2 + u - 2. Let m be n(-4). Let s = m + 574. Which is smaller: s or -9?
-9
Let j = 0.2 - 0.1. Let l be 17*6/(-12)*1. Let c = l + 59/7. Is c <= j?
True
Suppose -3*j = 3*i - 0*i - 405, -j - 5*i = -135. Let m = 271/2 - j. Which is smaller: 83 or m?
m
Let j = 15 + 140. Suppose -90 = 13*b - j. Is 41 at least as big as b?
True
Let q = 28586 - 485714/17. Which is bigger: 16 or q?
16
Let u be 7/3 + (-46)/40 + 26/65. Suppose 0 = p + 5*h - 13, -4*p - h = -6 - 8. Is u greater than p?
False
Suppose 15*i - 695 = -680. Let m = 26.82 + 0.18. Are i and m unequal?
True
Let c be 4/(-6)*(-20 + 42 + -21). Is c bigger than 2/31?
False
Let c(q) = -q**3 - 10*q**2 + 51*q - 56. Let u be c(-14). Let w be (-2)/9 - 6/(-27). Which is bigger: u or w?
u
Let j be (-44)/(-110) + (-2)/5*6. Let i be j/(-9) - (-1044)/(-3240). Which is bigger: i or -1?
i
Let w be -5 - 7101 - (8/(-14) - 1032/301). Is w at most as big as -7102?
True
Let b(n) = n**3 + 22*n**2 - 8*n - 176. Let v be b(-22). Is -18/169 not equal to v?
True
Let v = -4785 + 5703. Which is smaller: v or 920?
v
Let a = 560173170775/17969 - 31174421. Let b = 2/119 - a. Is b < 0?
False
Let d = -145 + 145. Suppose d = -84*w + 85*w - 17. Are 27 and w unequal?
True
Suppose 2*o + 14 = 2*x + 208, 4*x + 383 = 3*o. Suppose 31*l + 2969 = -39*l - 4591. Let p = x - l. Which is smaller: p or -2?
-2
Let d = -3001 - 3588. Are d and -2 nonequal?
True
Suppose 0 = -6*b + 2*b - 80. Let u = -12 - -29. Let y be -39 + u + (-1 - -1 - -1). Is y > b?
False
Suppose f = v + 5352, 754*f + 2*v = 759*f - 26772. Is f at least 5357?
False
Suppose 315 - 100 = -1141*s + 7061. Let z(h) = h - 4. Let q be z(4). Suppose v - 6*v + 50 = q. Which is greater: v or s?
v
Let c = -17 - -16.88. Let y = -49.88 + c. Is y equal to -0.2?
False
Suppose 0 = m - 5*h - 0 - 25, -4*h + 172 = 4*m. Suppose -9*l + l = m. Let a be -1*3 + 1 - 4. Which is smaller: l or a?
a
Let m = -6490 + 6489. Is 3/8 < m?
False
Let c = -0.6321 + 0.63761. Is c less than 2?
True
Let y = -23/56 - -11/14. Let d = -208 + 295. Let m = 86 - d. Is y smaller than m?
False
Let c = -451.7 + 447.7. Is c not equal to -3.1?
True
Let w = 132 + -217. Let z = w + 84.96. Let m = 904/9 + -100. Which is greater: m or z?
m
Let t = -5 - 1