b*n. Which is smaller: 3 or n?
n
Suppose -5*x - 5*f - 3 = -4*f, -5*x + 5*f = 15. Let z = -4/59 + -23/531. Is z less than x?
False
Let p = 60 - 51. Let o = -7 - p. Let n be 6/(-27) + 4/18. Which is smaller: n or o?
o
Let h = 657 + -436. Which is smaller: h or 219?
219
Let a = -64 + 62. Let c(y) = 4*y + 8. Let p be c(a). Is -1/2 at most p?
True
Suppose 0 = -0*z + 2*z + 2*m - 18, 3*m + 3 = 3*z. Suppose -z*v - 89 = -19. Let k(x) = x**2 + 16*x + 19. Let c be k(v). Which is bigger: -8 or c?
-8
Let h = 73/3 + -24. Let f = -0.2 - 3.8. Let u = f - -3.9. Is u bigger than h?
False
Let r be 354/675 - (-12)/(-27). Let l(n) = -n**2 - 5*n - 6. Let x be l(-4). Let t = -2 - x. Which is smaller: r or t?
t
Let l = -24 + 42. Suppose 3*k + 3 = l. Suppose 9*a - 4*a + k = 0. Which is smaller: a or 2/9?
a
Let q = 3/181117 - 330538561/2173404. Let c = -152 - q. Suppose 245 = 45*s + 200. Which is greater: s or c?
s
Suppose -9*k = -8*k - 47. Is 0.3 at least k?
False
Let d = -1621853/15655 - 1/3131. Let w = 104 + d. Suppose -i = -2*g + 12, 0 = i - 2 - 2. Is g smaller than w?
False
Suppose 3*l + 2 = -r, -5*l = -15*r + 11*r - 8. Which is greater: -14/15 or l?
l
Suppose 37*i + 924 = 31*i. Does i = -154?
True
Let s = -12.3 - -9.3. Which is smaller: s or 5?
s
Let j(y) = -y - 5. Let x be j(-9). Suppose -p = -m - 0*p - 6, -2*m - 22 = -x*p. Are m and 0 nonequal?
True
Suppose -11 = 2*n + 3*v, -3*n - 7 = -0*v - 5*v. Let u = -2 - n. Let y(a) = a**2 + 6*a - 6. Let s be y(-7). Which is smaller: u or s?
s
Let c = -2544 + 1322. Is -1222 at least c?
True
Let n = -0.07 - 0.18. Let x = n - 5.75. Let k = x + 6. Which is smaller: k or 20?
k
Suppose -14*f + 13*f = -1. Let a be -28 + (f/(-3))/((-1)/(-6)). Is -30 at most as big as a?
True
Let l = -12.2 - -6.2. Does -0.11 = l?
False
Let o = 33.006 + -0.006. Let r = 32.91 - o. Is -0.1 <= r?
True
Let m = 102 - 102.114. Let j = m - -0.014. Let t be 0 + -1 + 1 - 4. Do t and j have the same value?
False
Let c = 1 - -3. Let y be c/12 + 38/(-6). Is y at least as big as -5?
False
Let d be -1*(344/18 + 26/(-234)). Which is bigger: -7 or d?
-7
Let m = -162 - -155. Let b = 1 - -2. Which is bigger: m or b?
b
Let y = -1.43 + 20.43. Are -1 and y non-equal?
True
Let t(d) = -d**2 + 4*d - 7. Let c be t(4). Let x = -169 + 165. Which is greater: x or c?
x
Suppose 11 = d - 99. Which is smaller: d or -0.2?
-0.2
Let r(b) = -b**3 - 40*b**2 - 39*b + 9. Let c be r(-39). Let i = 11 + -2. Is c bigger than i?
False
Suppose -4*w - 3*o - 11 + 2 = 0, 12 = -w - 4*o. Let z be (-4)/10 + (w/6)/4. Let l(c) = c - 5. Let v be l(4). Is z != v?
True
Let i = -4.19 + 4.19. Do -0.064 and i have different values?
True
Let p = -15 - -18. Suppose 0 = 3*m + 12 - p. Which is smaller: m or -7/2?
-7/2
Let n be (9/(-6))/(3/(-26)). Let q = n + -4. Suppose -q = 3*j - 6*j. Which is smaller: 2 or j?
2
Suppose -787*a = -796*a + 5184. Is 576 not equal to a?
False
Let l = 36.4 - 44. Let r = -181 - -188. Let s = r + l. Does s = 1/3?
False
Let x = -13 - -13. Let f be ((-15968)/(-15))/4 + 3. Let h = f - 269. Are x and h unequal?
True
Suppose -3*k - 12*j + 7*j - 18 = 0, 2*j + 6 = 0. Is 3/43 less than k?
False
Let w = -1039 - -1039. Let g be 3 - (-335)/(-337) - 2. Which is smaller: w or g?
w
Let b = -1653719/266 + 6217. Is b less than -1?
False
Let g = -5 - -8.2. Let q = -3.1 + g. Which is bigger: q or 12?
12
Let w = 0.14 - -11.86. Let o be (-16)/6*3/(-2). Suppose o*c + 5*a = 0, 5*a = -c - 0*a. Are w and c nonequal?
True
Suppose -3*p = 0, 0 = -l + 3*p - 1 - 63. Is l at least 0.2?
False
Let z(q) be the first derivative of -2*q**3/3 + q**2/2 + 2*q - 3. Let n be z(-1). Let d be 2*2/4*n. Which is smaller: d or 2/13?
d
Suppose -4 = -m, -11*r - 184 = -6*r - m. Is r at least as big as -36?
True
Let q = -23.04 + 21.7. Is 0.1 less than q?
False
Let k(t) = -3*t + 15. Let w be k(6). Let y be 2/((-2)/(1 - w)). Let g be (2 - -1) + (y - -2). Which is smaller: 1/8 or g?
1/8
Let h = -527/2171 - -2/167. Suppose -5 = 5*y + 5*i, y - 3*i = -2*i + 5. Suppose -y*z = -f + 4, 0 = -3*z + 3*f + 2*f - 13. Which is smaller: z or h?
z
Suppose 21*o + 16 + 5 = 0. Which is smaller: -29/38 or o?
o
Suppose 38*u - 183 = 83. Which is bigger: u or -12?
u
Let q(f) = 2*f - 7. Let k be q(6). Let s = -37 + 39. Is k at most s?
False
Let f(v) = 3 + v**2 - 6 + 3*v - 3. Let d be f(-4). Which is bigger: d or 0.08?
0.08
Let w = 724 - 725. Is 2/445 <= w?
False
Let y be (-1*1)/(-6 - (-1784)/296). Let u = y - -37. Which is greater: u or 2/3?
2/3
Let q be 2/6*3 + 19. Let x = q + -13. Suppose 3*a + 2 + x = 0. Is -1 at least as big as a?
True
Let l = 139 + -415/3. Let q be 2/10 + 174/30. Let k be (-3)/q*(-3 - 1). Is l at most as big as k?
True
Suppose -3*o = 32 + 4. Suppose -w + y - 4 + 0 = 0, 3*y = -w - 24. Is o less than or equal to w?
True
Let g(z) = -z**2 + 3*z - 2. Let r be g(2). Suppose -3*t - 25 = -4*b - r*t, -2*t = b + 2. Let c = -1577 + 1581. Is b at most c?
True
Let b = -66 + 66. Let z(g) = -g**3 - 2*g**2 - g + 24. Let k be z(b). Is 26 at most k?
False
Suppose -m + f - 91 = -0*m, 0 = -2*f + 6. Which is smaller: -86 or m?
m
Let q = -787 + 791. Which is smaller: q or 7?
q
Let s = -5052 + 35286/7. Which is bigger: -10 or s?
-10
Let c be 4/14 - (-520)/(-56). Let z = -39785/4 + 10002. Let p = 56 - z. Which is bigger: p or c?
p
Let v = 0.734 + 0.026. Let l = -0.7 + v. Which is greater: l or -2?
l
Let f(q) = q - 1. Let g be f(-4). Let x be ((-18)/g)/(8/40). Which is smaller: x or -2/11?
-2/11
Suppose 8*a = 3*a + 55. Suppose 3*o - 46 = 4*k, o = -5*k + 36 - 27. Is a smaller than o?
True
Let q be 21/(-28) - 1/4. Let b = 139/2491 - -2/2491. Which is greater: q or b?
b
Let p(v) = 4*v - 23. Let k be p(5). Let q be ((-9)/k)/(-6) + 326/4. Is 80 less than q?
True
Let r = 3/19630 + -2033671/19630. Are -1 and r unequal?
True
Let g = -275 - -274.9. Which is smaller: -4/7 or g?
-4/7
Let s = 1272 + -1298. Which is smaller: s or 11?
s
Let v be (-1)/(-2) + 2/(-4). Let u = 114/23 - 3466/161. Let n = -17 - u. Is n greater than or equal to v?
False
Let f = -18 - -17.989. Let d = f + -7.989. Is -0.04 > d?
True
Let k = 7 - 5. Suppose a - 15 = 13. Suppose -12 + a = k*b. Does 8 = b?
True
Let t = 100 + -482/5. Is 2/3 equal to t?
False
Let v be 12 - 13 - (-1502)/(-8). Let w = -190 - v. Which is smaller: 0 or w?
w
Let q(o) = 6*o - 5. Let l(c) = c**3 - 5*c**2 + 3*c + 7. Let m be l(4). Let h(v) = -5*v + 4. Let j(a) = m*q(a) + 4*h(a). Let p be j(0). Which is smaller: p or 2?
p
Let z be (-9315)/6660 - 6/(-8). Is -1 >= z?
False
Let r = -1409.97 - -1403. Let n = -0.03 + r. Let s = 137 - 1231/9. Is s at least as big as n?
True
Let n(i) = 9*i**3 + 2*i**2 + 16*i + 14. Let m be n(-1). Is -59/6 greater than m?
False
Let s = 39 + -44. Let r = 3 + 2. Suppose -t = -r*t - 20. Is s bigger than t?
False
Let q(j) = 2*j**2 + j + 4*j**3 + 2*j**2 - 2*j**2. Let h = -7 + 6. Let s be q(h). Is -4 at least as big as s?
False
Let f be 2/(-3 - -2)*1. Suppose -x + 1 = 3. Is x at most f?
True
Let i be -2 + -2*(1 - -1). Let g = -13 + 22. Let t be i/g*3/(-5). Is t at least as big as -1?
True
Let a = -1261 - -1264. Let n be -1 - (0/(-2))/2. Is a not equal to n?
True
Let p = 58829/313584 + -2/19599. Suppose -3*d = -0*d - 3. Is d greater than p?
True
Let o = 1730 + -1174. Are o and 556 non-equal?
False
Suppose 3*o - 5*o - 20 = 0. Suppose 5*i = 2*f, -5*i - f = -16 + 1. Suppose -4*t + 0*s - 36 = -2*s, 5*t = i*s - 44. Is o at least as big as t?
False
Let y be (-1288)/(-510) + (-36)/54 + -2. Is y bigger than -1?
True
Suppose -12*l + 830 = 2*a - 9*l, 4*l = 8. Which is smaller: a or 411?
411
Suppose 13*i = -89 + 999. Which is bigger: i or 72?
72
Suppose 4*g - 19 - 93 = 0. Let o = 524 - 495. Which is smaller: o or g?
g
Let f be 8/(-44) + 252/(-308). Is -666 less than f?
True
Let h(p) = -p**3 - 5*p**2 - p + 9. Let s be h(-4). Let t be 1/s + (-77)/(-294). Which is bigger: t or 2/3?
2/3
Suppose -74*o = -70*o. Is -19/20 not equal to o?
True
Let l = -31 + 48. Let c = -34 + l. Is c bigger than -18?
True
Let z = -46 + 48. Suppose 5*w - 29 = 3*k, w - 5 = 2*w + 3*k. Suppose -w*g + 2 = -2. Which is greater: g or z?
z
Suppose 0 = -3*n - c + 9, -3*c - c = -5*n + 15. Suppose l = n*b + 28, -2*b - b - 38 = l. Which is smaller: -1 or b?
b
Let q = 21/38 + -225/304. Let x(d) = -2*d**3 + 23*d**2 - 17*d + 66. Let k be x(11). Which is sm