se -2*k - 19 = x + k, -x - k - 13 = 0. Which is smaller: a or x?
x
Let a(q) = 3*q + 11*q - 4 + 7 + 11*q. Let s be a(-5). Is -123 at most as big as s?
True
Let u = -7/121 - -41/1089. Let o = 115/792 + u. Is o at least 1?
False
Let s(a) = -a**3 + a**2 - 10. Let k be s(0). Let c be (-4)/3*15/k. Let p be 3/9*9/6. Which is smaller: p or c?
p
Let n = 2054.9 + -2055. Which is greater: -139/8 or n?
n
Let o = 14.924 - -0.076. Let i = o - -23. Which is bigger: i or 0.1?
i
Let i be (10/(-65125))/(26/130). Is -1 != i?
True
Suppose -2*o - 3*s = -10, 13 - 20 = 3*o - s. Which is bigger: -1/71 or o?
-1/71
Let s(i) = i**3 - 26*i**2 - 7*i + 184. Let q be s(26). Is -316 < q?
True
Let t(a) = a**3 + 8*a**2 + a - 7. Let x(w) = -2*w**3 - 9*w**2 - 2*w + 7. Let n(k) = -3*t(k) - 2*x(k). Let m be n(5). Let v be ((-26)/4)/(1/2). Is m at most v?
True
Let d = 81 - 87.3. Let z = d + 0.3. Let u = z + 5.9. Which is greater: u or -1.1?
u
Suppose 0*k = 4*k - 64. Suppose 3*o - 2*o - k = -3*f, -f + 6 = o. Is o < -2/75?
False
Suppose 1565 = -5*k - 5*h, k - 2*h = -93 - 226. Which is smaller: -316 or k?
-316
Let t = 0.836 - 0.836. Which is smaller: t or -394?
-394
Suppose -a + 3*y + 147 = 0, 2*y - 1 = -a + 121. Do 132 and a have different values?
False
Let n = 41160 - 41159. Let u = 653/10 - 65. Which is smaller: u or n?
u
Suppose 4 = -2*c, -4*r + 48 = -0*c + 4*c. Let h = -15 + r. Is 1/3 less than or equal to h?
False
Let p(s) = -7*s**2 + s + 33. Let g be p(4). Are -75 and g unequal?
False
Let g = 1555 + -1470. Which is smaller: g or 91?
g
Let y be 2*-2 + (-84)/(-26). Let i = y - -96/91. Which is greater: -1 or i?
i
Let b(q) = q**3 + 44*q**2 + 3*q - 16. Let x be b(-44). Do 2 and x have different values?
True
Let z = -6 + 4. Let b = 707.9 - 708. Is b > z?
True
Let f be 1/(-5)*(-5 + 3). Let m = -8.8 + 10. Let x = 3.8 + m. Which is greater: f or x?
x
Let k(h) = -h**3 + 1 - 13*h + 10*h**2 + 7*h - 3*h**2. Let x be k(6). Let z(d) = -d. Let l be z(x). Which is smaller: 2 or l?
l
Suppose d = -5*u + 8*u - 11, 4*d + 5*u - 24 = 0. Which is smaller: 14/19 or d?
14/19
Let i = -4 - -3.46. Let z = -31.64 - -32. Let n = z - i. Which is greater: -2/5 or n?
n
Suppose -2*s + 4 = 70*j - 71*j, 0 = 5*j - 5*s + 5. Let a = -14.93 - -15. Is a greater than j?
False
Let h be ((-43)/(-86))/((-2)/(-4)). Which is smaller: -1/346 or h?
-1/346
Let h = 1582 - 1380. Is h less than 201?
False
Suppose 17 = -3*y - 2*t, 0 = -5*y + 2*t - 13 - 26. Let g = y - -6. Is g equal to -2?
False
Let f(d) = 5*d - 15. Let z(x) = 70*x - 210. Let s(h) = -55*f(h) + 4*z(h). Let t be s(3). Which is greater: t or 1/310?
1/310
Let g = -19102/25 - -764. Is 1 < g?
False
Let l = -502 + 502.4. Does 10 = l?
False
Let u(p) = -6*p + 5. Let j be u(-5). Let y = 36 - j. Is -2/69 greater than y?
False
Let i(b) = b**3 + 15*b**2 - 14*b + 34. Let l be i(-16). Suppose -4*f = 3*q - 112, 4*q - 158 = f - l*f. Is q less than 40?
False
Let f = 30.92 - 31. Let j = f - -0.28. Does 1 = j?
False
Let i = 35 + -35.7. Let p = i + 0.7. Let y = -2 + 3. Is y > p?
True
Suppose 11 = 4*m - 1, 2*z - 4*m = -12. Let k(b) = 2*b**2 + 9*b + 3. Let w(y) = -y**2 - 4*y - 2. Let t(p) = -3*k(p) - 7*w(p). Let q be t(z). Are q and 6 equal?
False
Let m = -2/171 + -5/114. Let n = 5 + 3. Suppose 2*g + 3*r = 12, -g + n = 2*r - 0*r. Is m less than g?
True
Let g be (1/2)/((-2)/(-12)). Suppose 2*c = g*c. Let k be (-17)/((c - -4) + -3). Which is smaller: 1 or k?
k
Let j = -6 - -14. Let z(k) = k**2 + 18*k - 34. Let q be z(-20). Which is smaller: j or q?
q
Let g be (0 + (-12)/(-10))/((-52)/60). Is 3 equal to g?
False
Let z = -2.5 + 2. Let w = -4.047 + 0.047. Which is smaller: z or w?
w
Let i = 0.177 + -0.067. Let s = 1 - 0.99. Let g = s - i. Is -2 greater than or equal to g?
False
Let n = 66 + -332. Which is smaller: n or -267?
-267
Let f = -14 - -14.06. Let k = -0.19 + f. Let u = 0.14 + k. Which is greater: u or 0.1?
0.1
Let u(x) = -x**2 + 7*x + 9. Let i be u(8). Which is smaller: i or 18?
i
Suppose 32 - 18 = -7*c. Suppose 0*m - 2*m - 2*b = 12, -3*m - 5*b - 12 = 0. Which is greater: m or c?
c
Suppose 10*q = 11*q + 14. Let g be (-8)/q*6/8. Which is smaller: g or -1?
-1
Let u = -13 - -18. Let a(q) = -q**3 + 4*q**2 + 5*q + 7. Let p be a(u). Let m(n) = -n**3 + 7*n**2 - n - 1. Let i be m(p). Does -6 = i?
False
Suppose 8*x - x = 63. Suppose 0 = b + 2*a + 4 - x, 3*a = 9. Let n(f) = f**3 + 15*f**2 - f - 13. Let r be n(-15). Is r bigger than b?
True
Suppose -5*g + 71 = -94. Let m be 14/(-77) - 126/g. Which is smaller: -6 or m?
-6
Let i be 3*(-80)/(-264) + (-2)/(-22). Which is smaller: 4/13 or i?
4/13
Suppose 0 = -96*l + 95*l + 1. Which is greater: l or -745?
l
Let q(f) = -f**3 - f**2 - f + 2. Let y be q(0). Let t = -7 - -6. Let s be t/(1/y) - -3. Is s at least as big as -1?
True
Suppose -7 = 3*f + 5. Let r = 20 + -27. Let d = f - r. Which is smaller: d or 8/5?
8/5
Let q(m) = 56*m**3 - 9*m**2 + 17*m - 1. Let a be q(2). Are a and 0 equal?
False
Let q = -0.83 + 0.03. Let b = 1.58 + 11.62. Let o = b - q. Which is smaller: o or -0.1?
-0.1
Let d = -569 + 567. Do d and -114 have the same value?
False
Let w be (-14)/3*1/(-1). Let y(s) = -16*s**2 + 38*s + 29. Let p be y(3). Is w greater than or equal to p?
True
Let l = -23 - -25. Suppose l*s = -5*o + 85, 5*o + 64 + 51 = 3*s. Which is bigger: 41 or s?
41
Let i(t) = 5 + t + 4*t**2 + 2*t + 3*t**3 - 2*t**3 - 2*t**3. Let f be i(4). Let o = -33/2 + f. Is o at most 2?
True
Suppose 4*g + 2*c = 16, 3*g - 5*c + 0*c = -14. Let u be (2/(-4) + g)/(1 - -2). Which is smaller: u or 0.21?
0.21
Let h = 35 - 26. Suppose 3*q = h*q. Let b = 0.41 - 0.01. Which is greater: q or b?
b
Let y(j) be the second derivative of -2*j**3/3 + 23*j**2/2 + 6*j. Let f be y(5). Let x(g) = g - 1. Let s be x(4). Is f less than s?
False
Suppose 5*v - 14 = 3*j + 6, 2*v - 8 = -5*j. Suppose -3*x - 2*c - 34 = -6*x, 54 = 5*x - 2*c. Suppose 0 = v*s - 34 + x. Which is bigger: s or 5?
s
Let l(z) = 788*z + 2372. Let g be l(-3). Let r be 1/4 - 62/(-8). Is r at most as big as g?
True
Let w = 1.21 + -3.17. Let g = -0.14 - -0.1. Let m = w + g. Is m greater than or equal to -5?
True
Let c = -0.053 + 0.153. Let t = -7/4 - -9/4. Are t and c equal?
False
Let b be 22/12 - 4/(-6). Let w be ((-54)/126)/(-2 + (-26)/(-14)). Which is bigger: w or b?
w
Let d(h) = -h**3 - 10*h**2 - 30*h - 188. Let b be d(-9). Which is bigger: b or -2/373?
b
Let t(r) be the second derivative of -r**4/12 - 11*r**3/6 - 10*r**2 - 2*r + 52. Let p = 10 + -20. Let h be t(p). Is -11 < h?
True
Let t(w) = -13*w + 447. Let d be t(33). Let o = 27 + -7. Does o = d?
False
Let y = -453 + 457. Which is greater: 21 or y?
21
Let w = -1 + 1. Let z(l) = l**2 + 5*l + 4. Suppose -27*p = -22*p + 15. Let n be z(p). Are n and w equal?
False
Let g = -1106.5 + 1107. Let w = -4 + -3.5. Let m = g - w. Is m at least 1?
True
Let k(o) = -20*o - 2 + 0*o**2 + 6*o - o**2. Let j be k(-14). Let t(f) = -f**2 - 10*f - 11. Let y be t(-9). Is y smaller than j?
False
Let b be (-220)/12 + (0 - 2)/(-6). Is b less than -216/13?
True
Let y = -3.7 + 4.02. Let g = -0.56 + y. Which is smaller: 2/3 or g?
g
Let j = -27 - -23. Let i be (-2)/(j/(-6)) + 11. Let v be 2/(0 + i/28). Which is smaller: 8 or v?
v
Let p(d) be the second derivative of -d**4/12 - d**3/2 - 13*d. Let k be p(-1). Is k at least 3?
False
Suppose m - 4 = -5*g + 7, 3*m = -4*g. Suppose 4*h + g = -1. Which is bigger: h or 5/12?
5/12
Let a = -18/29 + 159/116. Let s = -0.6 + 0.59. Let k = 0.09 - s. Which is bigger: a or k?
a
Let h = -0.9 - -1. Is 202 greater than or equal to h?
True
Let l(u) = 3*u**2 - 40*u + 48. Let o be l(13). Is o bigger than 14?
True
Let d = 112 + -56. Let k = 0.336 + -0.236. Which is greater: d or k?
d
Let d be ((-16)/4338)/(132/(-198)). Is d at least 1?
False
Let p(i) = -i**3 + i**2 + 7*i - 1. Let b be p(0). Do b and 1/16 have the same value?
False
Let c(f) = -f**3 + 3*f**2 + 6*f - 4. Let v be c(4). Suppose 0 = -5*p - v*o - 895, -2*o = -4*p - 4*o - 710. Let l = 4369/25 + p. Which is smaller: -1 or l?
-1
Let l(k) = -k**2 + 10*k - 13. Let z = 60 + -54. Let v be l(z). Let c be 2/(-1)*(0 - 5). Is c bigger than v?
False
Let r be (-6)/(-10) + 0 - (-26004)/110. Let t = 242 - r. Let v = 7 - 2. Is t equal to v?
True
Let z be (-5)/(-5)*2 - -3. Which is bigger: -28 or z?
z
Let p be (1/5)/((-8)/5). Suppose 9*x - 3*x 