uppose -8 = 4*t, -2*b + 4*t = 9*t + 66. Which is bigger: b or w?
b
Let z be (2*668/(-8))/1. Let k = 1003/6 + z. Do -1/2 and k have different values?
True
Let i = 0.46 + -0.29. Let d = -0.41 + i. Let q = d + 0.33. Which is smaller: q or -1/4?
-1/4
Let l = 44 - 10. Which is greater: l or 273/8?
273/8
Suppose r + 2 = 1. Let o = -3324 - -29890/9. Which is smaller: r or o?
o
Let m = -1 + 1.1. Suppose -2*q + 17 = o, q - 2*o + 3 = 9. Let j be (4 + 156/(-42))/(q/14). Are j and m non-equal?
True
Suppose r + 135 = 154. Which is smaller: 204/11 or r?
204/11
Let z(a) = 3*a + 9 - 6*a + 2*a. Let g be z(9). Let s = -3 - g. Is -3 not equal to s?
False
Let l = 289 + -192. Let b = l + -96. Is 6/55 at least b?
False
Let a = -2 - -3. Suppose -2*p + 24 = 8*q, q = 19*p - 15*p - 31. Is a at least p?
False
Suppose -h + 46 = -43. Let y = -44 + h. Let u = -1351/30 + y. Which is greater: 0 or u?
0
Let y = -1423 + 2847/2. Which is greater: y or 1/336?
y
Let j(d) = 3*d**2 + 30*d + 26. Let t be j(-9). Let q be 1/(-2) + (-9)/(-12). Is t smaller than q?
True
Let o be 1299/(-15) + 6/10. Let h = -96 - o. Which is bigger: 6 or h?
6
Let b = -39.023 + 39. Let t = -0.177 + b. Is 2/25 < t?
False
Suppose 3*w - p = 4*p - 91, 5*w + 129 = -3*p. Which is smaller: -21 or w?
w
Let a = -2280 - -1665. Which is bigger: a or -614?
-614
Suppose 0 = 3*j + 3*i - 3, 2*j + 0*i = i + 5. Let d be 30/20*j*(-1)/3. Let f be (-1)/(-4) - 31/92. Which is smaller: d or f?
d
Let z = -8.99 + -0.01. Let i = -0.7 + 1.38. Let g = -0.68 + i. Which is bigger: g or z?
g
Let m(t) = t**2 - 4*t + 2. Let g be m(2). Let b be (-12 - -12) + 2 + g. Let p = 6/77 - -752/231. Is p <= b?
False
Suppose 15 = 344*g - 329*g. Which is smaller: -2/1485 or g?
-2/1485
Suppose -5*k + 7 = -s, 4*k - 3 + 4 = 3*s. Let i be ((-80)/24)/((-12)/k). Which is bigger: i or 0?
i
Suppose 0 = 2*p - 3*r + 371, p + 6*r + 185 = 7*r. Is -184 greater than or equal to p?
True
Let g = -468 - -468. Is 90 greater than or equal to g?
True
Let k(n) = -3*n + 10. Let q be k(7). Let a = -1/3844 + -1921/3844. Is q smaller than a?
True
Suppose 4*u = -0 + 8. Suppose 3*m = -1 - u. Let a(y) = -13*y - 143. Let j be a(-11). Is m < j?
True
Let s = 211 + -212. Which is smaller: 40 or s?
s
Suppose 0 = -21*u + 16*u + j + 8271, 5*u - 2*j = 8267. Which is smaller: 0.1 or u?
0.1
Suppose -2*n + 5*m - 3 = -2, -2*n - 19 = m. Let x(r) = r**2 - 4*r + 9. Let q be x(7). Let w be (-10)/(-40) - q/n. Is 3 less than or equal to w?
True
Let f = 393 - 518. Which is smaller: f or 2?
f
Let n = -151 - -148. Suppose 3*f - 7 = -f + o, f + 2 = 4*o. Suppose -3 = f*p + 5. Is p at least n?
False
Let v = 564 + -416. Which is bigger: 2/9 or v?
v
Let w be (-10)/(-3)*27/18. Suppose -2*q + 26 = 5*a - 44, q - w*a - 5 = 0. Let k be (-3)/q*(-3)/9. Which is smaller: -1 or k?
-1
Let g(k) = 2*k + 47. Let f be g(-24). Is -1/59 less than f?
False
Let n = 0.2 - -0.2. Let w = 0.16 - n. Let g = 1.76 - w. Which is greater: -0.2 or g?
g
Suppose -680 = -8*b - 9*b. Which is smaller: b or 39?
39
Let h = -6313543/51557 + 14/4687. Let y = h - -123. Let m be (1/4)/((-3)/(-4)). Are y and m non-equal?
True
Suppose -c = 5*x, -4*x - 4*c - 8 - 8 = 0. Let u = -2/303 + 406/303. Which is smaller: x or u?
x
Suppose 4*a + 3*t = 1325 + 30, -5*a + 1690 = 3*t. Which is smaller: a or 334?
334
Suppose 4*u = 3*u. Let x be (14/308)/((-2)/(-4)). Which is bigger: x or u?
x
Let j(u) = -u**3 + 3*u**2 + u - 3. Let n be j(3). Let v be (8/6)/((-2)/6). Let a be 2/2 - v/(-2). Which is bigger: a or n?
n
Let u = 291/2 + -100. Are 45 and u equal?
False
Let f = -271 - -1353/5. Which is smaller: 143 or f?
f
Let b = 34 + -29. Suppose b*g = 2*g + 9. Suppose 4*y + 15 = -y + 4*d, g*y - 3*d + 12 = 0. Are 0.18 and y non-equal?
True
Suppose 9 = 3*p - 0*p. Let r(w) = -w**p + 3*w**2 - 7*w**2 - 16 - 2*w**2 + 2*w. Let q be r(-7). Which is smaller: 20 or q?
q
Let h be ((-130)/40*14)/((-1)/(-2)). Which is smaller: h or -92?
-92
Let u be 51/9 + 3/(27/(-6)). Suppose k + u*k = 54. Do 10 and k have the same value?
False
Suppose -6 = -3*f - 3*k, -5*f + 31 = -2*f - 2*k. Suppose 2 = f*w + 156. Are -22 and w nonequal?
False
Let t = 106 - 745/7. Suppose -3*g = -5*q - 29 - 7, 0 = -q + 3*g. Let s be (3/q)/((-5)/(-15)). Which is smaller: t or s?
s
Let d = -121/84 - -4/21. Let a(h) = h**3 + h**2 + h + 25. Let f be a(0). Let y be 26/(-10) - (-15)/f. Which is bigger: d or y?
d
Let q = -615 + 615.0411. Which is smaller: 1 or q?
q
Suppose -2*f = h + 1537 - 197, 3*f = -5*h - 6714. Let z = h + 68542/51. Which is greater: z or 1?
1
Suppose -21*k + 10 = -16*k. Suppose 0 = -4*q + k*q - 2. Which is smaller: -2/223 or q?
q
Let o = 1339 - 1327. Let y(d) = -7*d - 3. Let a be y(-2). Is o at most as big as a?
False
Let j = -7 + 12. Suppose -68 = -j*c + 22. Let n be (3/5)/(c/(-12)). Is -0.4 bigger than n?
False
Let k be (-2)/5 + 1372/(-70). Let l = k - -18. Is 0 not equal to l?
True
Let j = -5101/196 - 11/49. Let o = 1163/44 + j. Let a be (3 - 1)/(-2 - -4). Do o and a have different values?
True
Let k be 8622/(-390) - (-2 - -1). Let x = 104/5 + k. Which is greater: 1 or x?
1
Let z be 1 - ((-12)/(-3))/1. Let g be -3*(z + 39/9). Let d = 100.3 - 100. Which is bigger: d or g?
d
Let r(x) = -73*x**2 + 8*x + 17. Let p be r(-2). Is -290 not equal to p?
True
Suppose -4 + 12 = 4*n. Let b be n + (-2 - 24/10). Let m be (2/(-10))/(((-2)/(-10))/1). Is m at least b?
True
Let q(r) = -r - 1. Let z be q(-5). Let t be 5/(-4) + 20*(-8)/(-128). Suppose 0 + 8 = h - 2*y, -z*h - 5*y + 6 = t. Which is greater: h or 2?
h
Suppose 0 = -2*t + 10, -3*t + 4*t - 5 = -g. Is g smaller than 1/7?
True
Let f(b) = 3*b - 46. Let i(c) = -2*c + 47. Let u(j) = -4*f(j) - 5*i(j). Let a be u(-26). Which is greater: 4/5 or a?
a
Suppose 2*q - 147 = q + 5*r, 5*q + r = 787. Let p(y) = 0*y - 159 + q + y. Let f be p(-1). Is 0 at least as big as f?
True
Let i = 1639 + -1639.77. Is 0 greater than or equal to i?
True
Let y = -251 + 219. Which is bigger: -30 or y?
-30
Let j be 67/3*54/(-90). Let d = 427/30 + j. Let s = -5 + 5. Which is greater: s or d?
d
Let l(s) = -s**3 - 6*s**2 + s + 8. Let w be l(-6). Suppose v = w*p - 0*p - 4, 0 = 2*p - 3*v - 12. Do 3 and p have the same value?
False
Let k = -1 + -7. Let s(j) be the third derivative of j**4/24 + 13*j**3/6 + 25*j**2. Let n be s(k). Is 5 at least as big as n?
True
Suppose 2*i - i + 29 = 5*p, -2*i = -4*p + 22. Let y be 57/1710*(16/p)/2. Let q(f) = f**3. Let m be q(0). Do y and m have the same value?
False
Suppose -14*i + 11*i = -102. Are -2 and i unequal?
True
Let v be 18/(-4) + (-1)/(-2). Let p be (-2)/(-51)*(-1 - v). Let q = 31/119 - p. Is 1 greater than or equal to q?
True
Suppose 0 = 4*p - 3*m + 2*m - 105, 3*p + m = 77. Is p less than -1?
False
Let w be (-856)/321*942/8. Which is smaller: w or -316?
-316
Let f(g) be the third derivative of -g**5/60 - 5*g**4/24 + g**3/6 + 15*g**2. Let c be f(-4). Is 2 <= c?
True
Let q be 2 + (-9)/3 + -2. Let a = q + 5. Suppose -a*f - 2*f + 1 = -x, 0 = 3*x + 4*f + 3. Which is greater: 3/14 or x?
3/14
Let w = -571973/199515 - -2/13301. Which is smaller: -3 or w?
-3
Suppose -3*d + 9 = 0, 3*d = -6*v + v + 4. Let j be (v + 7)/(9/(-66)). Let m be (-8)/j + 40/22. Is 2 equal to m?
True
Let f = -811183/17763 - -2/5921. Let u = f - -46. Is u greater than -20?
True
Suppose 0 = 22*c - 17*c - 110. Suppose 0 = x - c - 30. Is x less than or equal to 52?
True
Let m be (2/(-532))/(102/198252). Let x = m - -426/17. Let j = x + -125/7. Is 0 at most as big as j?
False
Let f = 3/37 - 89/185. Let w = -7 - -2. Let u = w + 4.7. Which is bigger: u or f?
u
Let h = 8.45 + -40.55. Which is greater: h or -0.3?
-0.3
Let x = -249 + 248. Which is smaller: -2/769 or x?
x
Let y = 2867 - 2919. Is y less than -1/2?
True
Suppose 447*b - 448*b = -87. Which is greater: b or 94?
94
Suppose 0 = 2*y - 5*n + 11, 3*y = -n - 4*n + 21. Suppose 6 = -2*f - y*s, f = -s + 2*s + 3. Which is bigger: f or 3?
3
Suppose -q = -3*q - 2, 0 = -3*m - 5*q + 403. Are m and 134 unequal?
True
Suppose -4*o = -65 + 233. Is -40 smaller than o?
False
Suppose 213 + 84 = -9*n. Is n >= -36?
True
Suppose -8 = -i - 4*i + 2*t, 0 = 4*i - 2*t - 8. Let q = -1013055/193 - -5249. Is i < q?
True
Suppose 17*d + 10 = 7*d. Is 15/82 greater than d?
True
Suppose -5*w + 26 + 24 = 0. Let r(u) = u**3 - 3*u**2 - 5*u + 2. Let y be r(3). Let l