ppose -j + 44 = 3*j. Is v greater than j?
False
Suppose 4*n + 16 = 0, -159*n + 160*n + 4 = 5*o. Is 2/743 > o?
True
Let m = 6.658 + -1.048. Let f = -0.41 + m. Let b = -2.8 - f. Is -1 at most b?
False
Let p(l) = 6*l**2 + l + 1. Let t be p(-1). Let f be 13 + 3 + -1 + 0. Let j be ((-10)/3)/((-10)/f). Which is greater: t or j?
t
Let z(o) = -o + 11. Let c be z(7). Let t be 7/c + (-1)/(-4). Let y be 2 + (6/t - 17). Is y < -12?
False
Suppose 24*x - 872 = 28*x. Is x at most -218?
True
Let l be -1 + -195*4 + -3. Let q = l - -4693/6. Is -1 at least q?
True
Let l be (-3)/2*((-228130)/(-17550) - 13). Which is bigger: 1 or l?
1
Suppose 12 = -5*m + 3*r, -4 = 35*m - 38*m - r. Which is bigger: m or -192?
m
Suppose -4*z = -0*z - 48. Suppose 2*d + 3*d = 25, -x = 2*d + 109. Let h = 130 + x. Is h != z?
True
Let g = 83677/2066 + -2/1033. Which is bigger: g or 40?
g
Let n = -432 - -443. Let y = -0.3 - -0.1. Which is smaller: n or y?
y
Suppose -2*o = 91 + 167. Let g = o + 391/3. Is g at most as big as 2?
True
Suppose 0*v = -2*v. Let z be (0 + 4)/(-4) - 118/(-122). Which is smaller: z or v?
z
Suppose 5*i + 67 = 2*o, 4*i + 36 = o - 17. Let y be (i/221)/((-20)/(-38)). Let w = y + 7/17. Is w <= 0?
False
Let x(f) = -f + 1. Let c(t) = -5*t - 6. Let s(v) = c(v) - x(v). Let l be s(-4). Suppose -4*k + 58 = 5*w + 6, -3*w + 12 = 0. Is l < k?
False
Let u = 29 + -15. Let t = -691 - -705. Do t and u have the same value?
True
Let i = -687 - -653. Let z be (-741)/21 - 2/(-7). Which is bigger: i or z?
i
Let f be ((-6)/4)/(18/24). Let i(g) = g**2 + 5*g + 5. Let a be i(f). Let y be (6/3 + 3)*a. Is -5 >= y?
True
Let n be 25*-3*(-3)/18. Let c be (-3)/15 + 46/5. Suppose -2*l + 5*l - c = -2*y, -2*y + 39 = -3*l. Which is smaller: n or y?
y
Suppose 4*p - 1 - 19 = 0. Suppose -p*y - 3 = -13. Suppose -2*m - 8 = t + 3*t, 0 = -3*t + 2*m + 8. Which is bigger: t or y?
y
Let l = -0.07 + 0.37. Let z = l + -1.3. Let h = 6 + -11. Which is bigger: z or h?
z
Suppose 2*q = -10*q + 8 - 104. Let z = -2.1 + 2. Which is smaller: q or z?
q
Suppose 5*k - 25 = 0, 1 = -4*l + 2*k + 3. Suppose 0 = l*c - 15 + 3. Suppose 0 = c*g - 5*z + 31 + 5, -3*z = 3*g. Is g <= -2?
True
Let z be (-3)/2 - (14 - 15). Let j be (24/(-14))/(12/(-42)). Which is greater: j or z?
j
Let s(h) = -3*h - 11. Let n be 2 - ((-28)/4)/(-1). Let o be s(n). Let j be 9/21 + o/7. Which is smaller: j or -3?
-3
Let p = -530 - -289. Which is smaller: -240 or p?
p
Let z be (-6)/(-14) + 290/42. Which is bigger: 7 or z?
z
Let d be (-3)/9*1*15/(-20). Which is smaller: -33/5 or d?
-33/5
Let n(g) = -3*g**3 - 6*g**2 + 6*g - 26. Let c be n(-5). Is 167 at least as big as c?
False
Let g = -1315 - -904. Which is smaller: g or 0?
g
Suppose -3*t - 12 = 2*l + 5, 3*l - 17 = 4*t. Is -21/128 smaller than l?
False
Suppose 2 = 3*b + 14, 2*u - 12 = 3*b. Let f(c) = -c**2 + 20*c - 28. Let n be f(18). Suppose -2*q - n = 2*q, v - q - 9 = 0. Does u = v?
False
Let g be 30/(-10)*4 + 12. Which is greater: g or -2/1819?
g
Let g = 96 + -25. Let l = g - 38. Let p = l + -34. Is p not equal to 0?
True
Let y = 13 - 21. Let j = y + 12. Suppose j*f - 3*f + l = -1, 2*f = -3*l - 5. Is f bigger than 7/3?
False
Let g = 4.778 - 4.678. Suppose 0 = -l - z + 48, -3*l + 0*l = z - 134. Which is greater: l or g?
l
Suppose 9 = o + 4*a, 5*o + a + 7*a = 21. Is o less than 2/195?
False
Let a = -72.7 + 72.63. Is 10 at least a?
True
Let b be (-5)/(-1) - (-2 + 159 - -3). Which is bigger: -156 or b?
b
Let j = 1125331782/3653159 - -1/158833. Let z = 308 - j. Is -1 greater than or equal to z?
False
Let l = -20 + 47. Let g = -26 + l. Is g at least as big as 2/55?
True
Let c be -2 - (0 + -3 + -1). Suppose -c*q + 6*q - 22 = -3*b, -2*b + 11 = -q. Let p = 142 + -275/2. Is b less than or equal to p?
False
Let k = -155 + 41. Let h be 45/(-12) - (k/24 - -5). Is h equal to -1?
False
Let f be (-3 - 2)/(-5) - -3. Let z(x) = -x**2 + 6*x - 4. Let w be z(f). Suppose -5*r + w = -1. Are r and -1/33 non-equal?
True
Let l = -826 - -851. Suppose -f + 81 = 3*z, 3*f - 10 + 1 = 0. Let q = z - l. Is q <= 2/17?
False
Let j(i) = 3*i - 69. Let y be j(27). Is y at most as big as 10?
False
Let i be (18 - 3)/3 - 1. Suppose i*p - 20 = 9*p. Is p equal to -1?
False
Suppose 18 = 2*q - 126. Suppose -3*l - q = -3*r, -4*l + 46 = 2*r - 5*l. Which is smaller: 21 or r?
21
Let v = 42 - 39.7. Let a = 1.8 - v. Which is smaller: a or -0.4?
a
Let d = 10 + -20. Let x be 10/(-12) + 5/d. Which is greater: -3 or x?
x
Let c be (4 - 2)*-13 - 3. Is -28 not equal to c?
True
Let j = 6 - 18. Let o = -9.1 - j. Let r = 0.1 + o. Which is smaller: r or -1?
-1
Let h be (-4)/(-16)*5*4. Suppose -h + 3 = -2*w. Let b = 886/7 - 126. Which is greater: b or w?
w
Let g = 348 + -344. Let z be ((-6)/(-4) + -1)*1. Which is greater: g or z?
g
Let r(n) = 6*n + 0 + 2 + 5 + n**2 - 3. Let c be r(-6). Is c greater than 3?
True
Suppose 6*s = -s + 140. Suppose -5*p + b + s = -0*b, p - 2*b - 13 = 0. Suppose 0 = -m - p + 7. Which is smaller: 2/9 or m?
2/9
Let r = 14951/13865 + -51/47. Which is bigger: r or 0?
0
Let m = 76 + -761/10. Let z = 2 + -4. Let i(c) = -c**3 - c**2 + 4*c + 3. Let k be i(z). Does k = m?
False
Let t(h) = 6*h**2 + 30*h - 2. Let g be t(-5). Which is smaller: -23/14 or g?
g
Suppose 4843 - 618 = -13*q. Which is bigger: -323 or q?
-323
Let o = 465 - 465.4. Which is smaller: o or 46?
o
Let u = 2775 + -2674. Which is greater: u or 88?
u
Suppose 0 = 2*r - 4*c + 32, -5*r = 7*c - 4*c + 41. Let k = -10 - r. Are k and -2/233 non-equal?
True
Let p(c) = 3 + 4 - 3 - 3*c + 4*c. Let r be p(0). Suppose -r = b + 3*u - u, 0 = b + u + 4. Which is greater: -5 or b?
b
Let z = -2603 - -2434. Which is greater: -173 or z?
z
Suppose 5*x + 425 = -5*b, 5 = -3*b - 4. Is x equal to -82?
True
Let t = -15 - -15.22. Which is smaller: -8 or t?
-8
Let a = -95 - -96. Which is smaller: a or 1/92?
1/92
Suppose -2*t = -l + 42 - 12, -4*l + 93 = t. Let x = 29 - l. Let g be (-40)/16*(-4)/x. Which is bigger: g or 14/5?
14/5
Let r = -374 - -346. Which is smaller: -382/13 or r?
-382/13
Let r = 387/782 + 2/391. Suppose -4*l - 1 = 2*i - 23, -3*l + 29 = 4*i. Suppose 2*v + 20 = -5*g, -11 = 4*g + i. Is r less than or equal to v?
False
Suppose -11 = -19*a + 8. Let g = 1295 + -68637/53. Is g > a?
False
Let s be -2*(-547)/(-1098) + 1/1. Do 1 and s have the same value?
False
Let g be (3 + -5)/2*-1. Suppose -4*q - 3*d = -8*d - 7, -2*q + d + 5 = 0. Suppose 0 = -3*o + 3*j + 15, 7 + q = o - 2*j. Is g bigger than o?
True
Suppose 258*f - 242*f = -16. Let y = 3 + -2. Let x be (-2)/(-6*y) + 0. Is f <= x?
True
Let c(u) = 156*u**2 - 2*u - 1. Let y be c(-2). Which is smaller: 628 or y?
y
Let i = -0.3 + -0.1. Let f = -151.4 - -155.4. Which is greater: i or f?
f
Let n(g) = -g**2 - 1. Suppose 0 = o + 5*b - 12, -4*b + 24 = -3*o - o. Let v be n(o). Let d(p) = -p - 28. Let t be d(v). Are -19 and t unequal?
True
Suppose 96 = -5*s - 3*s. Suppose -7*j = -4*j - 825. Let t be j/(-22) + 3/(-2). Which is bigger: t or s?
s
Let m = 0.32 - 0.82. Let j = 9 + -8. Let k = -1 + j. Which is bigger: m or k?
k
Let i(c) = c**3 - 5*c**2 - 2*c + 7. Let u be i(5). Let f(m) = m**3 + 2*m**2 + 1. Let k be f(u). Is k less than -8?
False
Let u = 131.167 - 0.167. Let v = 130.8 - u. Is v > -14?
True
Let q = -0.076 + 1.476. Let b = 3 + -1.8. Let w = b - q. Is w > 2/3?
False
Let i be 4/(-12) - (-25)/3. Let o(q) = -q**2 + 7*q + 4. Let y be o(i). Let f(p) = p**3 - p - 5. Let b be f(0). Is y at least as big as b?
True
Let w = 3 + -3. Suppose -5*l + 0*l = 110. Let z = -25 - l. Is w smaller than z?
False
Let w = 1 - 1.2. Let u = 0 - w. Let k = 1.01 - 3.01. Is u less than k?
False
Suppose 4*k + 5*v = -k - 30, 8 = 4*k - 4*v. Let j be (k - (-9)/(-12)) + -1. Which is smaller: j or 1?
j
Let a be ((-4345)/385)/((0 - -2)/4). Which is greater: a or -24?
a
Let m = -1 + -2. Let t = -138 - -142. Is t at most m?
False
Let u(x) = -3*x**2 - 100*x + 67. Let c be u(-34). Are 2/713 and c nonequal?
True
Let q be -9*-4*35/(-60). Suppose -16 - 6 = p. Is q greater than or equal to p?
True
Let i be (-2)/6 + (-5)/3. Let j be (5/30*i)/(-2 + 1). Which is smaller: 3 or j?
j
Suppose -6*f + 5*f = y - 1, 0 = 5*y + 4*f - 7. Suppose 0 = 2*a + 2*z, -4*a - 5*z + y = 2. Is a > 2/45?
False
Let a(o) = o + 8. Let r be a(-8). Suppose -5*g + 1283 = 4*m, 2 = -2*g - r. Let x be m/392 - 1/4. Which is bigger: