)/(-6)*(-6)/f. Let d = 514 + -513.8. Is d equal to i?
False
Let p = -1 + -3. Let t be 3*(1 + 0) - -3. Suppose 0 = 3*i + t + 6. Is p greater than or equal to i?
True
Let w be (-4)/12*(1 + 1/(-2)). Is w at most 0.6?
True
Suppose -4*r - g - 4 + 0 = 0, 4*r + 5*g = 12. Let t be -4 + 3 + (-3 - -2). Is t smaller than r?
False
Let j = 4 + -3.98. Let t = -0.02 - -0.1. Let x = t + j. Is x greater than -0.3?
True
Let a be (-12)/4 - (-109)/37. Let o = a + 67/555. Which is bigger: 0 or o?
o
Let q(w) = 2*w**3 + 2*w**2 - 6*w + 4. Let y be q(2). Is y smaller than 17?
True
Let g be (-60)/(-1 - -2)*2/28. Is -4 at least g?
True
Let z = -11.65 - 0.35. Which is bigger: z or -2/7?
-2/7
Let z(m) = 4*m + 2. Let c be z(-2). Let k be 2/3*c/(-8). Let u = 1.7 - 1.3. Do k and u have the same value?
False
Let b be 1/10*15*10/12. Which is smaller: b or 2?
b
Let v = -2/139 + -687/556. Let x(n) = n + 19. Let y be x(-15). Let s be 33/(-22) + 2/y. Does s = v?
False
Let y be 8 + -2 + 2 + 0. Suppose -4*m + y + 4 = 0. Let l be (-32)/(-24)*(-6)/(-4). Which is greater: l or m?
m
Suppose m = 3*m. Which is smaller: 2/3 or m?
m
Suppose -m + 2*s - 9 = 0, -4*m - m = -5*s + 50. Which is smaller: m or 2?
m
Let d(o) = 2*o + 23. Let v = -23 + 12. Let k be d(v). Which is bigger: 3/4 or k?
k
Let k be (-2)/(-4)*(-20)/2. Let q = -7 - k. Is -3 != q?
True
Suppose 0 = -4*p - 3*h + 1, 4*h = -2*p - 3*p. Let u(f) = -f**2 + 5*f - 3. Let n be u(p). Is n at most as big as -3/7?
False
Suppose i = 3*i - 12. Let n = i - 5. Are n and 2 nonequal?
True
Let v be 24/4*5/(-15). Which is smaller: v or 4?
v
Let j = 20 - 26. Let c be ((-4)/(-3))/((-4)/18). Is j greater than or equal to c?
True
Suppose -8 = -4*f + 4*o, -f = -3*f - 4*o - 26. Is f at least -4?
True
Let g(r) = -r**3 - 6*r**2 - 4*r + 7. Let q be g(-5). Is q <= 10/3?
True
Suppose 3*r - 3*w - 135 = 9, 237 = 5*r - 4*w. Let p be (-2)/8 - 103/4. Let g be p/r - 2/9. Is -0.1 less than g?
False
Let z = 3 - 7. Suppose 4*q - 4 = 16. Let b = z + q. Which is bigger: -1 or b?
b
Let n = -17 - -20. Suppose n*t - 1 = -4*h, -h = 2*t - 7*t - 6. Which is bigger: 2 or h?
2
Let v = 2 - 3. Let p = 3/19 - 1510/57. Let f = -27 - p. Which is smaller: f or v?
v
Let l = 10.2 + -7.2. Which is smaller: l or -1/2?
-1/2
Let b be 1 + 0 - (88 - 13). Is b > -1?
False
Let n = 2 - 2. Let p = n - -1. Which is smaller: 1/4 or p?
1/4
Let i = 7 - 9.1. Let c = -1.35 - -0.25. Let x = i - c. Which is greater: 0.06 or x?
0.06
Let o(v) = v**3 + 9*v**2 + 9*v + 10. Let t be o(-8). Let m = -23 - -40. Suppose 3*x + 0*x + 4*l = -m, 13 = -2*x - 3*l. Is t bigger than x?
True
Suppose -r + 4 = -u, 2*u + u = -r. Let q = 16 + -4. Suppose l + q = 4*l. Which is greater: r or l?
l
Let a = -596/23 + 26. Which is smaller: 0 or a?
0
Let k = 1 + -22. Is -20 less than k?
False
Let r be ((-1*222)/3)/2. Let d = r - -149/4. Is -1/3 at least as big as d?
False
Let r = -11 - -11. Is -1/15 at most as big as r?
True
Let o = -4.08 + 0.08. Let r be 1 + (-2)/6 + (-328)/861. Which is smaller: o or r?
o
Let y = 6/83 + 403/166. Let s(i) = -i**2 - 6*i - 3. Let a be s(-5). Let g be 2 + 4*1/a. Which is bigger: y or g?
g
Let i be (-18)/218*(-14)/(-42). Are i and 1 unequal?
True
Let r = -85 + 86. Is r at most -2?
False
Suppose m = 3 - 8. Let y(l) = l**3 - 22*l**2 - 22*l - 18. Let g be y(23). Let b = g + m. Which is smaller: 2/5 or b?
b
Let c(p) = p**3 - 8*p**2 - p + 11. Let j be c(8). Suppose -4*q - 2*d + 31 = 3*d, j*d + 39 = 4*q. Let l be 6/(-4)*3/q. Are -1 and l equal?
False
Let q(b) = b**2 + 8*b + 1. Let i be q(-8). Which is smaller: -2/7 or i?
-2/7
Let n(u) = -u**2 + 2*u + 3. Let s(c) = 5*c**2 - 8*c - 13. Let v(b) = -9*n(b) - 2*s(b). Let h be v(-1). Are -1/4 and h equal?
False
Let s(y) = -2*y - 3. Let p be s(-3). Let h(b) = 1 - 4*b + 4*b - 17 + 2*b. Let z be h(9). Which is bigger: z or p?
p
Suppose -3*p = -65 + 44. Let r = 0.5 + 1.5. Is p equal to r?
False
Let f = 2 + 0. Let i be (-6)/((-3)/(-6) - f). Is i at least as big as 5?
False
Let t(s) = s**2 + 4*s + 1. Let q be t(-4). Let h be 6/(-2) - (-9 + 0). Suppose -v = -h*v. Is q >= v?
True
Suppose 0 = 4*o - o - 9. Suppose 4*c - 5*z + 1 = o*c, -2*c = 3*z + 2. Is c >= -2/7?
False
Let m = 14.6 - 14.66. Which is smaller: 13 or m?
m
Let t(r) be the first derivative of r**3/6 - 5*r**2 - 4*r + 4. Let n(m) be the first derivative of t(m). Let z be n(8). Is -2/3 smaller than z?
False
Let s = -7 - -9. Do 9/5 and s have different values?
True
Let k = -858 - -2545/3. Is k at least -11?
True
Let f = -11/27 + 1/3. Let c be (0 - 0)/(-10 + 14). Which is greater: c or f?
c
Let k = 12 - 11. Which is smaller: k or 0?
0
Let b be -1*(-20)/(-9) - -2. Let z = 8 - 5. Let k be ((-2)/z)/(12/(-18)). Does b = k?
False
Suppose -4*n - 3 = -31. Suppose 3*i - 580 = n*i. Let b = 1309/9 + i. Which is smaller: b or -1?
-1
Suppose 7*r + 148 = 3*r - 4*y, 5*y - 130 = 4*r. Let t be (-115)/r + 2/(-7). Let p = -0.1 - -0.2. Is p smaller than t?
True
Let y(j) = 3*j. Let t be y(2). Suppose 0 = 5*i + 3*f - 0*f + t, 2 = 2*i - f. Which is smaller: 1/2 or i?
i
Let g be 3*(-15)/(-9)*1. Suppose -g*v = y + 10, y - 3*v - 6 = -0. Let m(a) = a - 3. Let f be m(0). Are f and y unequal?
True
Let k be 335/(-111) - (18 - 21). Is k greater than 1?
False
Suppose 2*q + 2*n - 77 = 3*n, 3*q = 2*n + 117. Is q greater than or equal to 37?
True
Let t be ((-1)/(-14))/(2/12). Let f = -3 + 2. Let v be 1 - (2 - 2)/f. Which is smaller: t or v?
t
Let p = -0.3 - -0.4. Let l be ((-131)/2)/((-6)/(-4)). Let x = 43 + l. Does p = x?
False
Let y = -251 + 260. Suppose 3*x = 4*x - 9. Is x at least as big as y?
True
Let m = 9.3 + 1. Let a = -11 + m. Let l = a - -0.8. Is -0.3 greater than or equal to l?
False
Let o = 20 + -21. Let w = 7.88 + -0.98. Let h = w + -0.9. Which is bigger: o or h?
h
Let w(o) = -o**2 - 5*o + 9. Let k be w(-7). Let s be (5 + (0 - 1))/((-3)/3). Which is greater: s or k?
s
Let v = 17 + -17. Let b be (-54)/(-26) + (-2 - 0). Is b greater than or equal to v?
True
Let t be 6/16 + (-248)/320. Let z(i) = i**2 - 5*i + 3. Let u be z(5). Suppose -d = -u*d. Which is smaller: d or t?
t
Let l = -408/5 + 82. Let c(y) = y**2 + 11*y + 1. Let k be c(-11). Let a be 0/(0 + k + -3). Is l at most a?
False
Suppose 2*h - 1 = 15. Is h at least as big as 8?
True
Let w = 12 - 12. Which is bigger: -2/21 or w?
w
Suppose 76 = -r + 5*r. Suppose 48 = 4*t + u, 3*t - 3*u - 17 - r = 0. Suppose 0 = -4*h + m + t, -3*m = -2*h + 2 + 4. Which is smaller: h or 2?
2
Let h = 96 - 119. Are h and 0 non-equal?
True
Let h = 1 - 1. Which is greater: h or -1.5?
h
Suppose 5*o + 3*t + 8 = 19, 0 = o + 2*t - 5. Which is smaller: 5 or o?
o
Let m be ((-1)/5)/(3/(-51)). Which is smaller: 3 or m?
3
Let a = 6 - 4. Suppose -4*d - a = -6. Which is greater: -0.1 or d?
d
Let y be -1 + 1 - 78/(-9). Let o = y + -9. Suppose -5*a + 7 + 2 = 4*g, 0 = 4*g - 2*a - 2. Is o greater than g?
False
Let o = -4.92 - 0.08. Let a = 7 + o. Let t = a + -3. Which is smaller: t or 0?
t
Let x(l) = -3*l**3 + 2*l + 1. Let o be x(-1). Let i(h) = h**3 - 4*h**2 + 2*h - 7. Let t be i(4). Is o less than or equal to t?
False
Let n = 140.14 - 139. Let p = n - 0.14. Is p <= 1?
True
Suppose 4*c - 3 = 3*z - 2, -2 = 2*z - 4*c. Let b = -2/297 + 5647/594. Let j = b - 8. Which is smaller: j or z?
z
Suppose -4*b = 2*z - 14 - 0, -11 = -2*b + 3*z. Let k be 2/(-4)*b/2. Let j = 31 - 31. Is j at least as big as k?
True
Let z = -3 - -7. Let w = -7 - -9. Let a(g) = g - 3. Let l be a(w). Is z at most l?
False
Let o be 0/((3 - 0)/3). Suppose -51 = -o*j + 3*j + 2*g, 5*j = 2*g - 69. Let x be j/(-9) + -2 - -1. Which is smaller: -1/5 or x?
-1/5
Suppose 5*m = s + 3 + 2, -5*m = -4*s - 5. Suppose 0 = -o - 0*o + m. Let g = -0.2 - -0.1. Which is bigger: o or g?
o
Let d(m) = m**3 - 4*m**2 + 4. Let q be d(4). Suppose -2*i + q*y + 26 = 0, -3*y - 25 = -4*i - 4*y. Suppose i = 3*o - 5. Is o < 4?
False
Let c(l) = -3*l - 4. Let p be c(-5). Let s be -2 + (35/p - 1). Let n = -27/4 - -143/20. Which is smaller: s or n?
s
Let j = 193839/20 - 9698. Let o = 25/4 + j. Let c = 0 + -1. Is c greater than o?
False
Let p = 0.1 - -0.4. Let v = 16.7 - 17. Are p and v unequal?
True
Let z = -4.3 - -0.3. Let l = z - -7. Let i = -1 + l. Is i > -0.1?
True
Let t be (4/6)/((-22)/33). Let j(q) = -2*q - 3. Let b be j(t). Let y = 150 + -1501/10. Which is smaller: b or y?
b
Let n be (2