Let b be (6/4)/((-5)/(-10)). Suppose -2*n = -3*g + 12, 13 = -2*g - 4*n + 5. Suppose -4*o - b = k, -g*k = -6*k - 12. Is 0 greater than o?
False
Let r be -1 + 489/30 - (-1)/5. Is r less than 17?
True
Let u = 14 - 12. Which is greater: u or 1?
u
Let t be (-2)/(-4) + 11/(-2). Suppose 0 = 7*k - 11*k - 20. Is t less than k?
False
Let g be 112/24*3/(-2). Which is smaller: -1 or g?
g
Let c = -18 + 14. Which is smaller: 3 or c?
c
Suppose 0 = -4*u - 3*u. Is -6/13 bigger than u?
False
Suppose -3*j = 3*y + y + 5, 2*j = -y. Let c = 333/4 + -84. Is y not equal to c?
True
Suppose -3*s + 3*i = -24, s + 17 = -7*i + 3*i. Let z(w) = w**2 - w - 8. Let m be z(0). Let d = -6 - m. Which is smaller: s or d?
d
Suppose 3*n + 4 = -2*r - 2*r, -2*n - 6 = r. Let v be n/14 + (-9)/(-7). Let s = 2 - 1. Is v less than or equal to s?
True
Let s(t) = t - 4. Let q be -1 - (3 + 4*-2). Let y be s(q). Let o be 2/8 - (-3)/20. Which is greater: y or o?
o
Let c be (-3)/(-10)*(-22)/33. Let r(d) = -d - 6. Let w be r(-9). Let i = w - 4. Is c < i?
False
Let b be ((-2)/30*2)/(-2 - -3). Let a be 2/(-6)*9/(-3). Is b greater than or equal to a?
False
Let h = -6115/29 + 211. Is h greater than or equal to -1?
True
Let j be 2 + -3 - (-1742)/(-10). Let b = j - -176. Is b smaller than 2?
True
Let m = 96/5 + -19. Which is greater: m or 0.1?
m
Let n(p) = p**3 - p**2 - p + 1. Let t be n(1). Is t <= -1/16?
False
Suppose -v + 5*n + 4 = 0, 0 = -4*v + 3*n + 9 + 24. Let h = v - 10. Let i(z) = z**3 - z**2 - z - 1. Let s be i(-1). Is s at most h?
True
Let y = -6 + 13/2. Which is smaller: 5 or y?
y
Let b(i) = 5*i - 14. Let a be b(9). Suppose 4*r + 37 = -3*l, -6*l + l + r = a. Which is bigger: -8 or l?
l
Suppose 5*m - 4*m = -9. Suppose 0 = 5*u + 4*l + 70, -u - 45 = 3*u + l. Is u bigger than m?
False
Let l(r) = -7*r**2 - 12*r - 1. Let g(k) = 4*k**2 + 6*k + 1. Let c(s) = 5*g(s) + 3*l(s). Let d be c(-7). Let b = 9 + d. Is b greater than -0.1?
True
Let p be (-5)/3*(-2)/10. Suppose 4 - 7 = -3*i. Which is greater: i or p?
i
Suppose -2*w + 4*w - 4*s = -38, -w + 2 = 5*s. Is w greater than -14?
True
Let n = 0.5 - 2.5. Let u = -50.4 - -51. Which is smaller: n or u?
n
Let i = 0 - -2. Let k be ((-4)/(-1) + 0)/i. Does k = 0?
False
Let l be ((-33)/(-315))/((-4)/10). Let r = l + -1/42. Suppose 5*g + 4*a + 6 + 9 = 0, 2*a = -10. Which is bigger: r or g?
g
Let b be ((-4)/16)/((-141)/(-12)). Is b bigger than 0?
False
Let m(h) = h**3 + 3*h**2 - 2*h - 1. Let k be m(-4). Let q be 2/k - 2/9. Which is greater: q or 0?
0
Let y = 55/2 - 27. Suppose -2*r - 43 = -15. Let a = 10 + r. Which is greater: y or a?
y
Let x = 10.53 + 0.57. Let d = 11 - x. Which is smaller: d or -0.03?
d
Suppose 0 = 4*b - 2*b - 5*q + 13, -5*q - 44 = b. Which is bigger: b or -17?
-17
Let j(h) = 2*h**3 + 14*h**2 + 3*h + 13. Let q be j(-7). Let y(v) = -v**2 - 4*v + 4. Let w be y(-6). Is w greater than or equal to q?
True
Let p be (-4)/(-20) + 115/(-700). Which is smaller: 1 or p?
p
Suppose g - 3*v = 16, 0 = -4*g + 6*v - v + 29. Suppose 5*o - 26 - 9 = 0. Let n(k) = k - 6. Let s be n(o). Is s at most as big as g?
True
Let g = 3 - 0. Suppose -g*s - 105 = -8*s. Suppose -7*z = -2*z + 4*f, -z + s = 5*f. Is z greater than -4?
False
Let j = -211 + 626/3. Let o(d) = d**2 - 6*d + 2. Let q be o(5). Is j at most q?
False
Let o = -165 + 166.33. Let y = o - -0.7. Let w = -0.03 + y. Is 1 less than or equal to w?
True
Let f = 4 - 4. Suppose -5 = 4*a + a, -2*b - 4*a - 6 = f. Let u be (0 - 2)/2*b. Which is bigger: u or 1/4?
u
Suppose -2*p + 2*n - 3*n + 7 = 0, 4*p + 3*n - 17 = 0. Let r be ((-2)/6)/(p/(-18)). Which is greater: 5/2 or r?
r
Let w be (1*(-18)/27)/((-2)/54). Is w less than 15?
False
Let j = 1/30 + -7/10. Do j and -2/49 have different values?
True
Let y be (-2)/(-5) - 33/(-55). Suppose 5*o + 0*s + y = s, 3*s + 9 = 3*o. Which is greater: 3 or o?
3
Let z be (1 + -1)*(-1 + 0). Let m(b) = 6*b + 0 + 1 + z. Let q be m(-1). Is -4 not equal to q?
True
Let r = 24 + -23. Which is greater: r or 0.04?
r
Let r = -93 + 122. Is -3 > r?
False
Let q be (-2)/(-4)*(-6)/15. Let o be ((-3)/(-1))/(18/30). Suppose -4*w = -i - 2*i + 11, -3*w - 22 = -o*i. Which is greater: q or w?
w
Suppose -z = -5*z. Are z and 3/4 equal?
False
Let g = -27371/20 + 1370. Let a = g + -6/5. Let h = 12.8 - 13. Which is greater: h or a?
a
Let t be (2 - 1 - -4) + 0. Let g be 8/24 - t/6. Is -2 >= g?
False
Let x = -6 - -10. Let u = -3 + x. Does 6 = u?
False
Let b = -216 - -243. Are -1/2 and b unequal?
True
Suppose -6 = -3*k - 0. Let a be (-1 - -3)*k/(-14). Let v = 4 - 5. Is v less than or equal to a?
True
Suppose 5*m - 36 = -11, -4*l - 27 = -3*m. Let r = -11 - -7. Which is greater: l or r?
l
Suppose 3*z + 0*z + 3 = 0. Let t = 3 - 4. Does z = t?
True
Let c = 1.07 - 0.07. Let d = 2 - c. Which is smaller: d or 0.2?
0.2
Let k be 1/6*10*3/(-2). Let m(z) = -z**3 - z**2 - z - 4. Let c be m(0). Which is bigger: c or k?
k
Let z be 5/(-2)*8/(-30). Let p = 20.8 - 21. Is p greater than z?
False
Suppose 37 = -4*s - 35. Let f(t) = t**2 + 17*t - 21. Let x be f(s). Let h be (3/4)/((-1)/4). Are h and x nonequal?
False
Let o = 1964/9 + -218. Let y = 0.067 - 0.167. Which is smaller: y or o?
y
Let v be 5/20 + (-14)/(-8). Suppose q + 3*q + 16 = -v*n, 0 = 5*q + 5*n + 30. Is 8 bigger than q?
True
Let d be 1/3*5/(-25). Which is greater: 1 or d?
1
Let p = 5 - -19. Let x = 23 - p. Is -9/10 equal to x?
False
Suppose 0 = -4*s + 11 + 5. Suppose -j = s*l + 3 + 2, -l + 10 = -2*j. Let y be -1 - 1/(1 + l). Is y at most -2?
True
Let p(g) = g**3 - g. Let y(z) = 2*z**3 - 7*z**2 - 10*z + 6. Let q(k) = -3*p(k) + y(k). Let l be q(-6). Let u be 13/(-4) + (-9)/l. Is u at most -3?
True
Let a be 1154/(-10)*(-1)/(-5). Suppose 0 = 5*z + 77 + 38. Let u = a - z. Which is smaller: 0 or u?
u
Let h(d) = -d + 2. Let f be h(4). Is f equal to -9/13?
False
Let o be (2/(-1))/((-4515)/1526). Let l = 25 + -5377/215. Let j = o + l. Do j and 2 have the same value?
False
Let i be -1 - (3 - (3 - 0)). Let k be i + (3 - 2)/1. Are k and -1 unequal?
True
Let h = -73 - -71. Which is smaller: -6 or h?
-6
Let a = -4.665 - 0.035. Let q = 0.09 + 4.91. Let h = q + a. Which is bigger: 1/3 or h?
1/3
Let a = -2 + 3. Let g be a*2*1/8. Let x = -3 + 2. Which is bigger: x or g?
g
Let r(u) = -u - 12. Let z be r(-10). Let d be (-16)/36 - z/6. Which is greater: -1 or d?
d
Let z = 2.7 + -3. Let g = -0.04 - 0.26. Is g < z?
False
Let f(k) = -k**2 - 8*k - 6. Let b be f(-5). Suppose -i + 4*n = b, 5*i = -2*n + 3*n + 12. Suppose 2*j - 3*y - 10 = 0, i*y + 20 = -2*y. Is -1 at most j?
True
Suppose -t + 0*t + 3 = 5*d, t = -2*d + 3. Suppose -5*k = -2*u + 11, -u + d*u - 2*k = -1. Suppose 0 = 4*a + b - 9, -2*a - b + 2 = -u*b. Which is smaller: 1 or a?
1
Suppose -2*q + 14 = 4*c + 4, 2*c - 20 = -4*q. Let z(u) = -u**2 - 2*u + 3. Let m be z(-3). Is c < m?
False
Suppose 0 = 5*j - 0*j - 10. Is 7/3 < j?
False
Let f = 0.029 - 1.029. Is f not equal to 0.27?
True
Let b = 443267/39 - 11365. Let j = b + -2/3. Let h be 2/7 + 5/7. Is h >= j?
True
Let t be 2 + (1 + 0)/(-5). Let x = t - 73/35. Is 0 bigger than x?
True
Let y be 1*(1 + 0) - 0. Let w be -1*6/(-8) - y. Which is smaller: w or -1?
-1
Let p be 24/8*6/153. Is -1/2 smaller than p?
True
Let x = -1 + 2. Suppose n = 3*u, -n - 3*n - 2*u + 14 = 0. Which is greater: x or n?
n
Let z = -0.3 - -0.38. Let x = 0.13 - -0.87. Is x not equal to z?
True
Let s be (12/(-9))/(5/(-6)). Is s at most 3?
True
Let l = 6104/129 - -2/129. Let x = l - 47. Suppose -w = -0*w. Which is smaller: x or w?
w
Let i = 1/37 - 188/111. Is i greater than or equal to -1?
False
Let p = -0.2 - -1.2. Let x = 0.07 - -1.13. Let h = x - p. Which is greater: -0.1 or h?
h
Let j = 6.138 + 0.832. Let f = j + 0.03. Let i = -6.9 + f. Are i and 1/2 nonequal?
True
Let f = 1.96 + -1.7. Let w = f + 0.04. Let r = w - 0.2. Is r greater than or equal to 1/4?
False
Suppose -5*s + 10 = -10. Is s >= 4?
True
Let v = -5 + 8. Let c be 2204/(-22) - v*-1. Let f = c - -97. Is f less than 0?
True
Suppose -6*m - 5 = -5*m. Which is bigger: -4 or m?
-4
Suppose 5*y - 16 = 4*w, -4*w + 0*w = -3*y + 16. Suppose -h + 3*a + 11 = y, -2*a = 5*h - 5*a - 31. Is h >= 6?
False
Let a = -4/13 + 63/247. Is 0 equal to a?
False
Let l = 34 + -100/3. Let g = l + 0. Is g bigger than 0.3?
True
Let z = 0.5 + -0.8. Let r = -1.5 + 2. Let i = 0.5 + r. Is z less t