 b be (-11)/9 + (-4)/(-18). Which is smaller: a or b?
a
Let p be (-2)/(8/(-12)) + -8. Let x be 2/((-1 + 0)/p). Let w = x - 8. Which is bigger: w or 0?
w
Suppose -16*a + 5*a + 264 = 0. Which is smaller: 25 or a?
a
Suppose -3*k + k = 5*i - 4, 3*i + 5*k - 10 = 0. Let s be (-3 - i/(-1)) + -9. Is -12 at most s?
True
Suppose 12*b = 8*b + 20. Let d = b - 19. Let v = 28 + -42. Does v = d?
True
Let c be ((-160)/(-128))/((-2)/104). Is -62 greater than or equal to c?
True
Let f = -116 + 125. Let k(n) = n**2 - 8*n - 10. Let r be k(f). Which is greater: r or 1/9?
1/9
Let x = 38 + -20. Suppose -4*v + 3*o = -16, o - 6*o = 2*v + x. Let b be (-2 - 1) + (-81)/(-21). Which is smaller: b or v?
b
Let a(q) = q - 1. Let v be a(1). Suppose -4*h - 2*p - 12 = 6, 5*h + 21 = -3*p. Let j be (-24)/(-35) - h/(-15). Which is smaller: v or j?
v
Let a = 2 + 1. Let y = 2 - a. Let x = -2 + y. Is 2 less than or equal to x?
False
Let r be ((-10)/(-25))/(3/30). Suppose 2*y = 6*y - 3*m - 79, -12 = -r*m. Suppose 31 = -4*h + 115. Which is smaller: y or h?
h
Let q be 164/14 + 2/7. Let i be 5 - 5/20*4. Suppose 0 = r - i*r + q. Is 7 bigger than r?
True
Let y = 4.25 - 0.25. Let l be 2/((-4)/8*-32). Let p = -11/24 + l. Which is smaller: p or y?
p
Suppose t + 10 = -5*o, t = 2*o + 3*o + 40. Let p be -1 + (-48)/t + 2. Is p bigger than -3?
True
Let u be (0/3)/((-136)/34). Which is bigger: u or -3/1807?
u
Suppose 4*o + 3 = 5*o. Let d be 12*(18/(-4) + o). Let a be (-58)/d + 1 + -4. Do -1 and a have different values?
True
Let l be (-639)/(-18)*(-14)/63. Which is smaller: l or -9?
-9
Let c = 15 - 10. Suppose -2*y + 5*a + 19 = 0, 5*y - 2*a = -a + 36. Let z = 8 - y. Which is greater: z or c?
c
Let y = 1141/76 + -15. Suppose -4*c = 2*l - 3*l + 5, -3*c + 4*l - 20 = 0. Is y greater than c?
True
Suppose 2*t + 3*f = 14, -2*t + 1 = -5*f + 19. Suppose -p + 6 = 5*c, -4*c - 4*p - 8 = -0*c. Suppose 0 = 5*r - c - 3. Are t and r nonequal?
False
Suppose 2*z - 3 = z, 3*m + 2*z - 69 = 0. Let a = m - 22. Let j(c) = -c**3 + 3*c**2 + 5*c - 3. Let r be j(4). Is r smaller than a?
False
Let p = 121 - 264. Do -2/7 and p have the same value?
False
Let m = -32 - -36. Suppose 2*d - 4*w - 22 = 0, -3*w = -5*d + 38 + 17. Let z = m - d. Is -7 at least as big as z?
True
Let n(d) = -12 + 0 + 11*d**2 - 12*d**2 - 15*d. Let m be n(-14). Let i = 23 - 21. Are i and m equal?
True
Let q = -307/2 + 1533/10. Let l be 0 + 0 - (-1 - -2). Is l > q?
False
Let l = -13 - 41. Is 0.08 equal to l?
False
Suppose 0 = -10*p - 4 + 4. Let k be p/((-6)/(-3) + -3). Is k <= 6/23?
True
Let j = -49 - 125. Let s be (-3)/(-9) + 46/j. Are s and 1 equal?
False
Let a = 106 + -74. Let f be a/48*-30*22/(-8). Which is smaller: 54 or f?
54
Let x be (-2)/11 + (-506)/(-121). Suppose 3 = -x*f + 71. Let v(k) = -k**3 + 18*k**2 - 17*k. Let c be v(f). Is c not equal to 2/33?
True
Let r be 81/(-2430)*10/(-4). Let b be (-2)/(-4)*-2*-1. Is b less than r?
False
Let g(i) = -i**3 - 6*i**2 - 3*i + 12. Let y be g(-7). Let l be y/(-48) + (-40)/(-30). Is 1 <= l?
False
Suppose 0 = r - 2*c - 0*c - 10, 5*r - 5*c - 75 = 0. Let f = -2.3 + 2.4. Is f >= r?
False
Let j(w) = -w**2 - 10*w - 3. Let c be j(-10). Let q = c - -1. Let f = q - -1. Are f and 1/4 nonequal?
True
Let m = -3 + 2. Let u be (-5*(-12)/(-16))/(156/(-8)). Is m greater than u?
False
Let p = -351/61 + 49289/244. Let q = 193 - p. Is -2 less than q?
False
Let m(f) = -f - 8. Let o be m(-5). Let p be 45*((-10)/(-3) + o). Suppose -b - u = -4*b + p, 2*b = -2*u + 2. Is -2 > b?
False
Let k = -35 + 36. Suppose 0 = i - 0*i + k. Let v be (1/3)/((-15)/9). Is v > i?
True
Suppose -f - 16 = 12*a - 17*a, -4*f - 10 = -2*a. Is f greater than or equal to -2/175?
False
Let u(f) = f**2 + 2*f - 591. Let o be u(0). Let t = o + 1802/3. Is t at most 9?
False
Let a be ((-13)/(52/(-112)))/(1 + 1). Suppose -r - 8 = 3*m, -4*r - 6*m - a = -3*m. Is -2 > r?
False
Let k = -109266255/10054276 + -1/147857. Let o = -43/4 - k. Let s(f) = f - 5. Let j be s(5). Is o at most j?
False
Let i = -76 + 186. Suppose 5*a - 5*d = -i, 3*d + 2*d = 0. Is -26 at most as big as a?
True
Let h be 6/(-4)*(-36)/27. Let o be 27/(-36)*h/(-12)*2. Is o at most as big as -41?
False
Let h(x) = -x**3 + 10*x**2 + 3. Let n be h(10). Which is greater: 7 or n?
7
Let x = 53 + -6. Let v(i) = -4*i**2 + 7*i - 9. Let q be v(3). Let s = q + x. Is s bigger than 24?
False
Let z = -43 - -87. Suppose 2*u = -3*i - z, 5*u = -3*i - i - 47. Suppose 2*v = 5*y + 90, -5*y - 42*v - 90 = -46*v. Is y equal to i?
True
Let x = 4.6 + -8. Let d = x - 12.6. Let i = d + 15.86. Which is bigger: -1 or i?
i
Let l be 16/1 + (-2)/2. Suppose -3*d + l = -0*d. Suppose -38*v + 190 = -0. Is v less than d?
False
Let o be (2 - -1)/((-6)/8). Let l be (-1)/(-2) - (-6)/o. Suppose -1 = 3*v - 4. Are l and v non-equal?
True
Let b(g) = g**2 - 7*g + 3. Let s be b(7). Suppose 0*i = -q - s*i + 19, 4*i = -5*q + 40. Let y(u) = -2*u**2 + 4*u + 4. Let k be y(q). Is k >= 0.2?
False
Suppose b + 1 = -4*w + 4, w - 3*b + 9 = 0. Which is greater: w or 1/146?
1/146
Let c be (-38688)/3868 - -7 - -3. Is -1 >= c?
False
Let d = -1929 + 48231/25. Let r be (-2)/(-6)*(-12)/4. Is d greater than or equal to r?
True
Let j(t) = -t - 4. Let v be j(-7). Let w be (-15)/(-10)*2/v. Is w not equal to 1?
False
Let x(r) = 16*r - 31. Let t be x(2). Which is greater: t or -1/11?
t
Let l be ((-112)/(-49))/4 - 30/77. Is l at most as big as -0.12?
False
Suppose -3*g - 47 = -44, 218 = s - 5*g. Which is smaller: s or 215?
s
Let l = 1022 + -117531/115. Let z = l + -793/1380. Let v = z - -1/3. Which is bigger: 2/5 or v?
2/5
Let c = -51 - 54. Let x = c - -104.5. Let i = -3 - 0. Do i and x have the same value?
False
Suppose -v + 3 = 4. Let o = -1005/13 + 77. Is v less than o?
True
Let i(v) = 2*v**3 + 8*v**2. Let k be i(0). Which is bigger: k or -4/967?
k
Let y be 0/((-7)/(7/(-2))). Let m be y + 4 + 162/(-39). Which is bigger: m or -0.2?
m
Let f be (6 + -7)/((-3)/24). Suppose f = -3*j + 11. Suppose -j = t + 8. Is -7 equal to t?
False
Let x = 8 + -7. Let r be ((-22 - x) + 1)/1. Let d = -23 - r. Which is smaller: d or 1?
d
Suppose 86 = -2*m + 2*t + 34, 38 = -2*m - 5*t. Which is bigger: m or -95/4?
-95/4
Let c = -502 - 42. Let q be 2607/6*10/(-8). Let b = c - q. Which is greater: b or -2?
b
Suppose 4*g = -5*w + 459, -5*w + 5*g = 4*g - 454. Suppose -25 = 6*y - w. Which is smaller: y or 10?
10
Let y = 42 - 20. Suppose -6*c + y + 20 = 0. Which is smaller: c or 5?
5
Let m(i) = 2*i**2 + 18*i - 2. Let o(t) = -3*t**2 - 2*t - 1. Let s be o(-2). Let p be m(s). Which is bigger: -4 or p?
p
Suppose -2*m - m + 6 = 0. Let w be 1/m - (-13)/(-22). Suppose 5*i - 5 = -0. Which is bigger: w or i?
i
Let y = 5.4 + -1.9. Let o = 28.4 + -32. Let u = o + y. Is u < -7?
False
Let g = 90 - 651. Is g less than or equal to -562?
False
Let d be 1473/30 - (-12)/8. Let w = d - 52. Let j = -4 - -2. Is j greater than or equal to w?
False
Let t = 40 - 40. Let b be (-1)/(-4 + 5 + t). Is b less than 2?
True
Let v be (-1 + (-9)/(-21))/(-2). Suppose 2*w + 8 = -5*r, 5*w = 4*r - 16 - 4. Is r at most as big as v?
True
Let x be (-1)/(0 - (-2)/10). Let j(u) = -u**3 - 7*u**2 - 8*u - 5. Let v be j(x). Let s be v + (-1 - -3) + 3. Which is greater: -13 or s?
s
Suppose -226 - 668 = 3*v. Is v not equal to -298?
False
Suppose -2*y + 7*y - 2 = -h, 6 = 4*y + 3*h. Let x = 1011/7 - 144. Which is bigger: x or y?
x
Let a be (4 + -5 + 8)*-1. Let y = a - -8. Let i = -2 + y. Does i = 1?
False
Let f = -304 - -306. Which is bigger: f or -84?
f
Suppose -19*b = -9 - 10. Which is greater: b or 1/399?
b
Let s(t) = t + 11. Let u be s(-8). Let z = 1.93 - 1.9. Let l = z - -5.97. Which is greater: u or l?
l
Let u be (-15)/(-33)*(-2)/(-5). Let q be (-10)/35 - 6/(-21). Is u > q?
True
Let r be 7/(14/(-6)) - -3. Suppose 0 = -r*h + 8*h + 56. Let d = -6 - 3. Are d and h unequal?
True
Let q be (-3)/(-21) + 102/21. Suppose -8*h = -q*h. Let a be 2/42 - (-2)/(-6). Which is greater: a or h?
h
Let o be -12*(-52)/(-65)*(-50)/12. Let t be 3 + o/(-17) - 1. Is t at least 0?
False
Let c(a) = -2*a**2 - a. Let u be c(-1). Suppose -3*t + 6*s - 8*s = 36, 0 = 5*s - 15. Let l = u - t. Is 13 not equal to l?
False
Let s = -95 + -9. Let h = -101 - s. Which is greater: h or 11/7?
h
Let r = 45.1 + -45. Which is greater: r or -0.87?
r
Let q be (0 - 206/9) + (-16)/(-24). Which 