 (1 - 2)/(-1 + -24). Which is bigger: -1 or a?
a
Let p = 32 + -30. Let w be (2/4)/((-28)/(-16)). Is p at most w?
False
Let t(w) = -82*w + 3. Let g be t(-3). Let q = g - 513/2. Which is greater: q or -9?
q
Let s = -6.7 - -4.8. Let w = s + 2.9. Which is smaller: w or -2/3?
-2/3
Let d(k) = -2*k - 9. Let j be d(-8). Suppose 0 = -5*v + 12 + 28. Which is smaller: v or j?
j
Let x be (-6)/(-45)*(-360)/(-738). Is 1 less than x?
False
Let z = -1105 - -1029. Is z >= -2/11?
False
Let s = -25 + 15. Suppose -u - 3*p + 49 = -0*u, -2*p - 126 = -4*u. Let m be u/s + 6/15. Is m > -4/5?
False
Let t(w) = -w**3 + 7*w**2 - 8*w + 6. Let b be t(6). Let n be ((-3)/b)/((1/(-1))/(-2)). Do n and 1/4 have the same value?
False
Suppose 0 = -7*i + 30 + 593. Let y = i + -85. Which is smaller: 5/2 or y?
5/2
Suppose 0 = 18*j - 23*j + 55. Let c = j - 12. Which is greater: 4/59 or c?
4/59
Suppose 0 = -5*g - 4 - 1. Let i = -16706/87 - -192. Which is smaller: g or i?
g
Suppose -4*h - 46 = 3*x - 2*h, -5*h - 25 = 0. Let f(b) = -10*b**2 - 1. Let s be 12/48 + (-5)/4. Let r be f(s). Which is greater: x or r?
r
Let p = 1.75 + -1.85. Do -46/7 and p have the same value?
False
Let t(x) = 83*x**2 + x. Let n be t(-1). Suppose -12*l + 10*l = n. Is -42 at least as big as l?
False
Let m = 81 - 81.01. Which is bigger: -16 or m?
m
Let c = -30 - -18. Let b be (-52)/12 - 16/c. Let r(a) = a**2 + 10*a + 8. Let f be r(b). Which is smaller: -12 or f?
f
Let x = -3.54 - -2.54. Which is bigger: x or 32/11?
32/11
Let z be 96/(-297) + (-3 - 234/(-66)). Let y = -0.01 - -0.07. Is z < y?
False
Let q be 0*((-52)/8 - -6). Is 24/37 at most as big as q?
False
Let q be (3*2/(-448))/(16/64). Which is greater: q or 0.2?
0.2
Let h = 274.5 - 204.3. Is h less than or equal to -1?
False
Let r be -4*((-68)/17 - 69/(-16)). Is r bigger than -2?
True
Let h = -0.0255 + -80.9745. Is 1/4 equal to h?
False
Let x = 0.5 - 0.52. Let b = x - 0.08. Let c = 0 - b. Is -0.1 <= c?
True
Suppose j = 4*j + d, 3*j - 2*d = -9. Are j and 2/525 nonequal?
True
Let f = -16 + 24. Suppose -5*d = -d - f. Suppose -d*k - 5 = -5*x, -6 + 2 = -4*x - k. Which is bigger: -2 or x?
x
Suppose 5*n = -i + 76, -5*i - 4*n + 238 = -142. Is i bigger than 2/9?
True
Let d(f) = 1. Let p(z) = z + 2. Suppose -7*g + 2*g = 5. Let x(j) = g*p(j) - 2*d(j). Let s be x(5). Is s < -9?
False
Suppose -4*m - 2*p + 2 = 0, -3*p = -m - 2*m - 3. Suppose m = 8*h - h. Which is smaller: -2/105 or h?
-2/105
Suppose 7*h + 1505 + 1638 = 0. Is h at most -451?
False
Suppose 0 = 3*i - 2*i + 9. Let b = -19/2 - i. Let p(z) = -z**2 + 8*z + 7. Let d be p(9). Is b less than or equal to d?
False
Let c = -37.2 - -37.1. Suppose -4*p - a = 2*a + 20, -4*p - 2*a - 20 = 0. Which is bigger: p or c?
c
Let n = -73 - -138. Suppose 3*i = 65 - n. Which is greater: i or -3?
i
Let h be ((-16)/20)/(3 + (-230)/75). Let x be (928/(-474) + 2)*h/10. Is x at most as big as 1?
True
Suppose i + 3 = 19. Let t be 21/12 + (-285)/(-20). Are i and t equal?
True
Let n(c) = -c**2 + 12*c - 5. Let j(k) = 6*k**2 - 61*k + 25. Let l(q) = -2*j(q) - 11*n(q). Let o be l(-11). Is o > -7?
True
Let h = 0 + -0.1. Let v be ((-60)/50)/(2/(-5)). Let f be v/(-24) + (-4)/(-16). Is f greater than or equal to h?
True
Let p(x) be the first derivative of x**3/3 - 7*x**2/2 - 3*x + 4. Let m be p(8). Which is bigger: m or 4?
m
Let k be 5*1/25*-5. Is -24/35 bigger than k?
True
Let i(q) = 156*q + 155. Let l be i(-1). Do 23/58 and l have the same value?
False
Suppose 0 = n + 2*s - 6 + 17, -2*n + 5*s = 31. Let m(t) = t**3 + 14*t**2 + 13*t + 1. Let z be m(n). Which is smaller: -2/31 or z?
-2/31
Let z = -48 + 81. Let y = z + -41. Is y equal to -7?
False
Let c = 28 + 22. Let w be (-678)/(-14) - (-328)/574. Which is smaller: c or w?
w
Suppose 0 = -2*o + w - 94, 0*o + 2*o - 4*w = -94. Let s = 11 + o. Is -37 bigger than s?
False
Let t = -17 - 10. Let j = -28 - t. Is -29 bigger than j?
False
Let h(n) = -n**3 + 12*n**2 - 6*n - 28. Let t be h(11). Let x be 3/(-6) - (-21)/(-14) - t. Which is smaller: x or -27?
x
Let t be 4/(12/8 + -2). Let y be 3/((-12)/t) - 6. Suppose -3*r = 16 - 4. Does r = y?
True
Let s = -5 - -123/25. Suppose -9*r + 443 - 452 = 0. Are s and r non-equal?
True
Let x = 0.032 - 0.352. Let a = 0.68 - x. Let v = 35 + -14. Is a > v?
False
Let g be 0 - (-6)/(-56)*(-7)/42. Let t = g + -395/168. Which is bigger: -2 or t?
-2
Let w be -4 - (-1)/(1/6). Suppose -2*z = -b - 5*z + 4, b - w*z + 1 = 0. Which is smaller: -2/53 or b?
-2/53
Let s be 3 + -1*(10 - 1). Let z be (-6 - s)*(-2)/(-6). Let a(b) = -b**3 - 2*b**2 - 1. Let n be a(-2). Which is smaller: n or z?
n
Let z = 3.52 - 3.72. Which is smaller: z or 14/5?
z
Suppose 0 = 5*g - 5, -168 + 179 = 3*u - g. Is 76/17 less than or equal to u?
False
Let p be (3 + 0)/(9/(-12)). Let a be ((-2)/(-3))/((-10)/(-15)). Suppose 2*l + 5*n + a + 6 = 0, 0 = -5*l - 3*n - 27. Is l > p?
False
Suppose 2*z + 3*z = -4*u - 15, -4*z - 1 = u. Let p = -6 + 10. Is p bigger than z?
True
Let u = 14/53 + 3004/265. Is u at least as big as 12?
False
Let a be (-3)/(-7) + (-425)/1400. Which is greater: 13 or a?
13
Let t be (426/(-12))/(2/4)*-1. Suppose -2*i + 2*f + 24 = -8, 0 = 5*i - 2*f - t. Suppose u + 5*r = -10, 0 = u + u - r - 2. Which is bigger: i or u?
i
Let v be 1 + -2 + 3 + (-711)/369. Let b be (-4)/(-6) - 3/(-9). Which is bigger: v or b?
b
Let m = -11 + 5. Let a = 6.03 + m. Let y be 6/10 - (-2)/(-10). Which is smaller: y or a?
a
Let d = -21.88 - 0.12. Is -1 smaller than d?
False
Let r be ((-5)/2)/((-13079)/(-1476) - 9). Let u(p) = 9*p. Let t be u(2). Is t equal to r?
True
Let p(u) be the second derivative of -u**4/12 - u**3 + 3*u**2/2 + 3*u. Let d be p(-6). Suppose s = -d*s. Which is smaller: s or 1/25?
s
Suppose a - 3*y = 2*y - 16, -20 = -2*a - 3*y. Suppose -a*d = 4 - 0. Let v = d + 12. Is v at least as big as 10?
True
Suppose -5*a + 3 = -7. Let f be (-9)/5 - a/10. Let w be ((-8)/3)/(f/3). Which is greater: 5 or w?
5
Suppose 4*l = 8, 4*g - l - 468 = 186. Is g greater than 166?
False
Let b = -342 + 846. Suppose -4*g - 4*x = -2*x + b, 4*g + 504 = -x. Let t = -879/7 - g. Which is smaller: -1 or t?
-1
Let g(s) = -s**3 + 5*s**2 - 3*s - 8. Let b be g(5). Let c(v) = 2*v + 79. Let q be c(b). Which is bigger: q or 32?
q
Let f be (1/(-7)*8)/2. Let m = -8 + 16. Suppose -5*l - 2 - m = 0. Which is smaller: l or f?
l
Suppose 3*g = 2*i + 2*i - 35, 2*g + 2 = 0. Let u be 30/i*(52/12 + -4). Are -2/5 and u non-equal?
True
Let g = 387 + -37. Let a = g + -715/2. Let c = a - -8. Is 1/10 at most as big as c?
True
Let r = 1 + 4. Suppose -r*i = -37 - 3. Suppose 2 + i = -5*q. Is -3 less than or equal to q?
True
Suppose -5*x - 2*f = 6, 0 = -x + 4*f - 9*f - 15. Let v be (-3 - 0)*1*3/9. Let g be (1 - v) + x - 3. Is g smaller than -2?
False
Let i(g) = g**3 - 21*g**2 - 2*g + 53. Let q be i(21). Let s be (-1 - 11 - 0)/q. Which is greater: 0 or s?
0
Let t be 3 + -6 - ((-618)/7)/6. Which is greater: t or 11?
t
Let y = 9 - 7. Let t = 3 + y. Let u = t - 6. Are 1 and u non-equal?
True
Let g(k) = -k**2 - 2*k - 2. Let c be g(-1). Which is smaller: 2/1093 or c?
c
Suppose 2*w = -5*d + 20, 3*w - 3*d - 12 = -6*d. Suppose -14*m + 6*m = -96. Let x be 5/225*m*(-3)/(-6). Which is bigger: w or x?
x
Suppose 3*t + 46*l - 43*l = -234, -2*t - l = 154. Is -76 >= t?
True
Let v = 0.148 - 0.072. Let n = v - 0.08. Is n != 1/3?
True
Let m be ((-2)/(4/30) - 4) + -2. Is -17 at least m?
True
Suppose -24*f + 10 = -14. Does 12 = f?
False
Suppose 22*b - 1596 = 15*b. Which is smaller: b or 688/3?
b
Let m be (1/(-14))/(6/(-21)). Let j = 103.071 + -103. Is j > m?
False
Suppose 0 = 5*d - 160 + 65. Let y be (2 + d/(-9))*(-1 - -15). Which is smaller: y or -3?
-3
Suppose -s + 0*s = -b - 4, 5*s = 2*b + 35. Suppose -5*a + 164 = -s*a. Which is greater: a or -40?
-40
Let h be 240/(-140)*(-8 + 1). Which is greater: 126/11 or h?
h
Let v be -4*(72/16 + -2). Suppose 2*p + i + 15 = 0, 0 = -3*i + 2*i + 3. Which is bigger: v or p?
p
Let r = -2201/64353 - 1/1129. Let y(f) = -2*f + 2. Let j be y(-2). Let w = -7 + j. Are r and w non-equal?
True
Let g be -4 + 1/267 - -4. Which is bigger: 1 or g?
1
Let k(i) = -i**3 + 21*i**2 - 22*i + 35. Let y be k(20). Which is bigger: y or 2?
2
Let v = 2.5 + -2.88. Let f = v - 4.42. Let g = -5 - f. Is 4 less than or equal to g?
False
Let y be 4/(-10) - (-2)/5. Suppose y = 2*b - 