 = 7 + g. Suppose -m = 4*y - y. Is y greater than or equal to 2/5?
False
Let x = 38 - 116/3. Suppose 0*v - 1 = 3*j + 5*v, -2*j = -4*v + 8. Is j at most as big as x?
True
Let c(b) = b**3 + b**2 - b + 1. Suppose 4*y - 1 = -0*y - 3*j, 3*y = -4*j - 1. Let p be c(y). Let w be 0 - -3 - 6/p. Is w >= 5/4?
False
Let d be (-2)/7*(420/(-414))/10. Which is smaller: d or 1?
d
Let v(c) = c + 3. Let j be v(-1). Let i = -3 + j. Is i less than -4?
False
Let r = 7 + -8.1. Let p = 2.1 + r. Which is smaller: 2 or p?
p
Let o be -1 - (-2)/8 - -1. Suppose 2 = -a - a, -5 = -q - a. Let u = -6 + q. Is o less than u?
False
Suppose 2*t + 0 = 4. Let x = -11 - -23. Let n be -2*2/x*-6. Is t <= n?
True
Let t(k) = -3*k - 8. Let n(u) = -4*u + 2. Let h be n(2). Let c be t(h). Suppose 4 = 2*w + c. Are -3 and w nonequal?
False
Suppose -4*j + 9 = 3*g, -4*g + 14 = 2*j + 2. Let z(x) = x + 12. Let a be z(-15). Let u be (-10)/(-4 + 2) + a. Is u <= g?
True
Let p = -17 + 16.3. Let u = p + 0.7. Let y = u + 0.1. Is 0.06 <= y?
True
Let y = 0.2 - 1.2. Which is bigger: 1.3 or y?
1.3
Let g(t) = t**3 - t**2 + 2*t - 1. Let z be g(1). Let x(y) = y**2 - y. Let s be x(z). Let u = s - 0. Is 1 greater than u?
True
Let i = -139 + 326. Let a = i - 938/5. Let v = 1 + -2. Which is greater: v or a?
a
Let o = 17 - 32. Let s = o + 11. Which is greater: s or -3?
-3
Let t = 398433/40 + -49236/5. Let p = 114 - t. Which is greater: 1 or p?
1
Let b = 20 + -20.4. Which is smaller: b or 0.06?
b
Let b be (-204)/(-414) - (-6)/(-9). Is b > -1?
True
Let v be (8/20)/(1/5). Let u = 1 - v. Is 0 > u?
True
Let y(d) = -d**2 + 2*d + 2. Let a be y(-1). Which is smaller: a or 3/10?
a
Let p = -13 + 21. Let d = 11 - p. Suppose 0 = -d*t + 6*t. Is t less than or equal to 0?
True
Let j = -4 + 3.6. Which is smaller: j or -1/3?
j
Let c be (-50)/(-4) + (-3)/(-6). Let t be 6/12 - c/10. Suppose -4*q + 0*q = -2*l - 12, -4*l + 6 = 2*q. Which is bigger: l or t?
l
Let j = 4.8 - 1.8. Which is bigger: j or -1/3?
j
Suppose -5*y - 95 = 3*v, -y + 18 = -4*v - 78. Is -25 smaller than v?
False
Let z = 41 + -63. Which is smaller: z or -1/4?
z
Suppose y - 3*y - 4 = 0. Let t be -2 + 3 + y + 2. Let a = 7 - 22/3. Which is smaller: t or a?
a
Let s = -1/1786 + 3623/91086. Which is greater: -1 or s?
s
Let y be 19/(-15) + 5/(-45)*3. Which is smaller: -2/15 or y?
y
Let x = -1 + -2. Let j = 137.86 - 137.9. Which is smaller: x or j?
x
Let x(w) = -w**2 + 3*w - 3. Let d = 1 - -3. Let k be x(d). Let q(n) = n + 9. Let j be q(k). Is 1 greater than j?
False
Let c = -2/31 + -21/155. Let r(m) = -m**3 + m**2 - m + 2. Let w be r(2). Let d be 1/(-2)*0/w. Which is bigger: d or c?
d
Let y = 11 + -6. Suppose 0*x = y*x + 40. Is x at most as big as 0?
True
Let y be (-848)/(-24) - (-2)/(-6). Suppose -13 = -2*x - 5*b, x - b - y = -11. Is x equal to 20?
False
Suppose 2*a = 3*w - 3 + 1, -5*a - 5 = -2*w. Suppose -5*u + 2*u = w. Which is smaller: u or -2?
-2
Let u be (1/4)/(3/(-6)). Suppose -4 = 2*o - 0. Which is greater: o or u?
u
Let r = 36 - 9. Are 1 and r unequal?
True
Let u be (69 + -1)*1/3. Let h = -21 + u. Is h equal to 1?
False
Let x be (-5075)/1270 + 5 - 1. Is x equal to 0?
False
Suppose 60 = 8*r - 2*r. Suppose 20 = -5*a + r. Which is greater: -10/7 or a?
-10/7
Let c = 0.16 + -0.16. Which is smaller: -4/7 or c?
-4/7
Suppose 4*j + 25 = 5*y, -2*j + y = -0*y + 5. Are 2/85 and j nonequal?
True
Suppose 8 = 3*a - 2*c, 2*a + 3 = 3*c + 15. Which is greater: 0.02 or a?
0.02
Let z(r) = r**3 + 5*r**2 + 1. Let s be z(-5). Let f = 3 - s. Suppose 0 = -f*u + 5*y - 15, u - 4*u - 15 = -5*y. Which is bigger: 2/9 or u?
2/9
Suppose -5*f + 13 + 7 = 0. Suppose 0*w - j + 28 = 5*w, 5*j + 10 = 0. Let s = f - w. Is s smaller than -1?
True
Let m(c) = -c**3 + 5*c**2 - 4*c + 3. Let j be m(4). Suppose 4*k - 3*k + 9 = -2*y, j*y + 3*k + 12 = 0. Which is smaller: -4 or y?
y
Suppose 7*p = -2*p. Is p > -4/17?
True
Suppose 0 = 3*t - 6*t. Let j(u) = u + 6. Suppose -10 = 4*q + 14. Let n be j(q). Is t bigger than n?
False
Let r(q) = -15*q**3 + q**2 - q - 2. Let d be r(-1). Is d equal to 14?
False
Let h = 28 - 28. Suppose 3*g - 4 = -1. Is g less than h?
False
Suppose -3*l + 10 = -l. Suppose 0 = 7*b - 12*b + l. Is b bigger than 3/5?
True
Let c = 3 + -11. Let y be -3 + c + 3 - -3. Is y bigger than -6?
True
Let p(q) = -q + 0 - 12*q**3 + 13*q**3 + 9. Let t be p(0). Suppose -j + t = 2*j. Which is greater: 4 or j?
4
Let f = 5 - 5.7. Let r = -0.8 - f. Let j = -0.4 + 0.5. Does r = j?
False
Let n(h) = h**3 + 4*h**2 + 4*h + 1. Let y be n(-1). Is y less than -2/53?
False
Let m(o) = o**3 - 3*o**2 + 3*o. Let l be m(2). Suppose -4*p - 2*w = 4, -l*p - 4*w = -0*p + 14. Which is greater: 2 or p?
2
Let r = -19 - -22. Is r not equal to -1.1?
True
Let b = -26 + 8. Which is bigger: -19 or b?
b
Let p = 25 - 25. Suppose 5*k + p*k + 20 = 0, -k - 48 = -4*m. Is 10 smaller than m?
True
Let c be 42/49 + (-1)/(-7). Suppose 2*z = 4*j, -5*j - 2 - 3 = 0. Let u be (-13)/14 + (-1)/z. Is u equal to c?
False
Let i = 1.03 - 0.03. Which is smaller: i or 0.1?
0.1
Let u be (-3 + 1)/(4/(-16)). Suppose -u*z + 3*z - 5 = 0. Let b be 1 - (-1)/5 - 1. Is b at most z?
False
Let l = -4 - -4. Let a be (1/2*l)/2. Suppose -5*n - 3*q + 17 = a, 3*n + q = 7 - 0. Is -1/11 at most as big as n?
True
Suppose 3*h + h = 12. Suppose 0 = 2*z - 5 - h. Let s = -11 - -16. Is z bigger than s?
False
Let u = -50 + 65. Which is bigger: 0.4 or u?
u
Let u = -68 + 17. Let c be (-2)/(-5) + u/15. Suppose -4*v = -v + 6. Are v and c unequal?
True
Let y = 25/413168 + -1361093665/3718512. Let m = -366 - y. Let v = -136/315 + m. Is 1 > v?
True
Let q = -11 + 7. Let m be (0 + q)*2/4. Let n be 2/(-10) + (-39)/30. Which is smaller: n or m?
m
Suppose 0 = -3*k + 12, -2*h + 32 = 2*h + 2*k. Let q be h/4*(-12)/9. Let b be (2 + q)/(0 + -1). Which is greater: b or 2/3?
2/3
Let v = -23 - -21. Let d be (-2)/(-4) - 1/2. Which is smaller: d or v?
v
Let c = 2 - 8. Suppose 2*f = -3*f - 35. Which is smaller: f or c?
f
Suppose -4*p - 20 + 4 = 0. Suppose 0 = 3*j - 4 + 16. Are p and j non-equal?
False
Let j(p) = -p + 5. Let m(n) = n**3 - 7*n**2 - 9*n + 12. Suppose 5*s = 2*s + 24. Let o be m(s). Let t be j(o). Is -4/5 smaller than t?
True
Let v = 53 + -52.9. Let m = -8 + 4. Which is smaller: v or m?
m
Suppose -4*o + 24 = -o. Let d = 8 - o. Let l = 98 - 785/8. Which is bigger: l or d?
d
Let p be (-54)/8 + 1/(-4). Let a = 10 + p. Is a at most as big as 1?
False
Suppose 0 = r + 5*f + 20, -3*f - 21 = r - 9. Let a = 524 + -14146/27. Let o = a + 5/54. Which is bigger: r or o?
o
Let d = -0.34 + 1.34. Is 22 at most d?
False
Suppose 4*s = 3*n - 0 - 6, 4*s - 4*n = -4. Let z(c) = c**3 + 2*c - 3. Let i(t) = -t**2 + t. Let k(v) = 4*i(v) - z(v). Let m be k(-4). Is m > s?
False
Let z = -115 + 105.4. Let y = 1.6 + z. Let t = y + 8.1. Are -2/3 and t unequal?
True
Let m = -0.68 - -0.88. Which is smaller: m or 3?
m
Let x be (-4)/(-14) + 193/(-14). Which is greater: -14 or x?
x
Let s(u) = u**3 + 3*u**2 - 1. Let i be s(-2). Let h be 1 + -3 + 8/i. Which is greater: h or 0.2?
h
Let q = 0.26 - 0.3. Let z = q - 2.96. Let b = 2.97 + -2.87. Which is bigger: b or z?
b
Let y be (-1)/2 + 3/4. Let r = -2.4 - -2.59. Let s = r + -0.19. Are s and y equal?
False
Let s be (-1)/2*(0 + 0). Let n(o) = -o + 1. Let h be n(-1). Let i be -2*h*1/(-10). Is s != i?
True
Let t = -0.01 - 0.07. Let q = -1.08 - -0.08. Is q greater than t?
False
Let u be 45/220 - (-3)/(-12). Which is greater: 0 or u?
0
Suppose s + 2*s = 12. Suppose k + 2*r + 14 = -3*r, k = -2*r - 8. Let j be s/3*(-6)/k. Which is smaller: j or 0.3?
0.3
Let n(l) = 4*l**2 - 2*l + 3. Let h(s) = 3*s**2 - 3*s + 2. Let u(i) = 3*h(i) - 2*n(i). Let z be u(7). Is 14 less than or equal to z?
True
Let o be (-1)/(-3 + 78/15 + -3). Is 0 less than o?
True
Suppose 11 - 2 = n. Suppose 3*p = p - 2, -4*p = 5*l + n. Is l > -1/3?
False
Let f be (2/3)/((-1)/(-9)). Let b be f - 8 - -1*1. Which is smaller: b or 7?
b
Suppose 0 = 2*p + 7*d - 2*d + 22, 4*p - 4 = 2*d. Are p and -1/2 equal?
False
Let g(s) = s**2 + 6*s + 4. Let k be g(-6). Let h be (-2)/(-9)*(-3)/k. Do h and 1 have the same value?
False
Let i = -135 + 1467/11. Let m = -61/44 - i. Is m less than or equal to 4?
True
Let v = 156 + -155. Let h = -25/132 - 2/33. Which is greater: v or h?
v
Suppose -f - 30 = 4*f. Is f less than or equal to -7?
False
Suppose 