 18/(-156)*t/(-6). Let l = b - 10/13. Is l bigger than 0?
False
Let c(w) = -w**2 - 9*w + 1. Let n be c(-7). Which is bigger: 14 or n?
n
Let q = 3 - 8. Let m = -12 + 6. Are m and q nonequal?
True
Let f = -1 + 1. Let u = 165 + -499/3. Are f and u nonequal?
True
Suppose 10*m - 55 = 15. Which is smaller: m or 6?
6
Let w be (-2)/((-68)/66) - 2. Do 0 and w have the same value?
False
Let x(c) = c**3 - 4*c**2 + 2*c - 1. Suppose -5*g + 8*g = 9. Let j be x(g). Which is smaller: -2 or j?
j
Suppose 5*i - 3 = -13. Let x be (-3)/(((-1)/i)/(-1)). Let a = 8 - x. Is 0 less than a?
True
Let f = -126 - -122. Which is greater: f or -5?
f
Suppose 5*g - a + 2 = 0, 1 - 7 = -g - 3*a. Suppose g = o - 2 + 6. Let p be 1 - (8/12)/(-1)*-9. Is o < p?
False
Suppose -6 = 4*c - 2*x, -2*x - 2*x = 4. Let d = -35/6 + 19/3. Which is bigger: c or d?
d
Let s = 1 - 0.5. Let v = -1 + 1.5. Let x = v + s. Is x greater than 0?
True
Let d be (-12)/(-20) + ((-74)/(-260) - 1). Which is smaller: d or 1?
d
Suppose -2*t = 2 + 4. Is -3 < t?
False
Let h = 1.2 + -0.6. Let g = h + -0.6. Which is bigger: g or -5?
g
Let b = 95 - 92. Which is bigger: b or 11?
11
Let f = -91/3 + 755/24. Is 1 bigger than f?
False
Let t be (6/(-12))/((-2)/8). Let l be (6/8)/((-2)/8). Let w = l + 5. Is w > t?
False
Let h = 0 + -0.02. Is h >= 1/3?
False
Suppose 0 = -5*t - 5*l + 10, -1 = -3*t - l + 7. Do t and 14/5 have the same value?
False
Let a be 8 + -7 - 78/87. Is 1 < a?
False
Let y(b) = b**3 + b**2 + b. Let p be y(0). Let q be -2 + 4 - (p - -1). Is 1/2 less than q?
True
Let z be 0 - (0 + (-236)/355). Let y = 36383/96915 - z. Let f = y + 1/273. Which is smaller: 0.2 or f?
f
Let x(m) = m + 2. Let y be x(6). Let s = -9 + y. Do -1 and s have the same value?
True
Let k = -1.99 - -2. Let i = k + -0.31. Let g = i + 0.4. Which is greater: g or -2/3?
g
Let v = -11 + 12.2. Let d = -1 + v. Do d and 2/5 have different values?
True
Let w = 11/174 + 3/29. Is 0 > w?
False
Let q = 2 + -1. Which is greater: q or 1/4?
q
Suppose -3*g = -4*c - 78, -5*c + 2*g = -4*c + 22. Is -20 greater than or equal to c?
False
Let v = 339334/9 - 37875. Let p = 171 + v. Is 1 less than or equal to p?
False
Let b = -3 + 0. Do b and -7 have the same value?
False
Let k(i) = -i**2 - 10*i - 7. Let v be k(-9). Suppose -6 = v*d + d. Let n(r) = r**3 - 2*r**2 - 3*r + 3. Let g be n(2). Which is bigger: d or g?
d
Suppose 21 = 3*h + 6. Let p be (-125)/(-45) + (-4)/(-18). Let n be (h - p) + (0 - 5). Are -2 and n equal?
False
Let j be (-2)/(-4)*-6 + -10. Are -12 and j nonequal?
True
Let h = 27 + -27.1. Is 9 bigger than h?
True
Let k be 8/(-36) - 60/(-27). Let x be ((-4)/4)/(1/(-3)). Let r be 2 - (x + 1/(-1)). Is k less than r?
False
Let t be (2/12*2/(-4))/8. Is 0 less than or equal to t?
False
Let u(r) = 3*r**2 + r. Let k be u(1). Let m be (-26*(k - 5))/2. Which is smaller: -2/7 or m?
-2/7
Let t(o) = o**2 - o + 2. Let b be t(0). Suppose w + b = -w. Let s be w/3 - (-21)/9. Is s bigger than 2?
False
Suppose -15 = -5*b, -8*d + 3*d + 3*b + 11 = 0. Suppose 4*o = -d*x + 4, 14 = 2*o - 5*x - 2. Suppose -6 = f - 2, 3*v + 21 = -o*f. Which is smaller: -2 or v?
v
Let i = 3448/15 + -230. Let n = -11 - -11.1. Which is greater: i or n?
n
Suppose -4*q = q + 5*d + 25, -3*q + 4*d + 6 = 0. Let a be (-1)/((-1)/(-6)*q). Let t be 6/(-9) + (-1)/a. Is t at most as big as -1?
True
Suppose -2*v + 3 = r + 2, v = -4*r - 17. Suppose u = -0*u + v. Suppose u*k - 3 = -0. Are k and -2/7 equal?
False
Suppose 3*t + 3 = -j, 2*t + j - 4*j = -2. Let s = 16 + -18. Let g be (7/21)/(s/(-36)). Is g smaller than t?
False
Let h = -13 - -14. Which is smaller: h or -3?
-3
Let g = 2/193 + -1753/1544. Let a(u) = u**3 + u**2 - u. Let j be a(-2). Which is smaller: g or j?
j
Suppose -2*w - 5*i + 14 = 3, 4*w = 4*i - 20. Let r = -4 - w. Suppose -3*o - 4 = -2*o. Which is bigger: o or r?
r
Let f = 1 - 5. Let k be f/(-10) + 84/(-10). Let x(u) = u + 8. Let c be x(k). Is c at most 0?
True
Suppose l = 16 - 17. Is l bigger than -1/34?
False
Let l(o) = -o + 10. Let x = 19 - 10. Let u be l(x). Let c be 2 + -1 + 4/(-6). Is u greater than or equal to c?
True
Let q = 55 + -1. Let i be 4/(-10) + q/10. Which is smaller: 1 or i?
1
Let g = 3 + -2.5. Let r = -38 + 40. Which is smaller: g or r?
g
Let u(c) = 2*c + 4. Let j be u(-9). Let n = j + 14. Which is smaller: n or 19?
n
Let h(v) = -v + 25. Let d be h(-7). Is d >= 32?
True
Let c be (-1 - 1) + 27/12. Suppose 2*f + 2*f = 4. Which is smaller: c or f?
c
Let w = -3 - -3. Suppose 5*h + 5 = 0, 2 = 2*j - 5*h - 1. Which is smaller: j or w?
j
Let s be (2/2 - 5)*(-3)/3. Let d(q) = -q**3 - 3*q**2 + 3*q. Let i be d(-4). Let g be 1 + -2 + 18/i. Is s <= g?
False
Suppose -16088 = -4*g + 2*g. Let o = -72478/9 + g. Let x = o + 592/63. Is x not equal to 1?
True
Let j = -7 + 2. Let a = j + 3. Suppose 0 = 7*i - 5*i + 2*z - 2, -1 = 2*i - z. Are a and i nonequal?
True
Suppose -5*t + 3*z - 1 = 0, t + 2*z = 2*t + 3. Suppose s + 8 = -3*s. Let i be (-2)/(-8) - 0/s. Is t at least as big as i?
True
Let n = -2/861 - 5132/14637. Is 1 at most n?
False
Suppose -2*m - 2*m = -4. Let v be 23 + m/(1 - 2). Let d be (-6)/(-21) - v/28. Is -1 less than or equal to d?
True
Let r = 2 + -2. Suppose -3*f = -3*y - 6, 0 = -4*f - 3*y - 2 - 11. Let t be (16/(-4))/(-3 - f). Is r >= t?
False
Let g = -260 + 166. Which is smaller: g or -95?
-95
Let y be 2 + 1 + (0 - -3). Is 5 at most y?
True
Suppose -11*k - 16 = -15*k. Which is bigger: 11 or k?
11
Suppose -3*z - 4 = -z. Let o(m) = m**3 + 6*m**2 + 5*m. Let k be o(-5). Is k at least as big as z?
True
Suppose 4*l + 30 = -34. Let a = l + 12. Which is smaller: a or -6?
-6
Suppose 0 = -6*i + 2*i - 4. Let a be 1*2/(-5)*-225. Let b be 2/5 + (-56)/a. Do i and b have the same value?
False
Suppose -2*q - 4 = -y - 2*y, -y = 4*q + 22. Let i be -113 + (3 - 4) + y. Let u = i + 810/7. Which is smaller: 1 or u?
u
Let g be (-8)/7*(-35)/10. Which is smaller: g or 6?
g
Let o be 1528/72 + (-4)/18. Suppose -m - 4*s - 3 = 0, 4*s = 3*m - o - 2. Is m > 6?
False
Suppose -2*o - 6 = 0, -6 = 2*u + u + 2*o. Suppose -t + 4*t - 21 = u. Are 7 and t non-equal?
False
Let i be 0 - (-1)/(-1) - -1. Let q = i + 1. Let d = q - -1. Is 2 at least as big as d?
True
Let m = 1 - 0. Let o be ((-27)/(-33) - m) + 0. Let v be 1 - (3 - 4 - -1). Which is smaller: v or o?
o
Let d = 425 + -2113/5. Let g(l) = l - 3. Let y be g(6). Which is smaller: d or y?
d
Let g = 7 + -3. Let f = -5 - -5. Let d = f - -1. Is g less than d?
False
Suppose -5*t + 11 = 56. Let o be ((-6)/t)/((-8)/(-36)). Let h be (3 - -2) + -1 + o. Do 8 and h have the same value?
False
Let g = -1.8 + 2.8. Is g equal to -7?
False
Suppose 4*u + 2 + 2 = 0. Is u != -12/7?
True
Let z(f) = f - 36. Let r be z(32). Is r bigger than -42/13?
False
Let g = 0.1 - 0.06. Let p = -0.96 - g. Is p less than or equal to 4?
True
Let v be (4/5)/((-1)/(-5)). Suppose -3*t = -n - 4, 4*n = -3*t + v*t - 5. Let a = 456/1115 + -2/223. Are a and t unequal?
True
Suppose 0 = 4*b - x - 15, 5 = -3*b + 4*x - 0. Is b equal to 7/2?
False
Suppose -q + r = -1 - 1, -4*r = 5*q - 19. Suppose 2*m = m + 5. Suppose -q*o - 6 = -4*x, m*o - o = -3*x - 8. Are 1 and x nonequal?
True
Let s(y) = -2*y + 11. Let w be s(11). Is w not equal to -11?
False
Suppose 5*v + 8*v + 169 = 0. Does v = -14?
False
Let a be (3 - 24/4)*1. Is a at most -1?
True
Suppose -2*c = 5*n + 10 - 29, 19 = 2*n - 3*c. Let q(p) = -p + 7. Let w be q(n). Let g(b) = b**2 - 3*b + 3. Let y be g(w). Does 0 = y?
False
Let s(t) = -t**3 + 20*t**2 - t + 19. Let o be s(20). Let h = 8/5 + -7/5. Which is smaller: h or o?
o
Suppose -3 = -0*f - f. Suppose 8*t - f*t = 0. Let u = 1/15 - -1/10. Is t >= u?
False
Let d = 1.1 - 7.1. Let f = 7.06 + -0.06. Let a = f + d. Which is greater: 4 or a?
4
Let z be ((-2)/3)/((-24)/(-2580)). Let f = z + 3661/51. Which is bigger: f or 0?
f
Let z(x) = -x**3 + 8*x**2 - 11*x - 7. Let k be z(6). Which is bigger: -2/25 or k?
-2/25
Let b(y) = y + 9. Let z = 1 + -1. Let c = -7 - z. Let o be b(c). Are 4/7 and o unequal?
True
Suppose 0 = -3*b + 4*j - 105, 0 = 3*j + 2 - 11. Let h be (-2)/(-6) + b/(-12). Let q = 19/6 - h. Which is smaller: 0.1 or q?
0.1
Suppose -3*m - 2*d - 11 = 0, -12 = 4*m - 0*d + 2*d. Suppose -2*n + n = -1. Is n at least as big as m?
True
Let p = -46.7 - -43. Let g = 1.5 + p. Let i = -2 - g. Which is bigger: 2 or i?
2
Let