2
Let q(k) = 4*k**2 - 8*k - 11. Let y be q(-8). Let t be -16 - -17 - 1/(y/307). Is t at most 1?
True
Suppose r - j + 17 = -0*j, 0 = -4*r - 4*j - 28. Suppose -q - 2*b + 1 = 0, 3*b + 18 = 21. Which is smaller: r or q?
r
Suppose 0 = 3*w - 2*w. Suppose 3*i - o = 20 + 21, w = -5*i + o + 67. Which is greater: i or 12?
i
Let y(h) = 2*h**2 - 110*h + 207. Let t be y(2). Suppose -3*i - 7 = -r, 5*i + 4*r + 2 = -21. Which is bigger: i or t?
i
Let n be (8*-1)/(24/108). Let d = -10 + 10.1. Which is smaller: n or d?
n
Let l = -26 - -25.8. Let w = 0.5 + l. Let a = w + 0.7. Which is bigger: 4 or a?
4
Suppose q + 2*c + 5 = 0, 5*c = -2*q + 3*c - 6. Let l = 901 - 894.6. Which is bigger: l or q?
l
Suppose -2*p - 2*k = -10, -p + 4*k + 18 = -7. Is 7 >= p?
False
Let z = 983 + -5977/6. Are -14 and z unequal?
True
Suppose 3*s + s = -12. Let n be (5*5/25)/1. Is s greater than or equal to n?
False
Suppose 0 = -5*o + 5*i - 90, 6*o - 3*i + 77 = 2*o. Let y = -247/21 + 87/7. Is o less than or equal to y?
True
Let a = -6.96 + 7. Suppose -w + 21 - 7 = 0. Let l be w/(-6)*6/21. Are l and a nonequal?
True
Suppose x = 3*d - 595, -2*d - 2*d = 5*x - 768. Is d >= 196?
True
Suppose 0*o + 23 = -3*o + 5*f, 0 = 3*o - 2*f + 11. Let i = -4 + o. Let q be 36/i*4/(-16). Which is greater: q or 2?
2
Let x be (-2 - (-42)/15)/(16/40). Is 6 at least as big as x?
True
Let o be 2/(-60) + (-8)/(-48). Let m = -16 - -40. Let t = 24 - m. Which is smaller: o or t?
t
Suppose 2*j - 12 - 2 = 0. Let r = j + -3. Suppose 0 = r*s - 2 + 6. Is -1 > s?
False
Let z = 7.3 - 7.16. Is z greater than -0.7?
True
Let d(y) = 6*y**2 - 3*y**2 - 20*y - 3*y**2 + y**3 + 6*y**2 - 9. Let k = -96 - -88. Let c be d(k). Is 24 < c?
False
Let v be (0 + (-2)/(-4))/((-745)/20). Let g = 586/745 - v. Which is bigger: g or 2/7?
g
Let p = -8 - -21. Suppose -p*h + 18*h = 10. Let r be (24/(-42))/(h/(-7)). Is r at least as big as 3?
False
Suppose -v + 6 = 5*h - 3*v, -6 = 2*v. Which is smaller: -2/2835 or h?
-2/2835
Suppose 4*i = 4 + 48. Let q(a) be the first derivative of -a**4/4 + 14*a**3/3 - 7*a**2 + 14*a + 356. Let z be q(i). Which is smaller: z or 4?
z
Let k = 22/113 + 11686/339. Is k equal to 34?
False
Suppose -t - 3 + 4 = 0. Let a be (t/(-3))/((-12)/(-108)). Let n be 9/(-2) - -2 - a. Which is smaller: -2 or n?
-2
Suppose 0 = -20*y - 304 + 484. Let f be 0 - (0 - 10)/1. Is y at least as big as f?
False
Let z be 5/(-10) + 176/(-32). Which is greater: z or -0.036?
-0.036
Suppose -922 = -2*a - 1322. Which is greater: a or -203?
a
Let z = 0 - -5. Let r(k) = k**3 - 5*k**2 + k - 1. Let n be r(z). Suppose -n*v = -8*v - 24. Which is bigger: v or -2?
-2
Let q = 651 - 650.9. Which is bigger: 40 or q?
40
Suppose -4*a + 32 = -4*g, -g - 3*g - 17 = a. Suppose -16 = -11*x + 28. Suppose -l = 4*p - a*l + x, 2*p - 18 = -4*l. Which is smaller: p or -0.1?
-0.1
Let x = 942 + -944. Is x < 15.7?
True
Suppose 0 = 5*d + 10 + 10. Let x be 128/208*3/d. Which is bigger: x or 0?
0
Suppose -4*t = 2*b - 2*t + 626, 0 = -b - 2*t - 310. Is -318 at most b?
True
Let b(f) = -2 + 202*f**2 - 406*f**2 + 205*f**2. Let g be b(1). Let w be (-1)/(-2)*(-16)/10. Is w at most g?
False
Let s = -9.9 + 10. Let d = 0.31 + -1.11. Let k = 0 - d. Do s and k have the same value?
False
Let a = -105973/52 - -2038. Suppose -179 = 155*z - 24. Which is bigger: z or a?
a
Let j be -11 - -5 - 6/(-2). Let m be 260/30 + 2/j. Which is smaller: m or 7?
7
Let s(l) = l - 7. Suppose -3*w = -f - f - 28, 2*w + 16 = -3*f. Let o be s(f). Is o > -14?
False
Let i = 45/259 + -17/37. Which is greater: -197 or i?
i
Let j = -0.103 - -5.053. Let p = j + 0.05. Let k = -4.8 + p. Is -2/13 greater than k?
False
Let r be 2 + -2 - (1 + 1 - 4). Suppose 6 = 4*d + r. Is d != 2?
True
Let x be ((-3)/12)/(114/(-608)). Is x smaller than 0.14?
False
Let j(w) = -3*w + 4. Suppose 3*b = c + 11, c - 1 = 2*b - 9. Let h be j(b). Let m be -3 + 3 - -3 - 10. Which is bigger: h or m?
h
Let x = 20 - 54. Let p = x + 33. Is p less than 70?
True
Let y = -6 + 22/3. Suppose 2*k = 8, -2*l = -l - 2*k + 14. Let p(h) = -7*h - 42. Let d be p(l). Is d smaller than y?
True
Suppose 5*v + q - 63 = 0, 4*v - 45 = q - 0*q. Let h be (v/(-30))/(1/15). Which is smaller: -4 or h?
h
Let m be (-2)/2*(9 - 8). Let q be m*(-12)/18*(-9)/4. Is 1 bigger than q?
True
Suppose 9*s - 7*s - 16 = 4*l, 5*s + 5*l - 40 = 0. Let h = 34 - 23. Is s greater than h?
False
Let t(l) = -2*l**3 + 82*l**2 - 76*l - 149. Let j be t(40). Which is bigger: 49 or j?
49
Suppose -3*f = -0*f + 27. Suppose -b = 4*n + 23, 0 = -4*n + 6*b - 2*b - 28. Which is smaller: f or n?
f
Let t(w) = -w**3 - 5*w**2 + 5. Let q be t(-5). Suppose 8 = 4*i + 2*g, -2*i - q = -i - 3*g. Let y = -19439/31 - -627. Which is smaller: i or y?
y
Suppose 0 = -2*p + 41 - 5. Suppose 2*n - 6 = p. Let h be ((-8)/n)/(4/15). Is -2 >= h?
True
Let x(v) = -5*v + 121. Let l be x(28). Which is greater: l or -17?
-17
Let a(j) = -9*j**2 + 47*j + 4. Let p be a(5). Is p at most 21?
True
Let i(m) = -m + 9. Let k be i(16). Which is greater: k or -11?
k
Let a be (9/3 + -1)/(-2). Suppose 0 = 3*f + 6, 3*f - 2 = -d - d. Suppose 3*b = d*b. Is b at most as big as a?
False
Let z = -109 + 109.61. Let l = z - 2.61. Which is greater: 0.27 or l?
0.27
Let u = 36.93 - -0.07. Let r = -26 + u. Let s = r + -11. Is s not equal to -5?
True
Suppose -3*c + 18 = -3*v - 7*c, -23 = 4*v + 5*c. Which is greater: 3 or v?
3
Suppose -40 = -7*y + 5*y + 4*m, -m + 53 = 4*y. Do y and 0.1 have the same value?
False
Let l be -4 + (-42)/(-11) + 72/33. Is l at most 90?
True
Let x = -31/4 - -287/36. Let d be (-5 - (-5 - 0))*1. Which is smaller: d or x?
d
Let z be 27/(-90)*8/66. Is z not equal to 1?
True
Let g be (-10)/(-12) + (-3)/(-18). Let m(p) = 50*p - 29*p - 22*p + 11. Let b be m(2). Which is bigger: b or g?
b
Let w = 7 - 6. Suppose -3*o + 4*o - w = 0. Suppose -4*u = -3*u + o. Which is smaller: u or -1/15?
u
Let n = -250.24 - -251. Is 1 not equal to n?
True
Let s be 4/14 + 1200/(-2240). Let t = -71 + 77.98. Let c = t + -7. Is c equal to s?
False
Suppose -4*g = 14 + 10. Let f be (-20)/90 + 104/(-18). Let m be ((-3)/(2 - 5))/(f/2). Which is bigger: m or g?
m
Let z(x) = -2*x - 18. Let h be z(-12). Suppose 0*m + m = -3*s + h, -5*s = -3*m - 24. Let y = 4 + -7. Is m >= y?
True
Let p = 2.44 + -2.04. Which is smaller: -4.8 or p?
-4.8
Suppose -4*y + y - 3 = 0. Let n(m) = -5*m**3 - m**2 + m + 1. Let z be n(y). Suppose -4 = -5*t + 2*p, -z*p = -4*t + 6 + 2. Which is bigger: 6/5 or t?
6/5
Let i = -5737 + 68921/12. Let b = i - 27/4. Which is bigger: b or -1?
b
Let u = 933.98 + -934. Is 6 > u?
True
Let r = 16 - 1. Suppose g - 9 = -r. Let a be 16/108*9/g. Which is greater: 0 or a?
0
Let w(o) = -7*o + o - 105 + 0*o + 68. Let y be w(-9). Which is bigger: y or 16?
y
Let q = 34510 + -55595608/1611. Let j = -51242932337/1611 + 31808158. Let y = j + q. Is 6 smaller than y?
True
Let h be -3 + 2/(8/36). Suppose -2*q - h = 3*q + 4*p, 2*p = 4*q + 10. Is 14 smaller than q?
False
Let d(c) be the first derivative of -c**3/3 - 4*c**2 - 11*c + 3. Let i be d(-6). Is 4/23 bigger than i?
False
Let m be (-8 - 624/(-60))/(-1 - -2). Which is smaller: m or 0.3?
0.3
Suppose 0 = -g - 12 - 53. Is g equal to -60?
False
Let t(x) = -2*x**2 + 5*x + 6. Let v(k) = 2*k**2 - 6*k - 7. Let j(m) = -7*t(m) - 6*v(m). Let o be j(-1). Let w = -1 - 1. Is o greater than or equal to w?
True
Let g = 341.5 + -311. Are -0.1 and g unequal?
True
Suppose 3*n - n = 4*j - 36, 4*j = -2*n + 28. Let y = -28 + j. Let h(c) = -16*c - 131. Let k be h(-7). Which is smaller: k or y?
y
Let k(c) be the second derivative of -c**4/12 - 4*c**3/3 - 2*c**2 - c. Let b be k(-3). Let o = -32 - -43. Is o equal to b?
True
Let s be 1 + (3 - 434/66). Let j = 21/11 + s. Let m be (-10)/(-225) + 2/5. Does m = j?
False
Suppose -w + 9 + 0 = 0. Let f be 26/60 - w/18. Are 1 and f unequal?
True
Let d(n) = -n**3 - 2*n**2 + 22*n. Let f be d(-7). Which is bigger: 92 or f?
92
Suppose -2*b + 18 = 4*g, 3*b + 5 = -0*b + 2*g. Let m be (-3 + 6)*(-401)/(-3). Let d = 10829/27 - m. Which is smaller: d or b?
d
Let f be ((-27)/2)/((-6)/56). Let c = f - 382/3. Let w(l) = l**2 + 16*l + 14. Let i be w(-15). Which is bigger: c or i?
i
Let a = -5.3 - -7. Let f = -1.6 + a. Suppose 3 = -3*q - 6. Which is bigger: f or q?
f
Let p = 1.199 + -0.199. Is p < -8?
False
Let d(v) be the second deri