3*y - 104. Which is greater: -11/7 or o?
-11/7
Suppose 22 = 3*x - 25*x. Which is smaller: x or -100?
-100
Let m(y) = -2*y + 9. Let h be m(17). Is h smaller than -55?
False
Suppose 0 = -33*i + 39*i + 3360. Is i smaller than 1?
True
Let v be 2/5 + (-1)/(10/(-336)). Let z be 138/(-5) - 8/20. Let n = v + z. Which is smaller: n or -2/5?
-2/5
Suppose -5*r + 37 + 13 = -a, -4*a = 2*r + 2. Let l be ((-1)/3)/(-4 + 48/r). Which is bigger: l or 21?
21
Let t = 0.1 + -0.3. Let f = -1819 - -1805. Are t and f nonequal?
True
Let f = -31/53 + -2123/901. Is f smaller than -4?
False
Let h(s) = -s**2 + 5*s + 8. Let j be h(9). Let v = j + 22. Let r(d) = d + 3. Let z be r(v). Which is bigger: z or 2?
2
Let g(w) = -w**2 - 3*w. Suppose -3*y = -8*y - 15. Let u be 1 + y*(3 - 2). Let p be g(u). Which is bigger: p or 0?
p
Let y = 604 + -320. Is y less than 285?
True
Let m = -65 + 73. Let d be 4/2 - (-3 + -2). Is d >= m?
False
Suppose 0*s + s + 12 = -3*f, -4*s - 3*f - 3 = 0. Suppose -s*q + 5*r + 6 + 9 = 0, -9 = -5*q + 3*r. Let p be 0 - ((-10)/(-4) - 2). Which is greater: p or q?
q
Let i(p) = -3*p - 3. Let g be i(-9). Suppose 3*r + r = g. Suppose 0 = 3*b + v - 4, -10 = -4*v + r. Which is greater: -2/17 or b?
b
Suppose -23 = 3*n - 20. Is n at most as big as -4/17?
True
Let r be (-2 - 18) + (3 + -5)/1. Is -177/8 less than r?
True
Let b = -170.9 - -171. Is -46 equal to b?
False
Suppose -3*u - 3*a - 288 = 243, 4*a = 5*u + 876. Is -178 not equal to u?
True
Let w be 151/(-9) + (-6)/27. Let g = w - -31. Which is greater: 3/2 or g?
g
Suppose 4*q - 1 = 7. Suppose 4*r = 2*r + q. Let o be (-5 + 9)*r/8. Which is bigger: o or 3/5?
3/5
Let q = 48.8 - 54. Let x = q - -3.2. Is -15 smaller than x?
True
Let k(q) = 56*q - 166. Let s be k(3). Let v be (0 + (-1)/1)*-4. Let x be 2 - (2 - 7/v). Which is bigger: x or s?
s
Let y be (-3)/(-9)*143/(-44) + -6. Which is smaller: y or -6?
y
Let z(p) = -7*p + 72. Let y be z(8). Which is smaller: y or 3?
3
Let g = 1131/5 + -10504/45. Is g greater than or equal to -7?
False
Let y = 4.8 + -4.843. Let k = -0.093 - y. Does -1/4 = k?
False
Suppose 4*t + 2*x + 2*x - 440 = 0, 3*t + 2*x - 329 = 0. Let n = t + -117. Do -4 and n have different values?
True
Suppose -36 = -4*i + i. Suppose 3*l - i = 5*l. Is l greater than -6?
False
Let z = -0.1898 + 0.2779. Is -1/4 > z?
False
Suppose 35*r - 105 - 280 = 0. Are r and -16 equal?
False
Suppose -4*w + 9*w + 105 = -5*k, 4*w + 88 = -2*k. Which is greater: w or -24?
w
Let g = 7/4 - 1. Let f = -5/8 + g. Let n be 3/(-9) + 2/(-3). Which is smaller: n or f?
n
Let m(j) = j**2 + j - 1. Let a(t) = -3*t**2 + 4*t - 4. Let q(x) = a(x) - 4*m(x). Let l be q(1). Is -7 < l?
False
Let u = 13 - 8. Suppose -3*b - 1 = u*o - 12, -3*b = -6. Let h be (-8)/(-3) + (-4)/6. Which is smaller: o or h?
o
Let m = -395 + 448. Which is smaller: 0.4 or m?
0.4
Suppose -4*k + 2*k - 5*l = -14, -12 = -k - 5*l. Let r be -9 + -1*366/(-36). Which is smaller: r or k?
r
Let d(q) be the second derivative of q**4/12 + 7*q**3/6 - 3*q**2/2 - 3*q. Let a be d(-6). Let w = 19/2 + a. Which is bigger: w or 1?
1
Let i(f) = -f**2 + 2*f + 10. Let m be i(-2). Suppose 5*n + 130 = -o, -4*o + 2*o = -m*n - 52. Is -26 smaller than n?
False
Let m(z) = -2*z**2 + 10*z + 11. Let q be m(-1). Let d = -13.21 - -13. Which is smaller: q or d?
q
Suppose -4*r + 0 = 4*p - 40, 0 = -4*p - 16. Let j = 19091/1515 + -2/1515. Which is bigger: r or j?
r
Suppose -255*r = -258*r - 6. Which is smaller: r or -1?
r
Let t be 0 + 41/(-44) - 18/(-24). Are 0 and t unequal?
True
Suppose 12*t - 648 = 3*t. Suppose -m + t = 2*u + 9, 5*u + 4*m - 150 = 0. Is 2 greater than or equal to u?
False
Let z = 0.015 - -52.985. Let v = 49 - z. Is -0.2 at most as big as v?
False
Suppose -32*z + 1729 = -2591. Which is smaller: z or 131?
131
Let k(b) = -12*b**2 + 2*b - 8*b**2 - 16*b**2 + 37*b**2. Let i be k(-2). Is i bigger than 8/7?
False
Let m(x) = x**2 - 15*x + 18. Let z be m(13). Suppose 4 - 16 = -3*y, 3*y - 20 = 2*l. Is l less than z?
False
Let u be 40/3570*7*33/2. Which is smaller: 0 or u?
0
Let h = 347 - 333. Is 14 > h?
False
Let a(s) = -11*s - 5. Let n be a(12). Which is greater: -138 or n?
n
Suppose -o = 2*o. Let n = 15 - 13. Let q be (-3)/(-18)*n*1. Which is bigger: o or q?
q
Let w = 70 + -72. Which is smaller: w or -7?
-7
Let h(x) = 4*x - 3. Let s be h(4). Let v = 17 - s. Suppose 0 = 2*j + v*m + 6, 2*j + 2*m = 7*m + 12. Is -3/13 at least j?
False
Let x = -17/84 + 1/28. Which is smaller: x or -0.11?
x
Let z be (2/(-14))/(505/100 + -5). Let r(t) = -t. Let o be r(3). Are z and o equal?
False
Let o(x) = x**2 - 1. Let b be o(2). Let l(w) = -w**2 - 6*w + 1. Let n be l(-3). Let v(j) = j**2 - 9*j - 4. Let h be v(n). Is h bigger than b?
True
Suppose -16*p - 170 + 698 = 0. Does 24 = p?
False
Suppose -10*w = -9*w + 1. Which is greater: 2/33 or w?
2/33
Let c = -0.84 - -0.882. Which is smaller: 3 or c?
c
Suppose 10*m = 2*m + 32. Let j(b) = b**3 + 6*b**2 + 6*b + 5. Let u be j(-5). Suppose 4*x - 4*g + 8 = 0, -x + u*x + m*g = 5. Which is smaller: -2/7 or x?
x
Suppose -174 = 9*a + 213. Is -45 smaller than a?
True
Let t = -48 - -47. Let z be (6 - 8) + 35/19. Is z <= t?
False
Let o(q) = -q + 24. Let i be o(26). Suppose a = -0*a - 2*b + 14, b = 4*a - 92. Let u be a/(-36) - 4/18. Which is smaller: u or i?
i
Let k be (2/22)/((-70)/770). Let y(d) = d - 1. Let b be y(-4). Let a(v) = -v**2 - 4*v + 1. Let w be a(b). Do w and k have different values?
True
Let l = 875 - 913. Which is greater: l or 7?
7
Suppose 3*q + a - 567 = 0, -9 = -5*a - 24. Is q > 946/5?
True
Let k be (1/3)/((-13)/(-6) + -2). Suppose 0 = k*l - l - 1. Let z = 12/7 + -3/14. Is z <= l?
False
Let f = 2723.903 + -2725. Which is bigger: f or 0?
0
Let o(k) = -17*k + 304. Let c be o(18). Which is smaller: -1 or c?
c
Let r be 2 - (-7)/((-21)/(-12)). Let o be ((r/(-21))/((-6)/(-14)))/29. Which is smaller: -1 or o?
-1
Let w(d) be the second derivative of d**4/4 - 5*d**3/6 - 3*d**2/2 - 42*d. Let f be w(5). Is 47 <= f?
True
Suppose v = -3*v + 20. Suppose v*p + 5 = -c, -c + 3 = 5*p - 2*p. Let a = 7 + 7. Is c != a?
True
Let b = -659 - -595. Which is smaller: -2/25 or b?
b
Let i(d) = -d. Let m be i(0). Let k(o) = -o + 5. Let n be k(3). Let g be 3/6 + n/(-8). Which is greater: m or g?
g
Let i(y) = -y**3 + 6*y**2 - 10*y. Let n be 4 + 0*3/3. Let s be i(n). Do s and -7 have the same value?
False
Let l(o) = 38*o - 51. Let b be l(-4). Is b != -204?
True
Suppose -52*t = -51*t - 200. Let w be (-55)/t + 4/(-32). Let b = 0 + 0.2. Is b <= w?
False
Let n = 2 + -2.1. Let b = 61.64 - 63. Let z = b + 0.36. Is z > n?
False
Suppose u + 2*u - 4*a + 9 = 0, -4*u + 2*a = 12. Which is bigger: -18/7 or u?
-18/7
Suppose x + 4 - 2 = 0. Let m be 49/(-7) + 2/(-1 - x). Is -8 less than m?
True
Let s be (-4)/18 + 1 - (-8)/36. Which is bigger: s or 2/25?
s
Let q(p) = -55*p**3 - p**2 + 4*p - 3. Let u be q(1). Let a = 278/5 + u. Let k = -0.2 + 0. Do k and a have the same value?
False
Let b(c) = -6*c**2 + 12*c + 7. Let z be b(-3). Is -1 < z?
False
Suppose -15*w = -12*w - 96. Let h = -36 + w. Let p = 7 - 13. Which is bigger: p or h?
h
Let r = 1.2 + -0.2. Let f = -57 + 22. Let o = f + 37. Is o < r?
False
Let o = 41 - -31. Suppose -o = -3*i + 12. Let w be (-48)/i - (-6)/(-21). Which is smaller: w or -5?
-5
Let f be 1/(-2) - 21/(-2). Suppose 0 = -a - a + f. Suppose 6 - a = n. Which is smaller: n or -0.2?
-0.2
Suppose 12*d - 17*d - 34 = 2*c, 0 = d - 6*c - 6. Which is smaller: d or 81?
d
Let n(k) = -k**2 + 9*k - 5. Let w be n(8). Suppose 3*j + w = 0, -82 = 4*m + j - 13. Which is smaller: m or -2?
m
Let s be 2/14*503/(-131). Let v = -3/131 + s. Let o(b) = -14*b + 279. Let y be o(20). Which is smaller: v or y?
y
Let b = 0.16 - 1.16. Suppose 2*z = -9*z + 3*z. Is b < z?
True
Let i = -966 - -965.9. Is i not equal to -181?
True
Let a = -58 - -46. Let y be (2 - a)*(-2 + 6 + -3). Is y greater than or equal to 15?
False
Let w = -49 + 27. Let j be (-55)/w + (-3)/(-2). Let n be 86/(-8) + j/(-16). Which is smaller: -10 or n?
n
Let v = 5 - -80. Which is smaller: -2 or v?
-2
Let g = 60 + -60. Let z be -1 + (1 - 2/97). Is g > z?
True
Let a = -0.711 - -15.051. Let o = 0.34 - a. Let s = o - -13. Is 0.1 greater than s?
True
Let j = -634/899 + 24/31. Suppose 6*n + 36 - 36 = 0. Is j greater than n?
True
Let v be 12/30 - (-7282)/(-21420). Let u 