se
Let r(f) = -f - 7. Let z be r(-8). Let k = -221233/1976 + 1453/13. Let w = 6/19 + k. Which is greater: w or z?
z
Let j be (3 - -19)/(14/4). Suppose -2*b + 13 = -1. Are j and b non-equal?
True
Let b be (2 + -3 - -4) + -3. Suppose -k + 7 - 1 = b. Which is smaller: k or 4?
4
Let n = -43 + 52. Let l be -1 + (-142)/(-6) + (-6)/n. Which is smaller: 23 or l?
l
Let l = 510 + -1532/3. Let o = 67 + -62.3. Let g = o + -5. Is g greater than l?
True
Let v = -74/3 + 509/21. Suppose -3*x = -4*s, -x - x = -3*s + 1. Let w be -1*(s - 0) - (-1 + -1). Which is bigger: v or w?
v
Let f = 0.029 - -0.861. Let b = 10.09 - f. Let h = b - 9. Which is bigger: h or 1?
1
Let w be -6 - ((-8680)/147)/10. Which is smaller: -6/5 or w?
-6/5
Let o be (-1040)/(-2496)*4/(-610). Which is smaller: o or 0?
o
Let d be ((-132)/14)/(19/133). Let z be 4*51/d + 3. Is z at most as big as -1?
False
Let i be (-8)/30 - 2/5. Suppose -4*l = -32 - 8. Let m be (-6)/l - (-6)/(-15). Is m not equal to i?
True
Let z(r) = 3*r**2 + 23*r - 1. Let x(n) = -n**2 - 11*n. Let d(a) = -5*x(a) - 2*z(a). Let f be d(9). Let m be (-6)/(-4)*(-4 + f). Is -8/5 less than m?
False
Let m = 80/3 - 26. Let r = 963.2 + -963. Is m >= r?
True
Let b = -8 - -11. Suppose -b*s + s - 28 = 0. Let o = -10 - s. Which is bigger: 0.1 or o?
o
Let d = 0 + -141. Let n be 1/4 + d/4. Which is greater: -34 or n?
-34
Let w be ((-567)/(-30))/9*6/(-9). Let t = w - -33/20. Is -1 greater than or equal to t?
False
Suppose -32*s + 102 = -38*s. Which is bigger: -16 or s?
-16
Let j be 0/(1 + 1*-2). Let o = -16 + 17. Suppose o = 2*s - 3, 0 = d - 3*s + 6. Are j and d equal?
True
Let o = 41176/75 + -549. Which is bigger: 1 or o?
1
Let t = 4484/7 + -260009/406. Let y = 1/87 + t. Which is greater: -0.05 or y?
y
Let y(o) = -o**3 - o**2 + o + 2. Let i be y(0). Suppose -1 = 5*a + z - 3*z, 0 = i*a + 4*z - 14. Let q = 607/60 - 41/4. Which is smaller: q or a?
q
Let b = -2.4 + 2.5. Let i = 5 - 4.9. Let g = 0.1 - i. Are g and b non-equal?
True
Suppose 5*y = 5*t - 4*t - 15, 5*y = -t - 5. Let h(r) = 3*r + 5. Let o(p) = -3*p - 6. Let i(m) = 6*h(m) + 5*o(m). Let v be i(t). Does v = 14?
False
Let h = 0.016 - 107.016. Is h greater than or equal to -1?
False
Suppose d - 3*k - 23 = -k, 5*d + k = 115. Let o(u) = 6*u**2 + 2*u + 1. Let j be o(-2). Does d = j?
False
Let s(n) = -6*n - 24. Let i be s(-4). Suppose 0 = 8*c - 3*c. Is i equal to c?
True
Let k(a) = 10*a**2 - 2*a - 2. Let i be k(-1). Suppose 46*o - 51*o = -i. Does o = 4/7?
False
Let d(y) = -40*y + 6. Suppose -3*m = -1 - 2. Let p be d(m). Which is smaller: p or -35?
-35
Let u = 133 - 127. Suppose u*p - 12 = -0*p. Is p < 1/2?
False
Let z(w) = -w + 12. Let d be z(13). Is -1/128 > d?
True
Let l(s) = -5*s**2 - 7*s + 1. Let t(c) = 11*c**2 + 15*c - 2. Let h(u) = 13*l(u) + 6*t(u). Let o be h(3). Let n = o - 7. Which is smaller: -3 or n?
-3
Let b = -337 - -331. Is b at most 8/7?
True
Let x(t) = -8*t. Let r be x(0). Suppose r*n + 22 = -n. Is n greater than -20?
False
Suppose -25 = -4*d + 3*d - a, 4*d = 5*a + 127. Is d <= 31?
True
Suppose -17*m + 285 = -276. Let z = 16 - -17. Is z at least m?
True
Suppose 0 = 3*d + 3*k - 27, 0 = -2*d + 2*k - 2 - 0. Suppose 2*t = -4*j + d, 5*t + 4 = -j + 5. Which is smaller: 24 or j?
j
Let o be 4/(-20) + 4102/35. Suppose 3*k - o = 6. Which is smaller: k or -2?
-2
Let x = -336 + 339. Does x = -0.4?
False
Let g = -6982/161935 + 24/695. Is g > -0.2?
True
Let z be 3 + 4*3/(-6). Let l = 6 - 14. Is z at most l?
False
Let z be 6 + 674 + (0 - 1). Let d = z - 1628. Let b be d/(-585) + 2/(-9). Which is smaller: b or 1?
1
Let h be (322/69 - 5/1)*-2403. Are 802 and h nonequal?
True
Let l = 27 + -48. Let q = -17.112 + 0.112. Let i = l - q. Is 0.1 smaller than i?
False
Let q = -14 - -14.13. Let n = q + -0.13. Is n bigger than 5?
False
Let q = 504 - 503. Let k be ((-36)/8)/(150/8). Is k smaller than q?
True
Let z be 1*6/((-4)/(20*-2)). Is z greater than or equal to 55?
True
Suppose -3*v = -4 - 5. Let f = 77 + -58. Suppose -4*u + 5*p = f, 2*u - u - 8 = -v*p. Is u less than 0.08?
True
Let j = -1123 - -1104. Suppose 3*c = -0*c + 6. Are j and c non-equal?
True
Let p = -0.17 + 0.17. Is 7.7 greater than or equal to p?
True
Let k = 1 - 1. Let m = -64.98 + 65. Is k at most as big as m?
True
Let m = 38.72 + -18.72. Which is greater: 0.07 or m?
m
Let z = 11 + -19. Let p(k) = -k**3 + 10*k**2 - 2*k + 30. Let a be p(10). Suppose 7 = -a*b + 9*b. Which is smaller: b or z?
z
Let b = -69688991/525 + 132741. Let x = b + -4/25. Is -2/15 equal to x?
False
Let g = 2816/3 - 916. Let h be 3/12*2*46. Which is smaller: g or h?
g
Suppose 29 = 5*k + 14. Suppose 3*p - 5 = -c, -3*p = 2*p - k*c + 15. Let i = -1/21 + 29/168. Which is smaller: p or i?
p
Suppose 0 = 38*w - 43*w - 15. Let f be 26/6 + (w - 1). Which is smaller: 1/7 or f?
1/7
Suppose -2*l - 798 = 4*y, 10*y = 6*y - 16. Is l bigger than -393?
True
Let l = 4 + -4.1. Let q = l - -2.1. Is q less than 2/9?
False
Let g = 119 + -106. Is -2/3 smaller than g?
True
Let a be -2 + 2 - (-1 + -2). Let i = 2374/9 + -26468/45. Let y = i + 326. Is a greater than or equal to y?
True
Let t = 10 - 2. Let z be (t/(-26))/(12/(-6)). Let c(p) = -4*p - 85. Let y be c(-21). Are y and z unequal?
True
Suppose -8*d - 2003 = -1387. Is d at most -78?
False
Let y(g) = g**3 + 8*g**2 + 9*g + 2. Let v be y(-7). Let u = -40 - v. Does u = -29?
False
Let y = 442 - 551. Is y at least as big as 1?
False
Suppose -90 = -3*i + 45. Suppose 4*u - 200 = -3*l, 3*u = 5*l - 4*l - i. Is l greater than or equal to 60?
True
Suppose -433*s = -406*s + 486. Is s greater than 0.7?
False
Let g = -0.92 - -0.8. Let r = 0.03 + g. Let q = -231 + 231. Which is greater: q or r?
q
Let l(g) = -g**2 + 3*g + 4. Let a = 13 + -9. Let q be l(a). Let s be -2 + (-1)/9*-14. Which is greater: s or q?
q
Let j be (-2 - -1)/((-2)/516*-6). Which is smaller: -45 or j?
-45
Let d(i) = i**3 + 4*i**2 - 9*i - 32. Let c be d(-7). Which is smaller: -0.1 or c?
c
Let x be (-44)/(-3)*-2*(-78)/(-4). Let g be 12/66 - (-126)/x. Is g at least 0?
False
Let k(c) be the first derivative of -c**5/60 - 3*c**2 - 6. Let b(t) be the second derivative of k(t). Let f be b(0). Is -2/17 > f?
False
Let b = 496 + -298. Let p = 148 - b. Is -49 at least p?
True
Let y(v) = 13 - 12 + 12*v - 15. Let k be y(4). Which is smaller: 33 or k?
33
Suppose 5*v = -2*i - i - 1351, 5*i - 3*v + 2263 = 0. Is -1354/3 < i?
False
Let q = -6 + 0. Suppose -15*i + i = -112. Let n be q/i*(-8)/180. Which is greater: n or 1?
1
Let a be (-52)/8*(-13 + 9). Is 105/4 greater than a?
True
Let u(i) = -i**2 + 4*i - 1. Let s be u(4). Let y(o) = o**3 - 8*o**2 + 9*o - 9. Let g be y(7). Let d = 3 - g. Which is smaller: d or s?
d
Let t = -22/7641 + 15396857/84051. Let q = t + -183. Let j be (6 - 5)*(4 - 3). Which is smaller: j or q?
q
Let h = -32.73 - 0.07. Are -0.1 and h nonequal?
True
Let a be (-12)/30 + (-5)/(25/18). Let b = -4 + 8. Suppose 0 = -b*d + 7*d. Is d greater than a?
True
Let a(k) = k**3 - 8*k**2 + 10*k + 11. Let u be a(6). Do u and 27 have the same value?
False
Let c = 11.99442 + 0.00958. Let h = c + -0.004. Which is smaller: h or -0.2?
-0.2
Let i(n) = 3*n + 75. Let s be i(-21). Which is bigger: 0.5 or s?
s
Suppose 0 = -5*l - 261 + 1406. Are 227 and l equal?
False
Let o(k) = 15*k + 101. Let l be o(-9). Is l > -34?
False
Let x be 106/(-2*(6 + -2 + -3)). Let q = -3592 + 10621/3. Let o = q - x. Are 1 and o non-equal?
True
Let f(z) = -z**3 - 48*z**2 - 23*z + 240. Let v be f(-47). Which is smaller: v or -887?
v
Let y = 70 + -73. Let k be 11/62 + y/18. Which is smaller: 0 or k?
0
Let g(o) = -o**3 + 17*o**2 - 5*o - 6. Let b be g(6). Let h be ((-6)/(-8))/(243/b). Suppose 0 = -2*a + a. Do a and h have different values?
True
Suppose -5*l - 3*k = 48, 2*l - k + 6 + 11 = 0. Let x be (-2000)/72 + 2/l. Is x at least as big as -27?
False
Let j be 3/(-6) + (-236)/(-400). Let y = j - -4/25. Which is smaller: -9 or y?
-9
Suppose 80 = -6*p + 2. Suppose 0 = 5*b - w + 50, 4*b + 3*w = 10 - 69. Is b at least as big as p?
True
Suppose -2*p - 5 + 35 = 0. Let n be ((-50)/p)/((-4)/6). Which is smaller: n or 7?
n
Suppose 0 = -2*p + 4*w - 8, 2*w + 3 = 4*p - 5. Let o be 6/18*1 - p/3. Is 1 less than or equal to o?
False
Let k(l) = 186*l - 39. Let m be k(3). Which is smaller: 520 or m?
m
Suppose -6*d = -2*y - 2*d + 414, -3*d - 416 =