ater: b or 18?
18
Let z = 14 - 15.3. Let g = 0.7 - z. Is -1 > g?
False
Suppose -2*w - 19 = 3*r, -4*r - 30 = -0*w + 3*w. Let f be ((-4)/(-7))/((-4)/w). Is f less than 1?
False
Let w = -0.2 + 0.3. Let k = 20 + -22. Which is greater: k or w?
w
Let s = 2.7 + 1.5. Let b = s + -4. Let r = 0.3 - b. Which is smaller: r or -2?
-2
Let f be ((-16)/6 + 4)/(22/(-6)). Is 0 smaller than f?
False
Let s = 99/4 - 6239/252. Which is smaller: s or 1?
s
Let u = -15 + 7. Is -4 not equal to u?
True
Let q = 7.04 - 10. Let u = -0.04 + q. Is 0 bigger than u?
True
Let r(a) = -a**3 - 3*a**2 + 4*a - 4. Let y be r(-4). Let j be (-1 + -1)/((-6)/(-9)). Is j bigger than y?
True
Suppose -6*x - 37 = 5. Which is greater: x or -25/4?
-25/4
Let h(d) = -d**2 + 8*d - 1. Let f be h(7). Which is bigger: 4 or f?
f
Let a be (-2 + 6/2)*0. Suppose b = -b - 2. Which is smaller: a or b?
b
Suppose -2 = -8*c + 6*c. Let j be -12*(-2)/21 - 1. Which is greater: c or j?
c
Suppose -4*o = -0*o + 4*b - 12, -o = -4*b + 22. Let w be 1/o - (-30)/52. Which is smaller: -1 or w?
-1
Let f be (2/(-4))/(20/27). Let z = 1/120 + f. Is -1 != z?
True
Let w(i) = -11*i + 4 - 8 + 11*i**2 - 5*i**3 - 23*i**2. Let o(u) = -u**3 - u**2 - u - 1. Let l(a) = 4*o(a) - w(a). Let j be l(-7). Is 0 at least j?
True
Let r(f) be the second derivative of -f**5/20 - f**3/6 + f. Let a be r(0). Is -0.1 at least a?
False
Suppose f = -4*f + 25. Suppose -a + f*a = -24. Is -5 greater than a?
True
Let y = 83 - 263/3. Which is smaller: -5 or y?
-5
Let c be (0 - -1) + (-20)/14. Let p be ((-9)/(-6))/(3/(-4)). Let b be ((-1 - p)*0)/2. Which is bigger: c or b?
b
Suppose 5*r + 2 = -3. Suppose 0 = -0*p + 2*p. Is r < p?
True
Let n be -2 + (3 - -1) - 0. Suppose i + 3*y - 7 = n*y, -2*y + 26 = 5*i. Which is smaller: 3 or i?
3
Let z = 5 + -8. Let h = z + 3. Let c = h + -0.1. Is 0 equal to c?
False
Let g be 2/(-3) + 7*(-4)/(-42). Which is greater: 3/7 or g?
3/7
Suppose -3*n - 90 = k + 46, 0 = -4*n - 8. Let a = -2211/17 - k. Is a < 1?
True
Let k = -683/9 - -76. Which is bigger: k or -1?
k
Let u(l) = -l**3 - 16*l**2 - 16*l - 14. Let z be u(-15). Is z at most 1/131?
False
Let l be 9726/(-1989) - (-2)/6. Let u = -60/13 - l. Which is smaller: u or 1?
u
Suppose 6 + 8 = 2*q. Suppose 0 = -q*x + 2*x + 10, 16 = 2*p + x. Suppose 2*c - p*c = 0. Is 2/5 < c?
False
Let b = -10 + 14. Let k = b - 3. Let m be 12/(-8) + k/2. Which is bigger: m or -2/13?
-2/13
Suppose 3*y + p - 5 = 0, -2*p + 1 = -5*y + 13. Let u be (2/y + -1)/1. Let o = 2/109 + 644/545. Which is greater: u or o?
o
Let y(i) = 2*i**3 - 10*i**2 - 11*i - 5. Let p be y(6). Which is greater: p or 10/9?
10/9
Let x be (25/(-26) - -1)/(-1). Is x > 1?
False
Suppose -2 = -4*w + 2. Is w at most -4/13?
False
Let q = -398/3 - -9160/69. Do -1 and q have the same value?
False
Let r = 8 + -30. Let x be 25/r*4/5. Is -1 at most x?
True
Let a = -0.91 + 0.9. Let u = a + 0.01. Is u less than -5/4?
False
Let m = -17 + 25. Is m less than 8?
False
Let a = 8 + -9. Let n = 1 + a. Are n and 0.1 unequal?
True
Let i(t) = -t**3 + 3*t**2 + t + 3. Let g be i(3). Let k be 0/g - (-8428)/62. Let o = k - 136. Does 0 = o?
False
Let y = -0.5 - -0.6. Which is bigger: y or -37?
y
Let d be (-2)/(-2)*(1 + -4). Let s(a) = -a**2 - 4*a - 2. Let m be s(d). Is m at most 0?
False
Let b = -43 + 304/7. Let c(d) = -d + 7. Let p be c(10). Is p at most b?
True
Let d be (-3)/((-3)/2)*2. Is d not equal to 7?
True
Let f be (-6)/(-9) + -7*1/2. Is f greater than -2?
False
Let t = 3 + -6. Let f be 2/t + (-10)/(-15). Suppose f = 4*s - 6 - 14. Is 5 not equal to s?
False
Let r = -110324/9 + 12017. Let a be 482*1/(-2)*1. Let p = a - r. Is p at most as big as -2?
False
Let l = -0.09 + 0.18. Which is bigger: 1 or l?
1
Let r = 0.1 - -6.9. Let l = -7.1 + r. Let g = -0.1 + -0.9. Is l < g?
False
Let n be 801/504 + 2/7. Which is smaller: 2 or n?
n
Suppose -5 = -2*c + 7. Let j be (-23)/(-33) - c/18. Which is smaller: -1 or j?
-1
Let a = -137 - -85. Which is smaller: a or -2?
a
Let a = 9690 - 106512/11. Let c = a - 992/143. Let y = -96 + 95. Is y greater than or equal to c?
False
Suppose 0 = 5*v + 24 + 1. Let b be v/(-25) - (-2)/140. Are b and 1 equal?
False
Let j = -0.83 + 6.93. Let k = -6 + j. Suppose -q + 15 = -6*q - y, q + 5*y + 27 = 0. Do k and q have the same value?
False
Suppose -6 = -3*v + 3*n, n = -4*v + 17 + 16. Suppose 0 = -g - 3, -5*u + 5*g = -40. Suppose -3*a = -u*o + 30, 5*o - 30 = -a - 0*a. Is o < v?
True
Suppose 4*z - 12 = 0, 3*z - 13 = -2*a - 2*z. Which is smaller: a or -6/17?
a
Let p be 12/(-60) + 6/(-20). Do 1 and p have the same value?
False
Let g be (-13)/(-4) + (-3)/12. Suppose -l = g*l. Suppose y + l*y = 0. Which is smaller: -1 or y?
-1
Let c = 575466/7 + -82048. Let s = c + -161. Let d be (7/(-14))/(1/(-2)). Is d equal to s?
False
Let c = 4 + -7. Let h = c + 5. Is h <= 0?
False
Suppose 0 = 4*y - 2*j - j + 49, -4*j + 12 = 0. Suppose -3*i = 2*i - 120. Let r be y/i + 9/12. Is r > 1?
False
Suppose 0 = -3*u + 2*u. Suppose u = 6*z - 3*z - 15. Let l = 11 - z. Is l < 5?
False
Let l(v) = -v**2 + 6*v + 6. Let q be l(6). Let w(y) = y**2 - 7*y + 7. Let h be w(q). Are h and -4/11 non-equal?
True
Let w = -0.273 + 0.073. Let q = 1/20 - -1/12. Which is greater: q or w?
q
Let o = -4/131 - 218/1441. Let v be ((21/6)/(-7))/((-1)/(-2)). Is v != o?
True
Let t = 0.1 + -0.1. Let o = 0.21 + 0.13. Let z = 0.04 - o. Which is greater: z or t?
t
Suppose -a = -0 + 1. Suppose 4*k - 4 = -4*c, -3*k = 4*c - k + 6. Let w be (c/(-110))/((-3)/(-15)). Is a less than w?
True
Let p(k) = k**2 - 3*k + 2. Let m be p(2). Let w be ((-10)/4 + 2)*m. Suppose w = 2*c + c. Is c bigger than -3?
True
Suppose -q + 2 = -a, -6 = -0*a - 2*a - 3*q. Which is smaller: a or -1/4?
-1/4
Suppose 4*w + 111 = g, g = -0*g - w + 106. Is 108 less than g?
False
Let f = 2.5 - 1.4. Let k = 19.1 - 14. Let j = k - f. Which is smaller: j or 1?
1
Suppose -31 + 1 = -5*r. Let h be (r/8)/(2/(-8)). Let g(l) = -l**3 - 8*l**2 + l + 6. Let p be g(-8). Are h and p unequal?
True
Let y be -1 - (6/(-8) + -3). Is 3 equal to y?
False
Suppose -18 = -2*t - t. Suppose -x = p - 6, -3*p + 4*p = -2*x + 5. Which is bigger: p or t?
p
Suppose -5*f - 4 = -19, -12 = -o - 4*f. Is o greater than or equal to 22?
False
Suppose 3*s - 5*q = 12, -4*s + 1 = 2*q - 41. Suppose -5*r - 2*n - 1 = 0, 0*r - 5*n + s = r. Let y be (2 + r - -1) + -5. Is y smaller than -3?
False
Let p = 2.8 + -7. Let m = p + 4. Let k = 0.1 + m. Which is smaller: 2 or k?
k
Let w = 8267/10 - 826. Let y = -19/20 + w. Is y greater than 0.1?
False
Let n = 77/102 + -3/34. Are n and 0.2 equal?
False
Let i be (-18)/99 + (-108)/(-473). Is i <= 1?
True
Suppose -5*v - 84 = a, 68 = v - 4*v - 5*a. Is v >= -10?
False
Let z(n) = -3*n + 23. Let o be z(7). Is 4 not equal to o?
True
Let z be (-3)/18*-3*0. Suppose z = 5*v - 6*q + 4*q - 3, 3*v - 3*q = 0. Which is smaller: 1/24 or v?
1/24
Let f = 37816 + -6353131/168. Let v = f - 5/42. Is 0 < v?
False
Let c = -18 + 0. Which is greater: 1 or c?
1
Let v = -5 + 1.8. Is 1 bigger than v?
True
Let a = -87 - -61. Let x = a - -129/5. Let q = -1.1 + 1. Is q equal to x?
False
Let m = -0.004 - -0.964. Let k = m - 1. Let l = k - -1.04. Is l less than or equal to 1?
True
Let u = -0.7 + 1.2. Let z = u + -0.6. Which is greater: -2/3 or z?
z
Let a = 5.7 - 5. Let n = a + -0.7. Let p = -1 - -1.2. Which is greater: n or p?
p
Suppose 2*j - 4*j - d + 16 = 0, 0 = 2*j - 5*d - 16. Suppose -3*f + 5 = -x, 2*f + x = -3*x + j. Let z be (4/(-70))/(f/(-10)). Is 0 equal to z?
False
Suppose -5*j = 0, -4*v - 4*j = -2*v - 8. Are -1/2 and v equal?
False
Let o = -13 - -14. Do 8 and o have the same value?
False
Suppose -5*m = 10, 18 = 3*s + 4*m + 2. Let o = 4 - s. Let g be (-3)/(-5) - (-46)/(-10). Is o <= g?
True
Let w = 16 + -24. Let q(y) = -7*y**2 + 2*y - 1. Let v be q(1). Are w and v equal?
False
Suppose -j - 9 = -4*j, 3*j - 42 = 3*a. Which is greater: a or 1/2?
1/2
Suppose 0 = -4*z + z + 5*u - 23, -5*u + 18 = 2*z. Which is bigger: z or 1?
1
Suppose -8*v + 8 = -0. Which is bigger: v or 3/47?
v
Let u = 31/4 + -15/2. Let z(f) = 2*f + 1 + 1 - f - f**2 - 2*f. Let p be z(-2). Is p less than u?
True
Let c = 14 + -6. Suppose -2 - c = -2*z. Which is bigger: z or 4?
z
Let d = 48 - 47. Let p = -0.1 - 0. Is p < d?
True
Let v = -99 - -494/5. Suppose 0*a + a = -3*k + 5, -2*k + 4 = 0. Is a < v?
T