et g = 0 - d. Suppose 11*a + 4 = 10*a. Which is smaller: g or a?
a
Let o(k) = -2*k**3 - 2*k - 1. Let p be o(-1). Suppose -4 = -p*c - 1. Let h be 4/(-6)*-3 - 1. Are c and h non-equal?
False
Suppose -a - 7 = o + 2*a, o - 2*a = 3. Let z(c) = -c**2 - c + 70. Let g be z(0). Let u be ((-8)/g)/((-12)/14). Is u less than o?
False
Suppose -5*k - 2*v = 10, -k + 6*v - v = -25. Let u = -540 + 3775/7. Which is smaller: u or k?
u
Suppose o + 2*c - 2 = 4, 4*o = -3*c + 14. Let m(y) = 2*y. Let n be m(1). Is n at most o?
True
Suppose -5*x + 2*g = 0, 6 = 3*x - 4*g + 20. Let p = 40 + -12. Suppose -x*t = -p + 10. Is 8 less than t?
True
Suppose 2*h = -2*h + 8. Suppose -5*g + 4 + 1 = -5*n, -3*g = h*n + 17. Let u be -1 - 5*2/n. Which is greater: 3 or u?
3
Let z = -306 + 4592/15. Let s(c) = c**2 - 7*c + 4. Let x be s(6). Let j = -1 - x. Is z at least as big as j?
False
Let s be (1 - -2) + 99/(-24). Is -1 >= s?
True
Suppose -4 - 4 = 4*f. Which is bigger: -3/5 or f?
-3/5
Let b = -0.4 - 0.64. Let a = -0.04 - b. Let p = -0.8 + a. Which is smaller: -1/2 or p?
-1/2
Let k = 8.7 - 8. Let l = -5.7 + k. Let h = -5 - l. Which is greater: -2 or h?
h
Let i = -1280/9 - -142. Are 1/8 and i equal?
False
Let g be (18/27)/((10/(-24))/(-1)). Is g <= 3?
True
Let y be (17 - 18)*4/2. Do y and -2 have different values?
False
Let k(z) = -z - 9. Let y be k(-10). Is y at least as big as 0?
True
Suppose -5*u + u + 16 = 0. Let w be 18/(-231) - u/14. Is 0 < w?
False
Suppose 2*i - 5 = -1. Let a(w) = 4*w + 2*w + w**2 - 3 - 2*w + 0. Let d be a(-5). Are d and i equal?
True
Suppose -5*k + 4*z + 118 = 0, 0 = -3*k - 0*k - 3*z + 60. Which is smaller: 24 or k?
k
Suppose -n = -5*p + 3, 4*p + 4*n - 3*n - 6 = 0. Let s be (p/(-3) - -1)*-3. Is -2 less than or equal to s?
True
Let a be 4/(-20) + (-2)/(-10). Let h be 24/18*(-9)/(-2). Suppose a = 4*y + 2*o - h, -5*o = -11 - 4. Is -1/11 <= y?
True
Let h = 26 + -10. Suppose -j = -5*j + h. Which is smaller: 2 or j?
2
Let f = 2/367 + -828/17249. Which is bigger: -1 or f?
f
Let y be 9/27*(26 - -1). Are 9 and y equal?
True
Let v = 4 - 9. Let q be (-2)/(-6) + v/33. Suppose -5*b - 4*z = -4, 5*b = -2*z + 4*z - 2. Which is smaller: b or q?
b
Let t = -25 - -17. Let f = t - -9. Which is bigger: -0.4 or f?
f
Let j be (-18088)/78318 - (-4)/18. Which is bigger: j or 0?
0
Let h = 0.29 - 0.32. Let v = 14.93 - 15. Let x = h + v. Which is bigger: -2/9 or x?
x
Let u = -3 - -0.5. Let w = u + 2.39. Let g = -0.01 - w. Which is bigger: g or -0.2?
g
Let c be (-6 - -4) + (-132)/(-57). Is 0 smaller than c?
True
Let d = 8 - 4. Let m = d - 4.1. Which is smaller: -2 or m?
-2
Let c(s) = -s**2 - 10*s - 1. Let x be c(-9). Let l be (x/(-7))/4 - 0. Let p = 1 + -1. Which is smaller: p or l?
l
Let p = -10 - -8. Which is smaller: -14/11 or p?
p
Let o = -7/99 + 161/99. Which is bigger: 1 or o?
o
Let m(b) = b**3 + 6*b**2 + 10*b + 10. Let c be m(-5). Is 0.2 at most as big as c?
False
Let y = 3 - -2. Suppose 0*v - 8 = -2*v. Is y at least v?
True
Let c(s) = s. Let z(m) be the second derivative of m**5/20 + m**4/3 - 2*m**3/3 + 7*m**2/2 + 4*m. Let u be z(-5). Let f be c(u). Is 2 greater than f?
False
Suppose 3*m - 2 = -5*u, -m - 2*u = -4*u + 3. Let l = -0.1 - 0.1. Do l and m have different values?
True
Suppose 14 = -6*a - 40. Is -0.1 >= a?
True
Let w be 2/4*(6 - 9). Suppose 8 = 4*z - 2*z, 2*z - 9 = x. Are w and x nonequal?
True
Let a = 116 - 84. Which is greater: 28 or a?
a
Let r = 0.01 + 10.99. Which is bigger: r or 1?
r
Let z(o) = 4*o + 4. Let a be z(-3). Let s(r) = -r**2 + 4*r + 3. Let y(u) = -u + 13. Let n be y(15). Let c be s(n). Which is smaller: a or c?
c
Let h = -20.98 - 0.02. Let q = h + 21. Which is greater: q or -0.02?
q
Suppose 3 + 9 = -4*c. Let j(g) = -g - 4. Let m be j(c). Let t be m*(-2)/(4/2). Is 0 < t?
True
Let h = 1094/33 - 100/3. Let q be 4/(-4)*(0 - 1). Which is bigger: h or q?
q
Let b(n) be the second derivative of -n**4/12 - 2*n**3/3 + 2*n. Let l be b(-4). Suppose l = -4*p - p. Is p at least as big as -5/4?
True
Let u be 2 - (0 + 604789/(-447)). Let d = u - 1355. Let b = 467/4470 + d. Which is bigger: 1 or b?
1
Let t be 2*-3*(-1)/2. Let i(g) be the third derivative of -g**5/60 + g**4/6 + g**3/6 + 10*g**2. Let y be i(t). Is y <= 4?
True
Suppose -68 = -5*k + 92. Suppose 5*y - k = 8. Suppose 0 = -a - b + 3*b - y, 5*a = 2*b - 16. Which is smaller: a or -2/3?
a
Suppose 2*x - 3*m = 49, 72 = 5*x - 4*m - 33. Suppose 5*n + b + 22 = -0*b, n + x = 4*b. Is n < -5?
False
Let m = -1.2 - -20.2. Let z = 19 - m. Which is greater: z or -2/23?
z
Let c be (-2)/(-8) - 9/4. Let v be (0*1/(-2))/(-2). Which is greater: c or v?
v
Let t be 2/7 + (-192)/819. Which is bigger: t or 0?
t
Suppose 4*q + 40 = 9*q. Let p be (-36)/(-8)*q/42. Suppose -5*w + w = -2*l - 4, 5*w + 3*l = 5. Does w = p?
False
Let g = 958/41 + -244081/10332. Let s = g + 1/28. Is s greater than or equal to 0?
False
Suppose -n - n = -4. Is n at least -0.09?
True
Let d be 4/12 + 4/6. Do 1 and d have the same value?
True
Let l = 3 + 3. Let t be (68/255)/(4/l). Is t greater than -1/7?
True
Let t = 1.61 - -0.39. Which is smaller: 2/3 or t?
2/3
Let t(r) = -r - 2. Let a be t(-3). Which is smaller: -3/7 or a?
-3/7
Let b be (-25)/5*1*-1. Suppose 3*z - b*z = -10. Does z = 5?
True
Suppose 3*w - 2*l - 2 + 1 = 0, 2*w = -4*l - 10. Let t = w - -1. Let b be -1 + t - 2/(-4). Do b and 0.1 have different values?
True
Let z be (-2)/148*20/40. Which is smaller: 0 or z?
z
Let l = -42 + 51. Is 11 greater than l?
True
Let g = -2.2 - -2.09. Let w = 0.51 + g. Is w > 2/7?
True
Let q be 2/12*(-15)/(-5). Which is smaller: q or 2?
q
Let v(g) = -2*g - 7. Suppose 4*a - 1 = -17. Let f be v(a). Is f at most as big as -4/11?
False
Let c = 6 - 10. Which is bigger: -4/11 or c?
-4/11
Let o = 17/2 - 8. Which is smaller: 0 or o?
0
Let k be (-2)/1*-1 + -1. Suppose 0 = -z - i - 3, 14 - 2 = 3*i. Let o = -8 - z. Is k at least as big as o?
True
Let r be (-11)/(-2) + (-1)/2. Suppose -4*o = -6*o - 3*c - 28, -r*c + 14 = -o. Let s = o - -9. Which is greater: -1 or s?
-1
Let i = -93 - -92. Which is smaller: -17 or i?
-17
Let q(z) = z + 6. Let n be q(-5). Let s be 2/6*(1 + -2). Is n bigger than s?
True
Let l be 14 - (1 + (-2)/1). Suppose 0 = -3*m + 6*m - 3*q - l, 0 = -5*q - 15. Which is bigger: m or 6/5?
m
Let r be (-1 - 9) + (12 - 8). Suppose -b + 0*b - 8 = 0. Which is smaller: r or b?
b
Let n be 2/3*(-4)/8. Suppose -5*z + 8 = 4*v, -2*v = 4*z - 7*v + 10. Do n and z have the same value?
False
Let k be (-6)/12*(-8)/2. Let h be (-75)/1518 + -2 + k. Let j = h - -3/22. Which is smaller: 1 or j?
j
Let x = -83/120 - -1/40. Let j = -1 + 1. Let w = j + 2. Is x at most w?
True
Let l = 3 - 3.6. Let u = -0.5 - l. Let f = 2 + -4. Which is smaller: f or u?
f
Let p(h) = h + 11. Let u be p(-6). Suppose 2*q - 4 = -4*g + 3*q, -5*g + 3*q + u = 0. Let f be (0 - g) + 0 - 0. Which is bigger: 1/3 or f?
1/3
Let s = -6886 + 34319/5. Let c = s + 383/15. Is 2 bigger than c?
False
Let r(v) = v. Let u be r(-6). Let x = u - -5. Which is smaller: -2/9 or x?
x
Let k = -4.1 + 3.7. Is -1 greater than k?
False
Let i = 0.1 - -0.1. Let a = i + 1.8. Let r = 0 - 1. Is a less than or equal to r?
False
Let l = 0.07 + 0.33. Let m = 0.4 - l. Let b be -1 - 3*1/(-5). Is m at least as big as b?
True
Let y(c) = c**2 - 14*c + 46. Let s be y(5). Is -2/321 >= s?
False
Let b = 1.2 + -0.2. Let u = -0.03 - -0.03. Is u less than or equal to b?
True
Let g = -737/7 + 105. Which is greater: 1/4 or g?
1/4
Let f be 1*(-5)/((-15)/(-6)). Let r be -1 - f - (-6)/(-10). Which is smaller: 1 or r?
r
Let y = 32/31 + 328/403. Which is bigger: y or -2?
y
Let n be (-5)/((-10)/(-4)) - 7. Which is smaller: 1 or n?
n
Let v(o) = -9*o + 25. Let h be v(8). Which is greater: -48 or h?
h
Let g be 8/12 + 0/(-3). Let r = 5 + -5.1. Is r smaller than g?
True
Let x be ((-1)/(-2))/((-2)/8). Let k be (3/(-30))/(4/32). Is x at most as big as k?
True
Let h = 0 - -0.35. Let k = -0.3 + h. Let f = k - 2.05. Which is bigger: -1/3 or f?
-1/3
Suppose -4*o - 4*p = -6*p - 6, -10 = -5*o + 5*p. Is 2 > o?
True
Let s = -342899/22 - -15594. Let c = -46/11 + s. Let m = 3 - c. Is 0 < m?
False
Suppose -2*p - 3*b - 51 = 3, 4*p = -4*b - 112. Which is smaller: -29 or p?
p
Let y = 11 + -21. Let j = -1 + -9. Is y greater than or equal to j?
True
Let a(w) = w**3 + 6*w**2 + 7*w + 7. Let v be a(-5)