-5/4?
True
Let j(l) = 2*l + l + 0*l - 17 + l. Let g be j(6). Which is smaller: g or 4?
4
Let g = -3032 - -1767. Is 1 greater than g?
True
Suppose -3*t = 2*t. Suppose 0 = 5*v + 2*c - 1 - 83, 0 = -5*v - 3*c + 86. Is v > t?
True
Let w be -1 - (3 - 4) - 26. Let v = 27 + w. Does v = -2/137?
False
Suppose -4*v = -9*v + 4*v. Let o be 74/(-24) + 2 + 1. Which is greater: v or o?
v
Suppose 3*l = 5*k - 8, -8*k = l - 3*k - 24. Let i(q) = 4*q - 1. Let r be i(-1). Let h = -6 - r. Which is greater: h or l?
l
Suppose -204 = -4*m - 20. Suppose -5*q + 4*j = -86, m = 3*q - 4*j - 4. Is q smaller than 18?
False
Let o = -193841 - -2517531/13. Let d = 143 - 328. Let r = d - o. Which is greater: 2/7 or r?
2/7
Let c(p) = p + 1. Let z(v) = -v - 8. Let o be z(-9). Let f be c(o). Suppose -i = -0*i - f. Is 3 at most as big as i?
False
Suppose 26*c = 21*c - 10. Which is smaller: c or -15/29?
c
Let m = -9 - -9. Let t be (-4 - 65/(-15))*4. Which is bigger: t or m?
t
Let q = -6 + -107. Is -1 bigger than q?
True
Suppose 289 = -15*x - 296. Is x less than -27?
True
Let m = -0.98 - -2.09. Let u = m - -0.89. Is 4/7 at most as big as u?
True
Let i = -266 - -276. Let a be (-2)/11 + 4/22. Suppose -5*c + b + i = a, 1 = -3*c - c - b. Is 2/19 <= c?
True
Let t be 0 + (-315)/(-2) + 114/76. Is 158 < t?
True
Let n be -1 - ((-10)/35 + (-706)/1176). Let d = 3/98 + n. Which is greater: 0 or d?
0
Suppose 7*x + 15 = 4*x. Let u be (x - -7) + 17*20. Let w be (-112)/u + (-4)/(-18). Is 0.1 at least as big as w?
True
Let l = 5.6 + -10. Let i = -8.4 - l. Do 1 and i have different values?
True
Let p(u) = u**3 - 12*u**2 - 13*u + 13. Let y be p(13). Suppose -16*b = -y*b. Is b at least as big as 6/11?
False
Suppose p + 37 = -21. Let s = 41 + p. Is s not equal to -17?
False
Let i = 108.1 - 108. Which is bigger: i or 131?
131
Let i = 189 - 173.9. Let v = -12.46 + i. Let l = v + -2.7. Which is smaller: l or 1/4?
l
Let n(b) = -b**2 - 16*b + 10. Let r be n(-17). Let l be (r - (-5 + 4))/2. Let p = -12 - -8. Which is bigger: l or p?
l
Let t(u) = 4*u - 2. Let m be t(1). Suppose 2*h + 34 = -d + 3*d, m*d + h = 25. Suppose 2*r = 6 - d. Are r and 0.1 non-equal?
True
Let u(f) = f**2 + 7*f + 13. Let j be u(-5). Suppose -5*o + v = -62, -j*v = -0*v - 9. Is o <= 13?
True
Let i(t) = -4*t - 39. Let o be i(-10). Let s = -163/165 + 23/15. Is o less than s?
False
Let i(s) = -s + 3. Let p(d) = d - 2. Let w(h) = -3*i(h) - 5*p(h). Let m be w(-3). Suppose m = 4*n + 3*n. Is -5/12 less than or equal to n?
True
Let o be (4 + 424/(-6))*(-30)/(-5). Let h be -1 + -4 - o/75. Which is greater: 38 or h?
38
Let q be (-18 + 17)/((5 + -3)/(-2)). Which is bigger: q or -1/605?
q
Suppose d + 3*b = 9, 3*b + 2*b - 10 = 0. Let r be 3 + 0/(-2 + 3). Suppose 16 = k - r*z + 5, k = 5*z + 17. Is k at most as big as d?
True
Let m = 1.02 - 3.02. Which is smaller: m or 26/5?
m
Let i(d) = 2*d**2 - d - 4. Let q(n) = n**2 + 14*n + 17. Let x be q(-13). Let l be i(x). Let k be 3*3/l*2. Which is smaller: k or 1?
k
Suppose -21*b + 660 = -31*b. Which is smaller: -60 or b?
b
Suppose -10*c - 12 + 2 = 0. Let a(o) = -o + 6. Let f be a(7). Let j be ((-3)/f)/(1 + 0). Which is smaller: j or c?
c
Let r = -44.9 + 45. Let o = 35 + -25. Which is bigger: o or r?
o
Let k(l) = -l**3 - 12*l**2 + 13*l + 11. Let n be k(-13). Suppose 0 = -9*p + n*p + 22. Which is smaller: p or -4?
p
Let g(i) be the first derivative of -3*i**2/2 + 42*i - 48. Let o be g(14). Is o > 1/8?
False
Suppose 91 = -2*q - 5*k + 139, 4*k = 0. Suppose -h - 24 = -2*h. Is h greater than or equal to q?
True
Suppose q + 4*h + 298 = 9, 2*h - 2 = 0. Is q at least -292?
False
Let f = -2.9 + -31.1. Let v = f - -35.1. Let q = -1.2 + v. Which is smaller: -2/15 or q?
-2/15
Let x = -835 + -400. Which is bigger: x or -1234?
-1234
Let x = 7.774 + -0.774. Is -0.1 at least as big as x?
False
Let t(m) = 0*m + 2*m**3 + m + 4*m**2 - m**2. Let p be t(-2). Let g be ((-3 - 2 - -6) + 10)/(-2). Which is smaller: p or g?
p
Let c be (285/9)/((-4)/(-12) + 0). Let f be -4 + c/21 - 4/6. Which is smaller: -6 or f?
-6
Let x be (1660/12136)/((-18)/(-16)). Let l = x - 8/333. Let j = l - -17/246. Which is smaller: j or 1?
j
Let n = 0.6 - -2.4. Let b = -6 + n. Let j be 2/(4 + -1 + 3). Is b equal to j?
False
Let z = -263/505 - 8/101. Which is bigger: z or -10.7?
z
Suppose 2 + 25 = 3*i. Suppose 3 = -3*b + 3*m - 6, 5*m = -b - 21. Let f be b/(-27) + (-11)/i. Is 2/15 smaller than f?
False
Let s = 110 + -328/3. Is s greater than 7?
False
Let o = -93 - -95. Is o greater than 2/7?
True
Let b(o) = o**2 + 14*o + 17. Let g be b(-13). Suppose -9*n = -g*n. Is n greater than or equal to 6/31?
False
Suppose -16 = -3*t - t - 4*g, 0 = t - 3*g - 4. Suppose u - 18 = -3*h, -10 = t*u + 2. Let w be 2/7 + 12/h. Is 3/5 less than or equal to w?
True
Let s be (10 - 3) + 24/(-3). Let c be (-36)/14*(-3)/6. Which is greater: c or s?
c
Suppose 3*z + 15 = -4*f - 0*z, -4*z - 20 = -5*f. Let m(q) = q. Let w be m(5). Which is bigger: f or w?
w
Let h(c) = -8*c - 4. Let t be h(-3). Let n be (-2 - 2)/(13/(91/(-14))). Suppose -a = -3*p + n + 14, 4*p - t = 0. Which is greater: 2/39 or a?
2/39
Let i be 12/3*(-194)/8. Let q = -193/2 - i. Is q at least as big as 35/3?
False
Let m be 2/2*(-7 + 8). Suppose a - m = 2*a. Let g = -1 + a. Is -1 at least g?
True
Let w = 70 + -70.01. Which is bigger: w or 0.12?
0.12
Let x = -0.55 - -1.04. Suppose w = -4*w - 2*l + 8, -5*l - 13 = -4*w. Is w < x?
False
Let t be -1 - ((-78)/21 - -3). Suppose -3*p = -4*p. Suppose p*k - 5*k = 10. Are k and t unequal?
True
Let o = -123 - -1369/11. Let i(s) = -2*s**3 - 107*s**2 - 56*s - 157. Let x be i(-53). Is x != o?
True
Suppose -2*q - r - 2*r = -5, 0 = -4*q - 5*r + 7. Which is smaller: q or 24?
q
Suppose -7*a + 5*a = -2*f - 1332, -2673 = -4*a + f. Is a bigger than 669?
False
Suppose -4*w - 5*q + 69 = 0, 5*q + 29 = -3*w + 87. Let y = -6 + w. Are y and 5 equal?
True
Let s(y) = y + 5. Suppose 2*c = -3 - 35. Let o = -25 - c. Let q be s(o). Which is smaller: 5/7 or q?
q
Suppose -3*z + 6 = -3*y, -4*z = 5*y - 0*y + 10. Suppose z = -3*i + 4*n - 11, 2*n - n = i + 2. Suppose -i*c - 5 = 3*j + 13, -4*c = -2*j - 30. Is -9 >= j?
True
Let l = -402409/184 - -2187. Is l equal to 0?
False
Let f be (-30)/(-12)*16/(-20). Let o be 1/((-15)/(-9) + f). Suppose 2*y - 2 = v + 3*v, y = -4*v - 17. Is v < o?
False
Let u = -3 + 4. Let c = -31 + 30. Let x be ((-10)/(-12) + c)*(-99)/22. Is x < u?
True
Let m = -98 + 682/7. Is m less than or equal to -28?
False
Suppose q = -0*q - 2*n + 4, -q - 3*n = -6. Let s(o) = 3*o - 1. Let a be s(q). Which is smaller: a or -2/13?
a
Suppose 2*d - 232 = -3*x, -3*d + 5*x = 2*d - 630. Which is smaller: d or 121?
121
Let j = -10 + 13. Suppose 9*q = 6*q + j. Let u = 1 - -2. Is q smaller than u?
True
Let z = 22/9 + -1/9. Let i = -28 - -29. Which is smaller: i or z?
i
Suppose -6*w + 4*w = -2*x - 28, 0 = 5*w + x - 46. Is w at most as big as 19?
True
Let h(g) = g**3 + 13*g**2 + 12*g - 16. Let d be h(-12). Let c be d/(-20) + (-16)/45. Which is smaller: c or 0?
0
Let c be ((-12)/(-8))/3*6 - 3. Let v be (-12)/42 - ((-192)/770 + c). Is -1 smaller than v?
True
Let o = -373.6 + 151.6. Are o and 1 equal?
False
Let k(f) = -f**2 - 47*f - 559. Let h be k(-12). Do h and 2/5 have different values?
True
Suppose -3*v = -4*x - 1 - 21, -4*v + 4*x = -24. Let s be (-69)/(-21) + -3 + v/(-7). Suppose 0 = 4*h - 4*d - 6 + 2, 3*h + d = -1. Is s smaller than h?
False
Let j be (0 - 0) + -685*70/(-50). Is j not equal to 959?
False
Suppose -218 = -4*j - f, -5*j + 5*f + 152 = -2*j. Let k = 78 - j. Is k less than or equal to 25?
True
Let v = -7 - -9. Let d be ((-18)/10 + v)*(-8)/(-52). Is d equal to 1?
False
Let s = -54.1 - -68.1. Which is greater: -14 or s?
s
Let p = -27.6 + 28.1. Which is greater: p or -17/5?
p
Let a = -0.64 + 4.64. Which is greater: 2/13 or a?
a
Let i = 1787 + -1786. Is -5/206 >= i?
False
Let l = -3 - -11. Suppose -l*h - 920 = -3*h. Let f = h + 1658/9. Which is bigger: f or 1?
1
Let b = 13/17 + -125/119. Which is greater: -1.6 or b?
b
Suppose 0 = 5*y + d, -2*d = 5*y - 4*d. Which is smaller: 416 or y?
y
Suppose -2*t + t = -5*i - 38, 4*i + 120 = 4*t. Let h be t/931 + (-2)/7*-1. Let n(f) = f**2 + 8*f + 8. Let l be n(-7). Is l < h?
False
Let w(p) = 3*p**2 - 23*p - 68. Let c be w(12). Which is bigger: 86 or c?
c
Suppose 0 = -3*n - 