2/8 + -4 + 45/10. Let l = c - 1. Is l less than 41?
True
Let c be 2*(4 - 7)/285. Let n = c - -8/19. Which is smaller: -2/103 or n?
-2/103
Let j(a) = 7*a + 2. Let x be j(-5). Let p = 65/2 + x. Does 3 = p?
False
Let k = -24 - -4. Let f be (-45)/3*24/k. Suppose -f = -2*r - 4. Which is bigger: 8 or r?
8
Let u be -215 + 4 + (-54)/(5 + 1). Which is smaller: u or -221?
-221
Let d be (12 + -14)*54/(-4). Let f = 28 - d. Suppose 4 = 5*j - 1. Are f and j equal?
True
Let i = 19 - 10. Let w(a) = 2*a + 3. Let x(z) = 3*z + 5. Let m(s) = -4*w(s) + 3*x(s). Let d be m(6). Is d < i?
False
Suppose 26*p - 23*p = 39. Suppose p + 67 = 5*l. Let d = -22 + l. Is 1 greater than or equal to d?
True
Let o(r) = -6*r - 28. Suppose 0 = -i - 4*p - 20, -i = -0*p + 2*p + 12. Let b be o(i). Is b smaller than 5?
True
Let q = -47/3 + 323/21. Let u be 1/7*(-51 - -53). Is u smaller than q?
False
Let u = 25.78 - -0.22. Let s = u - 30. Is 1/3 greater than or equal to s?
True
Let o(m) be the second derivative of m**4/12 + m**3/2 + 3*m**2 - 9*m. Let c be o(0). Which is smaller: c or 7?
c
Let u be (93/62)/(6/(-4)). Are u and 3/770 non-equal?
True
Let a = -1.987 + -0.013. Let z = 32 + -22. Which is smaller: z or a?
a
Let j = 1968 - 1968.2. Which is smaller: j or 264?
j
Suppose -4*q - 16 = 0, -o - 2*q - 5 = 3. Let k(f) = -3*f - 9. Let g be k(-4). Suppose -s - m = -g*s + 9, -3*m = s + 13. Is s less than or equal to o?
False
Let u(n) = -7*n**2 - 2*n - 1. Let w be u(2). Suppose 5*s - 17 = 5*g - 202, 4*g = -4*s - 124. Which is smaller: s or w?
s
Let a be 11 + -12 + 5 + -1 + 0. Let j = 7 + -15. Which is smaller: a or j?
j
Let o = -150090581/21495 - 14166/1433. Let u = 6989 + o. Let k = -2414/705 - u. Is k at most as big as 1?
True
Let k(d) = -2*d**3 - 100*d**2 - d - 62. Let o be k(-50). Which is smaller: -21 or o?
-21
Let o be 2/3*(-6)/(-4). Let k = 53 + -35. Let q be ((16/50)/(-2))/(k/15). Is q bigger than o?
False
Let f = 27.96 + -29.96. Suppose w - 12 = -2*w. Let r be 6/9 + w/(-9). Which is smaller: f or r?
f
Let m(t) = t - 11. Let v be m(0). Let u be 2 + 2 + -3 + (-60)/6. Is u at least v?
True
Let m = -31 + -13. Let t be (-33)/m*8*2/(-18). Which is smaller: t or -43?
-43
Let p be ((-7)/(-245)*7)/(2/(-10)). Which is smaller: p or 4/779?
p
Let s be 11 + -10 - (-295)/(-9). Do s and -33 have the same value?
False
Suppose 16 = 5*f - 4. Suppose f*t + 2 = -6, 0 = 3*d - t - 11. Which is bigger: 1 or d?
d
Suppose 0 = -4*z - 4, -s + 9 + 21 = -3*z. Let i be (1/(-1))/((s/(-6))/3). Is 0 bigger than i?
False
Let k = 13 - 14. Let d = 138049/96 + -1438. Let q = 55/672 - d. Which is smaller: k or q?
k
Let j = -2562 - -2560. Which is smaller: 89/5 or j?
j
Suppose 6 + 38 = -4*b. Let j be 5/10*-10 + 18/(-4). Which is smaller: b or j?
b
Let h(a) be the first derivative of a**2 - 11*a - 11. Let p be h(7). Do p and 3 have different values?
False
Let j be ((-1)/(-6))/(1005/(-60)). Which is smaller: -1/5 or j?
-1/5
Let g(b) = b**3 - 12*b**2 + 3*b - 40. Let w be g(12). Let t(o) = o**2 + 5*o + 2. Let n be t(w). Which is bigger: -2/59 or n?
-2/59
Let v = -276.861 - -277. Let f = 1.139 - v. Which is greater: -37 or f?
f
Suppose -45*z - 28 = -43*z. Which is smaller: -160/11 or z?
-160/11
Suppose 26*p + 116 = -3*p. Are -4 and p equal?
True
Let x be 1/4 - 3/30. Let f = x + -67/180. Which is bigger: f or -4/5?
f
Suppose -4*c - 534 + 398 = 0. Which is smaller: -26 or c?
c
Let k be -1*(1 + 0) + 7. Let f be (-1)/(3/6) - -10. Suppose -4*b = -3*b - f. Is b greater than or equal to k?
True
Suppose 0 = 3*i + 3*w - 54, 10*i = 5*i + 3*w + 50. Let n = 15 - i. Suppose -3*h - n*h - 17 = j, 0 = 4*j + h + 11. Which is greater: -1 or j?
-1
Let r(p) be the second derivative of -p**3/6 - 11*p**2/2 + 6*p. Let v be r(-15). Let m be 1 - 0*v/16. Is -1 > m?
False
Let q be -1*(6 + -6)/(-1 + -3). Is 2/1495 bigger than q?
True
Let g be ((-7)/(-28))/(6/(-4)). Which is bigger: g or 1/6?
1/6
Let a be ((-24)/40)/((-2)/10). Let x(w) = -3*w - 6. Let y be x(a). Which is bigger: -49/3 or y?
y
Let o be 16/120 + 2/(-30)*1877. Which is smaller: o or -127?
-127
Let z = -768 + 461. Are -305 and z unequal?
True
Let j be -33 - (-2)/(4/2). Let t = -44 - j. Let s be (-8)/t - 3/(-36). Which is greater: s or 1?
1
Let u(a) = a - 1. Let p be u(4). Suppose 4*h = -2*j + 12, 3*h - p*j - 2 = -h. Suppose -1 = -3*n + h. Is n smaller than 2?
True
Suppose 1 = 3*j - 8. Let x = 4 - j. Is x greater than 0.3?
True
Let a = 61 + -69. Let t(s) = -s**2 - 9*s - 11. Let q be t(a). Is -1 greater than or equal to q?
True
Let p = 1619 - 1619. Let m = -110/7 + 114/7. Let o = 5/21 - m. Is p less than o?
False
Let t(f) = f**3 - 11*f**2 + 8*f + 20. Let r be t(10). Suppose r = -42*s + 51*s - 63. Which is smaller: 6 or s?
6
Let f be ((-6)/(-4))/(12/(-20)). Let d(o) = 2*o**2 - 14*o + 9. Let q be 4/(-1 - (-20)/12). Let l be d(q). Is l >= f?
False
Let a = 90 - 85. Let t = -32 - a. Are 0 and t equal?
False
Let x(a) = a - 18. Let t be x(8). Let f = t - -10. Are -1 and f nonequal?
True
Let z be (38226/6831 - 4/(-18)) + -6. Let a = -1 - 0. Which is greater: a or z?
z
Let i be 3/(-12)*(3167 - 6). Let o = i + 794. Is o at least as big as 4?
False
Let c be 6/15 + ((-1196)/5)/(-2). Suppose -245 = -2*h + 3*n, 4*h + h + 5*n = 600. Which is greater: c or h?
h
Suppose -3*m = 2*m + 4*t - 389, -3*t + 157 = 2*m. Let k be (-110)/m*7/3. Let u = 17/6 + k. Is -2 greater than or equal to u?
False
Let a = -0.1 + 0. Let x be 86/(-14) + (-7)/(-49). Let d = 11/2 + x. Which is smaller: d or a?
d
Let i be (-703)/(-95) + -7*1. Is -22.2 at least as big as i?
False
Let i = -9 + 9.38. Let x = 0.03 - i. Let o = x - -0.15. Is o at most as big as -3/4?
False
Let b(w) = -4 - 5*w**2 + 3*w**2 + w**2 - 5*w. Let g be b(-4). Suppose -5*q + 5 = -10. Is q > g?
True
Let g be (-12)/(-3)*(105/28 + -4). Which is smaller: g or 2/81?
g
Let i = 15.383 - -0.537. Let z = -0.08 - i. Let s = 17 + z. Which is greater: s or 0.6?
s
Let a = 68 - 66.58. Let r = 0.58 + a. Which is bigger: -33 or r?
r
Let o = 1192 + -1192. Are -5/26 and o non-equal?
True
Suppose -2*q = 5*x + 7, 6*q - 2*x - 4 = 8*q. Are q and 1/449 equal?
False
Let b = 13 - 5. Suppose 3*t = -0*u + 3*u, u + b = 3*t. Suppose t*x - 2*z + 12 = -0*x, -2*x - 8 = -2*z. Are x and -3 unequal?
True
Let g = 2004 - 2004.1. Which is greater: g or 49?
49
Let w = 17 - 6. Let d = -7 + w. Let m = 742 - 739. Which is smaller: m or d?
m
Let x be 5/(5/6) - (-2475)/(-423). Are x and 0 nonequal?
True
Let n be 7 - (9 + -10)*-7. Are n and 1/459 nonequal?
True
Let s be 4/(-10) - (-21)/15. Let a = 768 - 5373/7. Is s < a?
False
Let j be 3*(268/(-1098) - 30/(-135)). Is j at most 0?
True
Let p = -160 - -149.3. Is 1 greater than p?
True
Let x = -7.84 + -0.16. Let q = 0.3 + -6.3. Let o = x - q. Which is smaller: o or -1?
o
Suppose 2*t = t + 21. Let i = t - 15. Suppose -5*q + i = -2*q. Which is greater: 0 or q?
q
Let c = -426 - -426. Is -9 greater than or equal to c?
False
Let x be (-1380)/(2 - 1 - (-6 - 0)). Which is smaller: x or -196?
x
Let l = 4440/11 - 26627/66. Is l at least 1?
False
Suppose 2*c = -68*w + 63*w - 11, 2*w = -2*c - 2. Is -84/19 at most w?
True
Let r be 2 - -7 - 12578/1406. Which is bigger: 13.2 or r?
13.2
Suppose 0 = j + 7 - 6. Let b = -26 - j. Which is bigger: -24 or b?
-24
Suppose 14*y - 34*y = -14*y. Is y at least as big as 3/469?
False
Let o = -239 + 137. Let s = -107 - o. Is -8 smaller than s?
True
Suppose 0 = 4*o + b - 39, -67*b + 3 = -70*b. Which is bigger: 111/11 or o?
111/11
Let r = 236 + -2602/11. Let x be 21/(-15) + 1 + (-88)/(-20). Suppose 4 = -8*h + x*h. Which is greater: r or h?
r
Let x = 24 + -18. Suppose -2*z = 5*m + 17, 2*z = -z + 3*m + x. Is z greater than or equal to -1?
True
Let w = 131 - 205. Let h = 61 + w. Is h >= -0.2?
False
Let u = 17/49 - 1625/588. Is u less than -3?
False
Let w be (-18 + 16)*142/16. Is -18 >= w?
False
Suppose 2*a - 5*q = 22, -a - 3*a - 4*q + 72 = 0. Suppose 3*r - 4*h = 12, 2*r + 2*r - a = 5*h. Do r and 5 have different values?
True
Let k(x) = x + 4. Let h be k(-6). Suppose -b + 608 = 3*b. Let g = b - 460/3. Which is smaller: g or h?
h
Suppose 3*u + 17 + 1 = 0. Suppose -8*k + 4*k = 28. Let l = u - k. Is 1 at least l?
True
Let h(c) = 6*c**2 - c + 1. Let v be h(1). Let q be 10/(-4*(-1)/24). Let x be (v/32)/(6/q). Is 1 at least as big as x?
False
Let z(s) =