k. Which is greater: -34 or z?
z
Let z = -1.26 - -73.26. Let v = 21 - z. Let n = v + 77. Is -1 > n?
False
Let h = -68.53 - -69. Let z = h - 0.17. Let x be 45/(-66) - (-3)/6. Is z != x?
True
Suppose 0 = 5*y + 4*i + 573, -3*y - i = 2*y + 567. Let a = -3419 - -3307. Which is greater: y or a?
a
Let d be 39 + -40 + 1/2. Is -70 at least as big as d?
False
Let q = 278 - 183. Let r = q + -126. Is r <= -1?
True
Let b = 0.02 - 0.24. Let v = b + -1.18. Let f = -1.48 - v. Do 0.2 and f have different values?
True
Let u = -19 + 2. Let d = u + 27. Let w = -3 + 3. Is w < d?
True
Let c = 1013 + -37494/37. Is c > -1?
True
Let v = 13/31 - 743/1550. Which is bigger: 0 or v?
0
Suppose 0 = -5*x + 3*h - 66, h - 47 = 4*x + 10. Let p = x + 15. Let k = 28 + -82/3. Which is smaller: p or k?
p
Let j(g) = g**3 + 9*g**2 + g + 10. Let c be j(-9). Let o = 1 + c. Suppose 2*k + o*k = 0. Which is smaller: -5/9 or k?
-5/9
Suppose 4*p + 0*p = -4*r - 96, -57 = 2*p - r. Which is smaller: p or -31?
-31
Let s(q) = 144*q - 9. Let k be s(-5). Let m = 18951/26 + k. Let g = -8/13 - m. Is 0.02 greater than g?
True
Let g(s) = -2*s + 2. Let y be g(2). Let f = -127283/5 - -25350. Let u = 106 + f. Which is greater: y or u?
u
Suppose -4*c = -3*s + 124, 3*s - c - 187 = -s. Suppose 0*x = 4*x + s. Does x = -9?
False
Let t(c) = c**3 - 2*c + 1. Let l be t(1). Let d = 307 - 305. Is d bigger than l?
True
Let f = 17.9471 + -0.0471. Which is smaller: 0.2 or f?
0.2
Let t = 11233/6 + -1883. Let h = 319/30 + t. Let x = 0.05 - -0.05. Is x less than h?
False
Let a be (-2)/3 + (-77)/(-84). Let z(d) be the third derivative of -d**5/60 - 13*d**4/24 - 3*d**3/2 + 7*d**2. Let q be z(-11). Are a and q non-equal?
True
Let i(u) = -u**3 - 2*u**2 - 13*u - 10. Let d be i(8). Which is smaller: d or -755?
-755
Let q be 6/(-24)*16/(-1262). Which is smaller: 1 or q?
q
Let v = -44 + 43.04. Let i = v - -1. Let q = i + 1.16. Which is smaller: q or 0?
0
Suppose 5*w = -1808 - 3677. Let c = w + 5466/5. Let l = 33/10 + c. Is l less than 2/3?
True
Suppose 20*k = 19*k + 72. Let u = k - 361/5. Suppose 1 = -o + 2. Which is smaller: u or o?
u
Suppose 8*w = 3*w - 750. Let j be 20/w + 32/15. Suppose 0 = j*d + 5 + 5. Is d equal to 1?
False
Let t(y) = -15*y**2 + 13*y + 39. Let u be t(-4). Which is smaller: -256 or u?
-256
Suppose -6 + 8 = -b, 4*v + 4*b - 116 = 0. Let u = -35 + v. Let z = 0.7 - 0.4. Is u > z?
False
Let x = 0.05 + 0.35. Let w = -0.5 + x. Suppose -5*h = 3*q + 14, -4*q - 13 = -0*h + h. Is w greater than h?
True
Suppose -3*w + 1850 = 1280. Is 191 at least as big as w?
True
Suppose 30 + 12 = -2*y. Which is bigger: y or -6?
-6
Let d(l) = l**3 + 8*l**2 + 3*l - 8. Let i be d(-7). Suppose i = 3*j + j + 3*q, -5*q = 4*j - 20. Suppose 1 + 4 = j*w. Which is bigger: -1 or w?
w
Let s(y) = y**2 + 6*y + 3. Let f be s(-6). Let m(q) = 2*q**3 + 15*q**2 + 8*q + 12. Let c be m(-7). Suppose 2*h - f*h - c = 0. Are -4 and h non-equal?
True
Let t be (-3)/(-24) + -1*4/(-16). Is 0.2 != t?
True
Let u be (-8)/280*(-2)/(1 - 2). Let w = 9 + -8. Which is greater: w or u?
w
Let u(q) = q**2 - 7*q - 6. Let j be u(8). Suppose k = j*k + 10. Let p(x) = -9*x**2 - 21*x + 20. Let c be p(1). Is k greater than or equal to c?
True
Suppose t + 2*t + 9 = 0. Let n = t + -2. Let w = 266 + -271. Is n greater than w?
False
Let o(w) = w**3 - 6*w**2 - 5*w - 9. Let b = 14 - 7. Let l be o(b). Suppose l*s = 4*f + 4, 0*f - 3*f = -s + 3. Is s at most 6/5?
True
Suppose 4*b - 52 = -0*b - 4*r, -71 = -3*b + 5*r. Suppose 4*m - 5*v = b, 2*m - 2 = -4*v + 26. Is 7 >= m?
False
Let u = -150 + 363. Is u less than or equal to 212?
False
Let w be (-27)/(-12) - 1/4. Let i(n) = -n**2 + 7*n - 6. Let l be i(6). Suppose l*g = 3*g. Which is greater: w or g?
w
Let i be (6 - 0) + -642*7/(-7). Is i > 648?
False
Let q(j) = -j + 2. Let p be q(6). Suppose 2*d = n + 3*d - 6, -19 = n - 4*d. Suppose 3*u + 8 = -n. Is p at least as big as u?
False
Let u be (-27)/(-45)*10 - 11. Is -60 <= u?
True
Let a(l) = 16*l + 27. Let h be a(-11). Which is bigger: -151 or h?
h
Let t be 2/10*20/(-8). Let z be (-20)/110 + (-16)/22. Is t <= z?
False
Let s = 3 + 0. Suppose -2*u - 8 = 3*m - 3, s*m - u = 7. Let f = 89/6 - 1687/114. Do m and f have the same value?
False
Let k be 6/4*(-2)/12. Let p = 3.48 + -3.53. Do p and k have the same value?
False
Let d = -3.23 + 2.53. Let n = 23/44 - 1/44. Which is smaller: d or n?
d
Let z = -5842 + 5831. Let a(x) = -x**2 - x + 1. Let p be a(3). Is p > z?
False
Let i(o) = 2*o**3 - 4*o**2 + o + 2. Let r be i(2). Suppose r*u = 3*k - 7, 0 = 3*k - k - 3*u - 6. Let b be 0/(k + 1) - 1. Which is smaller: b or 0.5?
b
Let r be 1 + -3*(-3)/3. Suppose 2*m - i = -4*i, -r*m + 3*i = 0. Is m at least as big as 3/20?
False
Let c be ((-10)/(-4))/((-225)/90). Is c smaller than -4/191?
True
Let t = 326.93 + -327. Is 6 at most t?
False
Let d be (10/30)/((-233)/(-78) - 3). Which is smaller: -124/5 or d?
d
Suppose -g - g - 6 = 0. Let v be 81/5 + g/15. Suppose -2*q = -5*o - 5 - v, -3*o = 3*q. Is q less than or equal to 2?
False
Let s be 15/25 + (-12)/(-5). Let a = 62 - 57. Are a and s non-equal?
True
Suppose 11*p - 8*p + 1497 = 0. Is p less than or equal to -499?
True
Let w = 120 - 237. Which is smaller: w or -118?
-118
Let o be (-6)/(-29)*21/((-3780)/24). Which is smaller: o or 0?
o
Suppose 16 = -4*y, -4*r - y - 4 = 4. Let p(w) = -3*w + 9. Let s(d) = 7*d - 17. Let l(k) = 9*p(k) + 4*s(k). Let u be l(-9). Is u greater than r?
True
Let l = -14 + 19. Let o = 627 - 623. Is l > o?
True
Let j = -1116 + 1218. Is -6 at least j?
False
Let p(f) = f**2 + 19*f + 41. Let q = 56 - 71. Let u be p(q). Do u and -16 have the same value?
False
Let n = 2065 + -192049/93. Which is greater: n or 1?
1
Let l be (-5 - -2)/(3/4). Let g(j) = j**2 + 11*j + 10. Let b be g(-8). Let h be l/(-7) + 78/b. Is -7 bigger than h?
False
Suppose 0 = 10*a - 6*a. Suppose a = 2*j - 1 + 5. Suppose 3*o + 4 = -o. Which is smaller: o or j?
j
Let d be ((-2)/15)/(4 - 165/45). Let s = -28 + 46. Which is smaller: s or d?
d
Suppose 0*n + 2*n - 26 = 0. Suppose -2 - n = -5*i. Suppose i*g - 4*o - 15 = 0, 4*g - 5*o - 3 = 16. Which is smaller: g or 3/8?
3/8
Let u = 97.4 - 96.7. Suppose -w = -2*p + 3, -4*w + 5*p + 1 - 7 = 0. Is w < u?
False
Let k(g) = 4*g + 4. Let a be k(-3). Let v be (-2)/(-4) + a/10. Let m = 6141 - 6140. Which is greater: m or v?
m
Suppose -i = 4*o + 15, 1 = -0*i - 3*i - o. Let m be (2 + -4)*(-477)/18444. Which is smaller: m or i?
m
Let q = -156 + 152. Let u be -3*(q/10 - 1/(-15)). Is u < 2/93?
False
Suppose 0 = 5*a - 10*a + 3*y + 145, -y = 2*a - 69. Suppose a*x = 31*x. Which is bigger: -1/16 or x?
x
Let r = 223/3 + -73. Is -45 greater than or equal to r?
False
Let a(r) = -r**3 + 3*r**2 - 7*r - 3. Let g(b) = 3*b**3 - 6*b**2 + 15*b + 7. Let x(y) = 5*a(y) + 2*g(y). Let l be x(-4). Is 0.1 at most as big as l?
True
Let j = -56 - -56. Suppose -10*g + 9*g = j. Which is smaller: g or 4/43?
g
Let b be 6/210*6/(-6). Which is smaller: b or -5?
-5
Let u(i) = -i - 7. Let v be u(-9). Suppose -v*b = -21 + 5. Suppose 9 = b*o + 1. Which is smaller: o or 2/69?
2/69
Let x = 28 - 4. Let a = 25 - x. Is -1/8 at least a?
False
Let b = 3623/344354 + 3/2062. Is 0 > b?
False
Let u = 1 - -2. Let f(a) = 2*a**2 + 4*a - 6. Let w be f(u). Is 25 > w?
True
Suppose 39*k = 18 - 18. Which is greater: k or 6?
6
Let p be (2/19)/(-1) + 0. Suppose -3*w = -x + 386, -584 = 5*w - x + 56. Let g = w + 126. Which is bigger: p or g?
p
Suppose -v = -0 + 6. Let d be (v/(-2) + -4)*0. Let p = -1867/1969 + 7/179. Is d less than p?
False
Let q(k) = k**3 + k**2 - 6*k - 1. Suppose 18 - 21 = l. Let c be q(l). Is c at least as big as 11?
False
Let y(c) = -3*c**2 - 75*c - 55. Let l be y(-24). Is l at most as big as 12?
False
Suppose 0 = -10*q + 13*q - 15. Suppose -q*t + 2*t + 3 = 3*r, -2 = -4*t - 2*r. Suppose t = 3*y - 21 - 6. Is y > 9?
False
Let o = -35599/9 + 3879. Which is smaller: o or -77?
-77
Let w = 183/3556 - 2/127. Which is bigger: 1 or w?
1
Let s be (-9)/(-45) + 5246/(-25930). Let c = s + 6908/744191. Which is smaller: c or 0?
0
Suppose -5*d + 4*d + 10 = -3*w, 2*d - 2*w = 0. Let p(n) = 2*n**2 + 10*n - 7. Let m be p(d). Which is smaller: m or -31/4?
-31/4
Let a = -4482 + 49344/11. Which is bigger: 1/3 or a?
a
Let n = -44 + 43.9. Let i = 1.56 + -1.64. Which is smaller: n or i?
n
Let t be 3 + 1 - 2