5*s - 345. Which is bigger: 67 or t?
67
Let x be (-3 - -551) + 18/(-6)*-1. Which is smaller: 550 or x?
550
Let f(q) = q**3 - 6*q**2 - 10*q - 5. Let x be f(8). Suppose -3*r = 103 - x. Which is bigger: r or -1?
-1
Let f = 861 + -284988/331. Is 1 bigger than f?
True
Let d = -21.9 - -1.9. Let w = 0.15 - -16.85. Let r = d + w. Is r smaller than 0.2?
True
Let b = -3962948/7 - -565224. Let k = b + 913. Which is greater: k or 3?
3
Let i(r) = r**3 + 3*r**2 - 57*r + 16. Let s be i(6). Is s greater than or equal to -43/24?
False
Let h be (6/27*3)/((-2)/(-333)). Suppose 66 = -4*t - 2*w, 29 = 5*t + 2*w + h. Is t at most -18?
False
Let c = -263 + 252. Let v = -11 - -2. Is c smaller than v?
True
Let n be -1*440/72*3. Is -18 <= n?
False
Let i = -674 - -665. Is -3.8 less than or equal to i?
False
Let o be (-3)/6*(-68)/238. Is -2/45 bigger than o?
False
Suppose -2*l - 2*t = 34 - 4, 5*l + 81 = -2*t. Let v(z) = 1. Let f(m) = 17*m**2 + m + 2. Let h(a) = -f(a) + 2*v(a). Let p be h(1). Is p bigger than l?
False
Let j = -17.955 + -0.045. Let i = 1 + -3. Is i less than or equal to j?
False
Let f = -478 - -479.41. Which is greater: f or 2/5?
f
Let z = 562 + -562. Which is smaller: -564 or z?
-564
Let y(s) = -s. Let m be y(1). Are -46/19 and m unequal?
True
Let a(w) = 4*w**2. Let l be a(1). Suppose 0 = 4*f + 2*g + 14, -2*g = -5*f - l*g - 15. Let m be (-7 - -12 - 42/8)/(4 - 3). Are m and f nonequal?
True
Let p(u) = 5*u + 5. Let y be p(-2). Let d(s) = 2*s**2 + 8*s - 15. Let k be d(y). Which is smaller: k or -3?
k
Let z be 10/30*((-78)/37 - -2). Which is smaller: z or -1?
-1
Let l = -654 + 704.9. Let z = l - 51. Is z bigger than 2?
False
Let u(z) be the second derivative of z**3/6 - 3*z. Let q be u(-4). Let w be (-2)/(-4) + (-2)/q. Which is bigger: 2/25 or w?
w
Suppose r = 3 - 9. Let t(j) = 8*j - 35. Let m be t(4). Let a = r + m. Is a greater than -9?
False
Suppose -4 = -x + 2*x, -5*s = -3*x - 32. Suppose 2*v = -s*v + 36. Is 6 greater than or equal to v?
True
Let j = 1 - -9. Let q(n) = 5*n + 8. Let v be q(-6). Let b = -13 - v. Do j and b have the same value?
False
Suppose 144*d = 149*d - 830. Are 165 and d equal?
False
Suppose -3*v + 9 = 4*t, -v = -4*v + 9. Suppose 0 = -2*p - t*p + 6. Suppose p*y + 41 = -4*x, y + 4*x + 27 = -0*y. Which is greater: y or -6?
-6
Let g = -147 - -1027/7. Which is greater: 5/2 or g?
5/2
Suppose 0 = -4*w - 3*d - 37 + 1, -2 = 3*w - 4*d. Suppose -g + 0*g + 30 = 0. Let b be 9/g*52/(-3). Is w < b?
True
Let t = -4 - -2. Let y = -110 - -110. Let z = t + y. Do -1/7 and z have the same value?
False
Let s be ((-8)/(-342))/(1 - 3/9). Which is bigger: 0 or s?
s
Let u = -2195/18837 - -5/161. Does u = 1?
False
Suppose z + 0 - 1 = 0. Let w be -2 + (-10)/(-2)*z. Suppose -w*t = -i + 29, i + 2 = -t - 1. Which is greater: -9 or t?
t
Let i be 1 - 7*(-2 + 3). Let r be (60/(-224))/(i/8). Let x = -1/7 - r. Is x at most as big as -2/31?
True
Let c(a) = 78*a**2 + 8*a + 2. Let y be c(-2). Let v be (0 - 3863/(-13)) + 1. Let j = v - y. Which is bigger: -1 or j?
j
Let k(z) = 31*z**3 + 4 - 4 - z. Let o be k(1). Let c = -33 + o. Is -2 greater than c?
True
Let p be (-6)/1 + 540/95. Which is bigger: p or 1?
1
Suppose 8*h - 12*h = 0. Suppose -5*c = -p - 15, h = 2*p - 5 - 5. Is c less than or equal to 5?
True
Let p = -1090 - -2357. Is 1267 greater than p?
False
Let k = -745 - -735. Suppose -2*q - 27 = -5*l, 5*q - l + 18 = -38. Do q and k have different values?
True
Let c be (-6)/(-4)*32/6. Let r(u) = -u**2 - 7*u + 8. Let t be r(-7). Is c greater than or equal to t?
True
Let o be (22 - 1)*210/(-49). Is -92 at most as big as o?
True
Let j = 0.34 - 0.24. Which is greater: j or 35?
35
Let m be 0 + -5 - (-7 + (-3399)/(-44)). Is -76 < m?
True
Let i = -16.3 + 17. Let k = i - 0.6. Suppose 54*f - 55*f + 9 = z, 0 = 5*f - 25. Do k and z have different values?
True
Let b be 2/(-8) + 74/8. Let k(z) = z + 4. Suppose 3*a + 36 = 54. Let g be k(a). Which is smaller: g or b?
b
Let y be (-806)/(-52) + 1/2. Let q be 0/(20/(-4)) - y/(-2). Which is greater: q or 9?
9
Let t(s) = -s**2 - 10*s + 22. Let x be t(-10). Let j be (-1)/((-5)/10) + x. Which is bigger: j or 25?
25
Let f = 103.8 - 92. Let m = -12.8 + f. Which is smaller: m or -29?
-29
Suppose -3 = -3*r, 3*r + 6 = -2*p - 7. Let z = 10 + p. Let v = -0.18 + -0.02. Is z greater than v?
True
Let y = 1.41 - 1.5. Let k = 0.17 + 0.04. Let m = k - y. Which is smaller: m or -6?
-6
Suppose -8*q + 71 - 63 = 0. Are 1/28 and q equal?
False
Let b(w) = -3*w + 15. Let j be (-16)/48 - (-16)/3. Let i be b(j). Which is bigger: -2/95 or i?
i
Let o be 54/2 + (3 - 0). Suppose 4*r - 36 = -4. Let s be o/r*(-4)/40. Which is smaller: -1 or s?
-1
Suppose -2*v = -0*v - 10. Which is smaller: v or -18?
-18
Let f(d) = -d**2 + 11*d + 906. Let y be f(0). Are y and 907 unequal?
True
Let p(z) = -z**3 - 2*z**2 - 3*z - 14. Let m be p(-3). Suppose -v - 5*t = -0*v - 16, -m*v + 5*t - 36 = 0. Which is smaller: v or -2?
v
Let f = -29 - -65. Let l be (5 + -3)/(-10) + f/(-170). Which is smaller: l or 1?
l
Suppose -21 = -4*t - 5. Let s = 121 - 66. Let d = s - 53. Which is bigger: t or d?
t
Suppose -5*s - 1 - 1 = -f, 5*s = 3*f + 4. Let g = 11/52 + -357/1196. Do s and g have different values?
True
Suppose -4*g = 5*g + 18. Which is smaller: g or -13/18?
g
Suppose 5*w + w = 0. Suppose w = -10*y + 13*y - 6. Let o be 7/(-2) + 0 + y. Which is greater: -3 or o?
o
Let j = 28619/7 - 4095. Let a = j + 43/14. Which is bigger: a or -5?
a
Let w be (-20)/6 + 4/(-6). Let g be 6/(-72) - 253/132. Let h be g + w/(-9)*21. Is h greater than or equal to 7?
True
Let q = 30 - 2. Let k = -24 + q. Which is smaller: 2 or k?
2
Let k(j) = j**2 - 36*j. Let y be k(36). Is y greater than or equal to 8/609?
False
Let k = -3.59 + 3.54. Is -2/25 >= k?
False
Suppose -20*i = 2 - 2. Suppose y - 4*l - 8 = i, -4*l = -y - l + 6. Which is bigger: -11/8 or y?
y
Let g be 31/11 - 6/(-33). Let f(d) = d**3 - 4*d + 3. Let i be f(2). Suppose 4*v - 2*w - 2 = 0, 5*v + 0*w = g*w + i. Which is smaller: -1 or v?
-1
Suppose 3*x = 5*z - 1, 4*x + z = 10 + 4. Let b be ((-30)/3)/(6/x) + 0. Is -0.1 < b?
False
Let q(i) = -3*i**2 + 3*i + 19. Let p(t) = 9*t**2 - 9*t - 58. Let a(c) = -6*p(c) - 17*q(c). Let k be a(-4). Is k less than 0?
True
Let b = 2/14939 - 717110/283841. Let n = b - -1325/532. Is n greater than or equal to 1?
False
Let n = -497 - -498. Which is smaller: n or 2/93?
2/93
Let d(z) = 2*z**3 - 25*z**2 - 9*z - 57. Let t be d(13). Let l(u) = -u**3 - 5*u**2 + 8*u + 7. Let b be l(-6). Is t != b?
False
Let a(z) = -834*z**2 - 20*z - 20. Let q be a(-1). Is -834 equal to q?
True
Let m(z) be the second derivative of 7*z**3/3 + 12*z**2 - 29*z. Let w be m(-6). Is -60 > w?
False
Suppose -36*d + 102 = -30*d. Are 26 and d equal?
False
Let z = 837 + -2479/3. Suppose -4*u = 46*s - 42*s - 20, -4*u - 20 = 0. Is z at most as big as s?
False
Suppose -h + 6 = 2*h. Let a be (h - 8)*104/12. Let w = -99/2 - a. Is w less than 4?
True
Let b be (-189)/3*2/(-159). Let z = 415/212 + b. Let u be 29/9 + (-2)/9. Is u bigger than z?
True
Suppose -1 - 25 = -2*i. Let v = 0 + i. Suppose 4*w = -5*r - 23, 2*w + v = 2*r - 5*r. Is w at most as big as -2?
True
Let o = -0.219 - -0.16. Let l = o - -3.059. Which is bigger: -5 or l?
l
Suppose d + 3 - 18 = 0. Let k be 85/d + (-4)/6. Suppose 3*j = -5*z - 10, 3*j - k = 4*j. Which is smaller: -1 or z?
-1
Suppose -6*z + 4 + 2 = 0. Is -7 > z?
False
Suppose 10*t - 7*t = -2*l - 12, -2*l + 20 = -5*t. Is -20/33 at least as big as l?
False
Suppose 0 = -5*n + 4*t - 71, t - 74 = 5*n - 0*t. Is n greater than or equal to -17?
True
Suppose -2*j - 3*o - 237 = 0, 2*o + 29 = 2*j + 271. Let h be (j/(-70))/(9/42). Is 3 greater than h?
False
Let a = 6 - 9. Let c(n) = -n**2 - 4*n - 5. Let f be c(a). Let v be (0 + (0 - f))/7. Which is smaller: 0 or v?
0
Let s(q) = -q**2 + 9*q - 3. Let u be s(8). Suppose 2*a = 4*a - 3*y + 18, 0 = 4*a - u*y + 32. Let d(h) = h + 4. Let k be d(a). Does 2/9 = k?
False
Let a = 81 - 81. Which is greater: a or -5/38?
a
Suppose -2*b + 5*a = 3*a - 652, 25 = 5*a. Which is smaller: b or 332?
b
Let w = -504 + 385. Is -122 less than or equal to w?
True
Let q = -866/5 + 173. Let u be -2*1/2 - -27. Let y be u/42 - (-5)/(-15). Do q and y have the same value?
False
Let v = 1763/2478 + 1/354. Let t = 37/42 - v. Let n = 79/231 - 2/231. Is 