 y?
y
Let m be (25 + -21)*((-8)/(-2) + -1). Are 11 and m unequal?
True
Let r be 118/4 + 2/4. Let y be ((-24)/20)/(3/r). Are -38/3 and y equal?
False
Suppose 100 = p + 98. Suppose -3*i - 3*r + 14 + 28 = 0, -2*r - 24 = -p*i. Is i greater than -1?
True
Let p be 0 - (-4 + 1*-1). Suppose -18 = -4*s + n, 0 = -3*s - 0*s - n + 10. Suppose -9 = -3*i - j + 3*j, -p*j - 19 = -s*i. Which is smaller: i or 2/7?
2/7
Suppose -8*z + 0*z - 8 = 0. Let g be (-6)/9 + 1 + z. Let k = -133/3 - -44. Which is greater: k or g?
k
Let o be (-6)/8 - 2/8. Let x be 6/14 + 0 + o. Suppose 4*q - 4*k = -12, -9 = -2*q + 3*k - 18. Which is bigger: q or x?
q
Let s = 212 - 211.941. Are s and 0.2 equal?
False
Suppose -39*h + 2*r = -43*h + 2, 0 = 3*h - r - 4. Which is bigger: h or -1/44?
h
Let d = 1528 - 1473. Which is smaller: d or 50?
50
Suppose 2*d = -0*w + 3*w + 1, -3 = -3*d + 3*w. Let c = -0.014 - -2.114. Let l = c - 0.1. Are d and l equal?
True
Suppose 0*k + 4*k - 64 = 0. Let q = k + -19. Let s be (-20)/(-156) + (-1)/q. Which is smaller: s or -1?
-1
Let f(s) = 4*s - 40. Let o be f(10). Suppose -4*r - 4*w = -o*r - 152, -4*r + w + 147 = 0. Which is greater: 38 or r?
38
Let s = 605/4 - 149. Suppose -7*v = -14*v + 14. Which is smaller: s or v?
v
Let h = 114 - 113. Are 155 and h unequal?
True
Suppose 0 = -5*k + k + 112. Let b be (-8)/k + 8626/7. Let h = b - 13564/11. Is -1 >= h?
True
Let p = -965.3 - -1012. Let j = p - 47. Which is smaller: j or -3/4?
-3/4
Let a = 9855 + -10741949/1090. Do a and -1 have the same value?
False
Let t = 334 + -579. Is t at most 0?
True
Let y be 4/(-5) - 4/(-30). Suppose 3*x = 4*n + 13, 3*n + x = -3*x - 16. Let g(a) = -a. Let b be g(n). Which is smaller: y or b?
y
Suppose 17*i = 11*i + 108. Suppose 0 = 2*o + 2*c - 26, 84 = 3*o - 3*c + 15. Is o smaller than i?
False
Let l be 3/5 + 3876/15. Is 260 <= l?
False
Let m = -1613 + 141945/88. Which is smaller: 1 or m?
m
Suppose -8*h - 132 = -9*h. Suppose -14*u - h = -10*u. Is u not equal to -35?
True
Let u be (-11)/((-66)/60) - 8/(-2). Is -6 bigger than u?
False
Let m be (0 - 0) + 2/(-24). Suppose -6*g + 5*j - 13 = 0, 10*j = -5*g + 14*j - 10. Which is smaller: g or m?
m
Let z = -248/99 - -30/11. Is z != 2.3?
True
Suppose -625*u - 8756 = -636*u. Which is smaller: 795 or u?
795
Let p(q) = q**3 - 6*q**2 - q + 7. Let j = 20 - 14. Let f be p(j). Suppose -3*x - f + 7 = 0. Does 2/3 = x?
False
Let f = 145 + -65. Let l be (-6)/(-15)*75/f. Is l less than -1?
False
Let k = 8.82 - -18.18. Which is bigger: -0.1 or k?
k
Let u be 760/108 - (6 - -1). Is u > 0?
True
Let g be 0 + -2 + (-324)/(-180). Which is smaller: g or -2?
-2
Let y = -20.9 - -21. Which is smaller: y or -0.21?
-0.21
Let s = -43 + 29. Let j = 74 + s. Let z = j - 40. Do 20 and z have different values?
False
Suppose -5*p = 10, 0 = 4*u - 5*p + p + 680. Let a be ((-2)/u)/((-5)/(-20)). Let d = 87 - 86. Is d at most as big as a?
False
Let g = -0.107 + -22.093. Let z = -4.2 - g. Let r = z + -19. Which is smaller: r or -2/27?
r
Let v = 6363/19 - 335. Let b = 67 - 68. Which is smaller: v or b?
b
Let s be ((-2)/(-7))/(72/21). Suppose -4*y = y. Let w be (3 - 4)*(y - -1). Which is smaller: w or s?
w
Let r be ((-1)/1)/1 + -2. Suppose 5*j + 14 = 29. Let o be (1 + j - 8) + 2. Is o at least as big as r?
True
Let a be ((-4044)/(-45) - 1) + 2/15. Let m = 981/11 - a. Let z = 3 + -3. Is z smaller than m?
True
Let l be (-1)/(-4) - 26/8. Let j = 3102 - 3106. Is l at most as big as j?
False
Suppose -4*n + n = 9, -20 = -4*u - 4*n. Let v be -4 - 5/(-10)*u. Is -1 < v?
True
Let x = -0.118 + 0.088. Let y = 3.07 + -3. Let s = y - x. Which is smaller: s or 9?
s
Let c be (3/(-1))/(9/(-15)). Suppose 0 = -u + 2*u - n, c*u + 2*n = -14. Is u less than or equal to -1/17?
True
Suppose 2*x + 5*s + 7 = 0, -2*s - 15 = -3*x - s. Suppose -14 = -2*k - 2*w, 0 = -4*k + x*w + 44 - 8. Let q be (-9)/12 - (-10)/k. Is 3 > q?
True
Let x = -0.54 - 4.96. Let c = x + 7.5. Which is smaller: c or 5?
c
Suppose -847 = -7*t - 266. Which is greater: 82 or t?
t
Suppose 5*m - 6*p = -p - 5, 4*m - 3*p = 0. Suppose 3*t - t - 6 = -3*y, 9 = 3*t + m*y. Suppose -3 - 2 = 2*v - t*d, d + 3 = -4*v. Which is bigger: -3/5 or v?
-3/5
Let y(g) be the second derivative of g**4/12 - g**3 + 5*g**2/2 + g. Let u be y(5). Let c be (-507)/(-728) + (-4)/7. Which is smaller: u or c?
u
Let s = -10.3 - -10.5. Let k(q) = -q**2 + 9*q - 4. Let c be k(7). Is c less than s?
False
Let s be 27/(-6) - (-12)/(-8). Let w = s - -10. Let t be 1 - w - (4 - 3). Which is greater: -2 or t?
-2
Let w be (-4)/(-7)*126/36. Let p = 7 + -3. Suppose y + 5 = p. Which is bigger: w or y?
w
Let y = 0.09 + 0.81. Let f = -0.58 - 0.42. Let l = y + f. Which is smaller: 5 or l?
l
Let g(q) = -q**3 - 5*q**2 - 3. Let r be g(-5). Let l(m) = m**3 + 4*m**2 + 5*m + 7. Let y be l(r). Which is greater: 2/25 or y?
y
Let c be (-4)/((-5856)/294) + (-2)/8. Does c = 0?
False
Let m(r) = -3*r**3 + 3*r**2 - 2. Let k be m(2). Let s(y) = y**2 - 20*y + 22. Suppose -5*q + 61 = 2*o - 0, 2*q - 82 = -4*o. Let f be s(o). Is f <= k?
True
Suppose d + p = 20, 4*d - 78 = -0*d - 5*p. Suppose 160 - d = 2*q. Let v = q - 281/4. Is -1 > v?
True
Let u = -14387 - -14378. Let q be (2 + 2/(-3))*-3. Which is bigger: u or q?
q
Let w = 117.7 + -112. Let s = w + -4.7. Is s greater than -2?
True
Let x = 6 - 9. Let r be -4 - (-795)/252 - x/4. Is 1 greater than or equal to r?
True
Let r(s) = -s**2 + 3*s + 39. Let h be r(8). Which is bigger: -11/18 or h?
-11/18
Suppose 0 = g + 18 - 63. Let a = g + -46. Is -1 at most a?
True
Let m(u) = u**3 + 3*u**2 - 9*u + 4. Let g be m(-5). Is g at least as big as 190/11?
False
Let d(q) = -7*q - 39. Let w be d(0). Let a be 3/36 + (3 - w/(-12)). Is 2 <= a?
False
Let v be 1 - -2 - 78/(-13). Let s(r) = -24*r - 8. Let y be s(v). Let p be 2/7 - (-36)/y. Which is greater: p or 1?
1
Let d(n) = n + 9. Let b be d(-5). Is b equal to 43/9?
False
Let k = -27 - -41. Let d(n) = 2*n**2 - 3*n + 5. Let b be d(3). Does k = b?
True
Let t(c) = 2*c - 3. Let b be t(4). Suppose l + 4 - b = 0. Let j be -2 - l/(1/11). Is j less than or equal to -11?
True
Let j = 1912 - 1940. Is j less than -27?
True
Suppose -h = -20 + 7. Let r = h + -80. Is -68 bigger than r?
False
Let i be (-21)/14 - 273/30*-1. Which is greater: i or 8?
8
Suppose 5 = -3*v - 2*u + 21, -3*v + 2*u - 4 = 0. Let q be -3 - (6 - (v + 2)). Is q at most as big as -1/9?
True
Let k = -10 + 15. Suppose -4*i = -k*i - 4. Let y be i/(-10)*45/36. Which is smaller: -2/11 or y?
-2/11
Suppose -2*q + 10*q = -64. Let b = 62 - 69. Which is bigger: b or q?
b
Let n be 2 - (-1 + (-1)/1). Suppose -4*y + 4*d - 16 = 0, 3*y - y + 3*d - 17 = 0. Let z = n - y. Which is greater: z or 6?
6
Let w = -75.32 + 75. Let o = w + 0.32. Which is bigger: o or 0.22?
0.22
Let n = -93970/29 + 3240. Which is bigger: 0 or n?
0
Let x(k) = -152*k + 2. Let i be x(3). Let o = -6341/14 - i. Which is greater: 2 or o?
2
Let p = -1310 + 1309. Let m = -2/387 - -499/21672. Which is smaller: p or m?
p
Suppose 11*p - 1067 + 825 = 0. Is p at most 10?
False
Let x(k) be the second derivative of 5*k**3/6 - 5*k**2/2 + 12*k. Let a be x(3). Is 10 at most a?
True
Let d = 7 + -3. Let h be 10/9 + d/(-6). Suppose 70*y = 45*y + 25. Which is bigger: h or y?
y
Let f be ((-72)/30)/(6/795). Let b be -1 + 2 - 2/(f/(-171)). Which is bigger: b or 0?
0
Let q = 7.3 - 23.3. Let d = 16.1 + q. Which is greater: d or -14?
d
Suppose -7 = -5*m + 3, 4*m - 190 = i. Which is bigger: -183 or i?
i
Let k(q) = -q**3 + 6*q**2 + 8*q - 1. Let c be k(7). Let t = 51 - 33. Suppose -2*h + 4*w = -22, 0*h - w = -3*h + t. Which is greater: h or c?
c
Let l be (5/(-4))/((-1)/4). Let h(o) = 2*o**2 - 22. Let m be h(4). Suppose m = -l*z + 20. Is z >= 7/4?
True
Suppose -s = -2*r - 0*r + 8, -2*s = 5*r - 2. Let c be 338/(-195) + r/5. Let z = -5 - -3. Do z and c have the same value?
False
Let y = 1 + -1. Suppose 0 = -22*t + 12*t - 180. Are t and y unequal?
True
Let z be -39*5/(-5)*4/6. Let a(w) = 27*w**2 - 4*w + 3. Let y be a(1). Is z greater than y?
False
Let v(f) = 24*f**2 + 111*f + 3. Let g be v(-4). Is -75 <= g?
True
Let y be (3 + 0)/(375/20). Which is smaller: 1 or y?
y
Let r = 78 + -75. Suppose -3*o - 5 = -2*n, -5*o - r*n = -4*o - 2. Is -1/13 at most as big as o?
False
Suppose -22 = -22*n + 44. Is n greater than 8/3?
True
Let h be (0 + (-27087)/248)*