)/(-15)). Is g > s?
True
Let b be ((-4)/4)/(2/(-4)). Let n(p) = -b - 5*p - 8 + 3*p - p. Let z be n(-8). Is 1 != z?
True
Let t be ((3 - 4) + -1)*(-117)/18. Which is smaller: t or -2?
-2
Let b be (57/(-19))/(2/14). Suppose 3*r = 2*r - 22. Let c = b - r. Do c and 3 have the same value?
False
Let p = 22.7 - 9.3. Let d = p - 19.4. Does 2 = d?
False
Let r = 44 - 48. Let h be 2/(4*14/r). Is h less than or equal to 0.01?
True
Let m(y) = -y**2 + 3*y - 18. Suppose 5*t + 3*v - 10 = 27, 19 = 3*t + v. Let d be m(t). Which is smaller: d or -25?
d
Let a = -1029 - -60708/59. Which is bigger: a or -3?
a
Let d(r) = -2*r - 15. Let m be d(-8). Let b be m/(-4)*(1 - 60 - -1). Do 14 and b have different values?
True
Let r(a) = a**3 - 17*a**2 + 15*a - 39. Let h be r(17). Suppose 8*z - h = 14*z. Which is greater: -37 or z?
z
Let i = -10.31 + 0.31. Let l = 29 - 30. Which is smaller: i or l?
i
Let t = 14/307 - 16648/1535. Is t <= 0.2?
True
Let q be (-2)/8*12/30. Let y(f) = 2*f - 3. Let s = -5 - -7. Let k be y(s). Which is greater: k or q?
k
Suppose -19*q + 1551 = -330. Is q > 110?
False
Let o(j) = j. Suppose -2 = 2*v - 0. Let f be o(v). Let i be -21*1/(-1 + (-5 - (-54)/6)). Is i at most f?
True
Let a(d) = 7*d**2 + 19*d + 20. Let b(j) = 3*j**2 + 9*j + 10. Let w(x) = -2*a(x) + 5*b(x). Let q be w(-8). Let f be q/(-40) + (-3)/(-12). Is 1 < f?
False
Suppose -9*n + 7 = -128. Let y be 5/(-10)*n*(-1 - 4). Which is bigger: y or 37?
y
Suppose 4*t = -4*z, z + 4*t = 5*t + 6. Suppose 26 = -5*a + n + 2*n, -3*n - 6 = z*a. Is -16/5 at least as big as a?
True
Let n be 46/21*9/24. Let b = n + -4/7. Let k = 0.1 - 1.1. Which is greater: b or k?
b
Suppose 0 = -36*o - 148*o - 199 + 15. Let i = -2/691 + 4192/15893. Is o < i?
True
Let j = -1058 - -1154. Are j and 95 nonequal?
True
Suppose 3*y + y - 44 = 0. Let z be -1 + (2 + -3)*-2. Suppose -b = -z - 9. Is b at most as big as y?
True
Let m(z) = -z**3 + 9*z**2 - 9*z + 12. Let i be m(8). Let j = -1 + i. Suppose 0 = j*t + 10 + 8. Which is greater: t or -4?
-4
Let f = -11 + 22. Let m = 1 - f. Which is greater: m or -0.2?
-0.2
Let y be -2*((-15)/(-6))/5. Let n = -208 + 2286/11. Is y at most n?
True
Suppose -2*n - 4 = 3*q, 26*n - 21*n = 4*q + 13. Is 1/174 bigger than n?
False
Suppose -5*h = -5*w - 15, 0*h = -4*h + 2*w + 12. Are 20/13 and h unequal?
True
Suppose c = -6*g + 4*g + 7, 0 = 4*c - 3*g + 16. Which is bigger: c or -2/795?
-2/795
Let x(i) = i**2 + 5*i - 2. Let r(q) = q**3 + 0*q - 1 + 5*q**2 + q - q**2. Let t be r(-4). Let m be x(t). Which is smaller: -3 or m?
-3
Let m(p) = -8*p**2 - 266*p - 69. Let k be m(-33). Let s = 1 - -2. Suppose q - 10 = s*q. Is k at most as big as q?
False
Let b be 2 - 7/126*9. Is 25 at least as big as b?
True
Let f be (-5)/(-10)*4 + -54. Let z be 8/f + 119/351. Which is smaller: z or 1?
z
Let n = -2 - -6. Suppose 0 = 4*v - n*u + u + 19, 2*u = -4*v + 6. Is -3/52 >= v?
True
Let y(k) = 4*k - 4. Let r be y(3). Suppose -4*c + r = 44. Which is smaller: c or -7?
c
Let n be 5/(-20)*2056/(-6). Let w = n + -87. Let c be (-1)/(-2) + 42/(-28). Which is bigger: w or c?
c
Let f = 12 + -12.1. Let l be (1 + (-2)/2)/(15 - 14). Which is greater: l or f?
l
Let c = 125 - 271. Let n be 4/(-6) + (-356)/6. Let u be c/(-30) - 8/n. Are 11/2 and u nonequal?
True
Let l(x) = -6*x**3 - x**2 - x + 1. Let m be l(1). Is m at least -7?
True
Let v = -23.8 + 18. Let x = 5.7 + v. Which is smaller: x or -18?
-18
Let s be (-2 + 15/6)*-2. Let b be (s - 1) + (-4)/(6/3). Which is bigger: -2 or b?
-2
Let r(c) = -22*c**2 + c. Let d be r(1). Let t be 2/6*(54 - 117). Let g = d - t. Which is bigger: 2/53 or g?
2/53
Let d = -105.49 - -106. Let s = -11.51 + d. Which is smaller: -0.1 or s?
s
Let c = 1534 + -1459.88. Let y = c + -74. Which is bigger: 2 or y?
2
Let s = 44 - 15. Suppose -5*f + f = -104. Let d = f - s. Is -3 smaller than d?
False
Let u = 21.8 - 6.3. Let r = 16 - u. Let p = 2.5 - r. Does 0.03 = p?
False
Suppose v = 5*a + 5, 4*v - 25 = -4*a - v. Suppose -l + 0*l + 62 = a. Suppose 5*u = i - 0*i + 6, 3*i = -5*u + l. Which is greater: 13 or i?
i
Let q be 1/(-5) + (-247)/(-285). Let g be (2/3)/((-4)/10). Is g less than or equal to q?
True
Suppose 124*k = 120*k + 16. Let g(y) be the second derivative of -y**3/6 + 7*y**2/2 + y. Let z be g(k). Which is smaller: 7/3 or z?
7/3
Let p = -311/10332 - -2/861. Is p at least 1?
False
Let o = -29 + 103. Which is smaller: o or 76?
o
Let l(x) = x + 15. Let v be l(-13). Suppose 2*j - 6 = -v. Suppose 2 = j*o - 2*t, -19 - 2 = 3*o + 3*t. Which is smaller: 0 or o?
o
Let a be 20277/189 - 2/7. Is 107 < a?
False
Let u be 23*(15/(-25) + (-2)/5). Let s = -44 - u. Is s not equal to -20?
True
Let q = 1280 - 1029. Is q at most as big as 252?
True
Let m be 2 - -1 - 1/((-5)/(-15)). Suppose -4*r + 5*i - 5 + 21 = m, r + 4*i = -17. Is r bigger than 0?
False
Let a = 3911 - 3927. Let k = 3 + -3.1. Which is greater: a or k?
k
Let t(u) = u + 5. Let a be t(7). Let h = -9 + a. Suppose 3*r = -2 + 17. Do r and h have the same value?
False
Let r(k) = -k**2 + 11*k - 7. Let m be r(10). Let s be 11/4 + m/12. Let f = s + 6. Is f less than 8?
False
Let s be 2/10*10/12*(-4232)/(-43378). Let q be 2/5 + 2/(-5). Do q and s have the same value?
False
Suppose 7*q + 16 - 9 = 0. Which is greater: q or 64?
64
Suppose s - 5*b = 6*s + 35, 0 = -5*s - 2*b - 50. Let l be ((-48)/(-63))/(s/14). Let r = -112 - -111. Does r = l?
False
Let f = 23 + -35. Let m = -10 - f. Suppose 0 = o + o + m. Does o = -2?
False
Suppose 0 = a - 3*a - 5*p + 5, 2*p = 6. Which is smaller: a or 18.2?
a
Suppose 3*s - 12 = -s. Suppose s*t = -t - 4. Is -8/11 equal to t?
False
Let k = -0.09 - 0.15. Let w = 0.14 + k. Let d be 10/4*(-36)/9. Is d not equal to w?
True
Let j = 17 - 17.015. Which is greater: -1/5 or j?
j
Let p = -12 - -16. Suppose 0 = -p*c - 16 - 24. Let w = c - -9. Is w not equal to -5?
True
Suppose 4*n - 4*m = 0, 3*m + 4 = 2*n - m. Let u(k) = k**3 + 8*k**2 - 27*k - 216. Let x be u(-8). Which is smaller: n or x?
n
Let m = 59 + -54. Suppose 6*f = 3*b + 8*f - 3, 8 = -m*b + f. Which is greater: 0 or b?
0
Suppose 2*c = 9*c - 7. Let x = -22 - -19. Which is smaller: c or x?
x
Let q be (-1 - 1)/((-23)/138). Which is smaller: 11 or q?
11
Let p = -169 + 6761/40. Let m(s) = -s**2 - 79*s - 1008. Let l be m(-63). Which is smaller: l or p?
l
Let p be (4 - (-556)/(-48)) + -3 + 11. Let j(z) = -z**2 + 2*z + 2. Let o be j(3). Which is smaller: o or p?
o
Let d = 3 - 3.1. Let i = 142 + -232. Let c be (-8)/(-6)*(-9)/i. Which is greater: d or c?
c
Let k = -21 - -19. Let n = k - -2.1. Let p(y) = -14*y**2 + 1. Let f be p(-1). Which is greater: f or n?
n
Let n = -15.2 + 15.2. Is -32 at most n?
True
Let u be -2*(-2 + 4 + 10/(-4)). Which is bigger: u or -5/47?
u
Let n = 1 + 0. Let j be (-69)/(-46) + 6/(-4). Let l = j - -3. Is n <= l?
True
Let c = 16 + -5. Let n = 15105/4 - 3766. Which is greater: c or n?
c
Let x be 40/(-10) + 6 + 3 + -2. Let m = -1.5 + -0.5. Is m bigger than x?
False
Let h(c) = 3*c + 1. Suppose 6 = 2*d - 4*j + 2*j, -7 = -4*d + 3*j. Let f(z) = -2*z - 4. Let r be f(d). Let b be h(r). Which is smaller: b or 8/13?
8/13
Let j be (-8)/3*(-18)/12. Let n = 230 + -225. Which is smaller: j or n?
j
Let f be (0 - 4)/(3/9). Let k = f + 16. Suppose 0 = -k*w - w. Which is smaller: 1/9 or w?
w
Let b = 9.1 - -1.9. Let k = b - 15.3. Let x = 0.7 - k. Which is greater: x or 0?
x
Let u(m) = -m + 14. Let q be u(10). Suppose 2*z = -q*z - 240. Let g be (16/z)/((-8)/(-10)). Is g <= -4?
False
Suppose -c + 4 = -2*f, -5 + 15 = 5*c. Is 13/51 greater than f?
True
Let p be ((-287)/(-164))/(1/24). Which is bigger: 37 or p?
p
Let u be 0 + 98/168*6/(-20). Is u less than 1?
True
Suppose 0 = 3*w + 10 + 11. Suppose -5*o + 16 = -7*o. Which is greater: o or w?
w
Suppose 3*z + w = 8, -2*w = -4*z + 10 + 14. Suppose l - 5*g = 18, 9*l - z*l + 4*g + 26 = 0. Is -8/15 at most l?
False
Suppose -85 = 6*j + 11. Let u = -7 - 1. Let v be (24/j)/((-2)/u). Does -6 = v?
True
Suppose 4*d + 3*l = 47, 7*l = 3*d + 9*l - 36. Suppose -2*o + 10 = -2*w + 2*o, -2*w - 3*o = -25. Suppose w*v = -0*v + 70. Are d and v equal?
True
Let l(p) = 2*p + 8. Let t be l(-5). Suppose -2*g = -3*g - 4*x - 6, 0 = g + 3*x + 5. Is g < t?
False
Let z = 962 - 962. Which is bigger: z or 9/13?
9/13
Let t = 10 - 149. Which is bigger: 2/3 or t?
2/3
Let a = -67 + 54. Which is gr