-0.04. Let d = w - 0.55. Let h = 12/25 - 134/175. Which is bigger: h or d?
d
Let h = -1380 - -154559/112. Does -1 = h?
False
Let x(s) = 5*s + 40. Let d = -6 + 4. Let t(z) = -z - 10. Let n(i) = d*x(i) - 9*t(i). Let k be n(9). Do k and 3/10 have the same value?
False
Suppose 0 = 9*o - 6 - 12. Let m be o*(-129)/(-30) + 8/20. Let z(j) = j**2 + 10. Let v be z(0). Is v bigger than m?
True
Let i(c) = -43*c - 43. Let r be i(4). Is r greater than or equal to -215?
True
Let y = 322 - 276. Are y and 44 unequal?
True
Let a(m) = -2*m. Let v(r) = -r - 1. Suppose -3 = -j - 4*n, 5*j - 4*n - 6 = 9. Let b(z) = j*v(z) - a(z). Let w be b(-3). Is w greater than or equal to 0?
True
Let h = 6 + -3. Let l be h + 10 + 0 + 0. Let s be (-2)/l - 4/(-26). Is s != -4/9?
True
Suppose -2*v - 10 - 4 = -5*g, g + 5 = 3*v. Suppose -5*z + w = -3*w + 13, -g*w + 8 = 0. Let l be (1/18)/(3/(-48)). Are z and l unequal?
True
Suppose -3*l - 18 = -54. Let h be (34/(-36))/(4/l). Let g = -5/2 - h. Which is bigger: g or -8?
g
Suppose -2*r - 3*y - 9 + 2 = 0, 4*y + 12 = -4*r. Which is smaller: -45/13 or r?
-45/13
Suppose 3*y - 7*y = a - 14, -2 = 2*y + 5*a. Let o be (-264)/160 - (-5)/y. Is -1 at least as big as o?
False
Let n be (33/110)/(6/35). Which is smaller: -0.02 or n?
-0.02
Let c(y) be the second derivative of -y**4/12 - 5*y**3/6 - 5*y**2/2 - 2*y. Let i be c(-3). Which is bigger: i or -3/70?
i
Suppose s - 1 = -0. Let p(z) = z**2 - 12*z + 4. Let h be p(10). Let c = h - -133/8. Is c <= s?
True
Let a = 0.342 - 0.022. Let s = 25 - 25.22. Let l = a + s. Is -2 less than l?
True
Let n(w) = w**2 - 32*w + 80. Let g be n(29). Let j = -1.34 + 0.34. Is g smaller than j?
True
Let w(o) = -o**2 + 2*o + 128. Let a be w(0). Let b be (91/(-28) + 3)/(10/a). Is -4 < b?
True
Let i(o) = -3*o**3 - 3*o**2. Let v be i(-2). Let p(y) = y**3 - 6*y**2 + 4*y + 16. Let a be p(5). Is a > v?
False
Let x(y) = -y. Let d(t) = 5*t - 4. Let b(z) = -d(z) - 3*x(z). Let a be b(-11). Are 25 and a unequal?
True
Suppose 2 = 2*o + 10. Let w be o/(-2) + (-68)/(-21). Let y = 32/7 - w. Does y = -0.2?
False
Let r = -2485 + 2218. Is -267 greater than or equal to r?
True
Let y = -1478311/131 - -11285. Which is greater: y or -1?
y
Let a = 22 + -23. Let g = -270/11 - -11329/462. Which is smaller: a or g?
a
Let y be 28/(-70) + (-626)/10. Is -60 <= y?
False
Let p(l) = 2*l + 15. Let q(m) = m**3 + m**2 + m - 7. Let s be q(0). Let n be p(s). Which is greater: n or 3?
3
Suppose -2*k - 3*k = 2*x + 17, 2*x + 2*k = -8. Let c(m) = m**3 - 4*m**2 + 3. Let d be c(3). Let v be ((-8)/(-30))/(4/d). Is v less than x?
False
Suppose -b + 237 = -4*y + 604, 4*y = -3*b + 371. Is y at most as big as 89?
False
Let l be ((-12)/7 - (-30)/(-105)) + -23. Is -28 bigger than l?
False
Let f(a) = -a**3 - 2*a**2 + 2. Suppose -3*z + 2*d - 12 = -2*z, 5*d - 25 = 0. Let h be f(z). Let u be -2 - (-3)/(9/14). Does u = h?
False
Let o be 5/(50/6) - 14/(-35). Which is smaller: o or -100?
-100
Suppose -8 = u - 0*u + p, -2*u = -3*p + 26. Is -9 <= u?
False
Let f = -14327/23 - -623. Let s = -13/75 + 241/525. Which is smaller: f or s?
f
Suppose 0 = 5*u - 82 - 18. Let y = 22 - u. Suppose 0 = b + 2*c - 0*c + 4, -3*b = -y*c - 12. Do -4/9 and b have the same value?
False
Let g = 332/3 - 110. Which is smaller: -57 or g?
-57
Let x(s) = 2*s**2 - 27*s + 18. Let z be x(13). Is z less than 12?
True
Suppose 2*i + 2*h - 41 - 7 = 0, 4*i - 108 = -2*h. Let v be 28 - 2*(-1)/2. Is v equal to i?
False
Let o be ((-15)/5)/(-3) + 101. Let f = -101 + o. Is 3/16 less than f?
True
Let f(k) = 9*k + 128. Let y be f(-11). Are y and 0 nonequal?
True
Suppose -6*b + 2*b = -8. Suppose -p + 4*c - 4 = 0, 0 = -5*p + b*p - c - 12. Let x = -8 - p. Are x and -4 non-equal?
False
Let c be (-434)/(-4) - (-3)/2. Let t = c + -142. Is -31 smaller than t?
False
Let y = -263.93 + 262. Let l = y - 0.07. Let o = l + 1.5. Which is bigger: -2 or o?
o
Let t = 40 + -70. Let q = -49 - t. Let b = 18 + q. Is -5/6 less than or equal to b?
False
Let g(k) = -k**3 - 6*k**2 + 6. Let t be g(-6). Suppose -t + 7 = n. Is n less than -1?
False
Let o = -108308/471 + -112/157. Let i = -4922/21 - o. Is -4 less than or equal to i?
True
Let w = 0.8482 + -1.4982. Let i = -0.2 - -0.3. Which is greater: i or w?
i
Let w be -2 - (-2 - -11) - -4. Let f be w/(-105)*(-15)/234. Does 1 = f?
False
Suppose 0 = -s + 4, -3*j - 2*s + 2 = -3*s. Suppose -j*v + 161 = 5*q, -v - v = -2*q + 56. Suppose n - 2*p - 14 = -4, -4*n + q = p. Which is greater: 9 or n?
9
Let r = 14 - 11. Suppose r*y + 26 + 6 = 4*k, 88 = -5*y - 2*k. Let b(v) = v**2 - 10*v - 1. Let x be b(8). Which is smaller: y or x?
x
Let c = -0.44 + 80.8. Let l = -80 + c. Are l and -3 equal?
False
Let z = 676 + -675. Is z >= 1/1496?
True
Let u = 14 + -9.8. Let w = u - 0.2. Let y = w - 4.3. Is y != -1?
True
Let f = 1143 + -1142.9. Is f greater than -23.3?
True
Let f = 43 + -40. Suppose 0 = -l - l - 3*m + 10, -2*l + 10 = -f*m. Does 1 = l?
False
Let c be (-4)/(-8) + (-12554)/(-185094). Let u = c + 41/791. Let r = -7/18 + u. Is 0 bigger than r?
False
Let c = 4.9 - 5.188. Is -2/3 less than c?
True
Let x = -188 + 187. Do -3/41 and x have the same value?
False
Let l be 12/21 + 120/280. Let q be ((-4)/(-10))/((-46)/(-10)). Is l > q?
True
Let b = 258 - 258. Which is smaller: 6 or b?
b
Let i = -176 + 183.1. Let y = i - -4.9. Which is smaller: 2 or y?
2
Let a = -656 - -454. Which is smaller: a or 1?
a
Let r = -7 + 4. Let n = 13 + r. Suppose -3*k = -n - 2. Which is bigger: 5 or k?
5
Let u = -453 - -454. Which is bigger: 101 or u?
101
Let w = 1 + 2. Suppose 0 = -h - 2*p - 1 - 3, 11 = -4*h - 3*p. Let q be h/(-6)*(6 - 3). Are w and q unequal?
True
Let h = 1461 - 1746. Is -284 at most h?
False
Suppose 0 = 4*a + 2*z - 18, 30 = 4*a + 3*z - 5*z. Which is smaller: a or -5?
-5
Suppose -8*q - 120 = -3*q. Let d be (-3)/16*2/q. Which is smaller: 0 or d?
0
Let m be 1125/380 - 78/26. Is m smaller than 3/5?
True
Let p = -513 - 58. Which is greater: -570 or p?
-570
Suppose 10*x - 7*x = -3, 4*x + 4 = -5*m. Is m > -2/21?
True
Let y = 34 - 24.6. Let j = -7.9 + -1.1. Let n = y + j. Which is smaller: 0.1 or n?
0.1
Let b(q) = -2*q - 14. Let z be b(-7). Suppose x + x + 2*a + 120 = z, -5*x = a + 300. Is -59 equal to x?
False
Suppose -65*d = -67*d + 82. Does d = 44?
False
Let h = 583 + -637. Which is bigger: h or -50?
-50
Let l = 128 + -127.9. Let z = 1.2 - 7.2. Is l > z?
True
Let y = 2560 - 2409. Are y and 151 unequal?
False
Let u(r) = -3*r - 8. Let i be u(-5). Suppose 2*q - 22 = -4*t, 3*q - 6*t + 2*t = -i. Which is greater: q or 5?
5
Let i(u) = -2*u**2 + 16*u - 60. Let y be i(5). Which is bigger: y or -29?
-29
Let g(y) = y. Let s(t) = t**3 + 17*t**2 + 18*t + 22. Let z be s(-16). Let u be g(z). Let l be 1*(2 - 3*4). Is u greater than l?
False
Let d = 11 - 6. Suppose 0 = u - 5*x - 5, -d*u + 2*x - 4 = 6*x. Let z = -17/7 + 15/7. Which is smaller: z or u?
z
Let j = -19 + 20. Is j at most 0.92?
False
Let x = 0.13 + -0.225. Let k = x - 0.005. Is k < 46?
True
Let m = 47657/66 + -1445/2. Is -1 smaller than m?
True
Let l = 2149 + -2150. Which is smaller: l or -1/2?
l
Suppose 0 = -12*y + 6*y - 804. Let c = y + 37. Is c > -97?
False
Let f be -1*(-4 - -33 - -2). Let z = -31 - f. Which is smaller: 4/9 or z?
z
Let f = 45 - 317/7. Let m = -133.4 - -140.4. Which is bigger: m or f?
m
Let c = -42 - -45.75. Let v = c + 0.25. Which is greater: 3 or v?
v
Let x = 211 + -211.1. Are x and -211 non-equal?
True
Suppose 0 = 3*y + 29 - 5. Let k be -9 - (0 - (-2 - 0)). Let w = k - y. Is w <= -4?
False
Let d(j) = 2*j - 3. Let k be d(3). Let h(s) = -s**3 + 2*s**2 + 3*s + 3. Let z be h(k). Suppose -5*i + 2*y = -2, 2 = y + z. Do 4/11 and i have the same value?
False
Let n = 3.04 - 0.04. Let m = -0.105 + -72.895. Let k = 64 + m. Which is greater: n or k?
n
Suppose -5*s + 7*s - 454 = 0. Which is smaller: s or 1?
1
Let u(w) be the third derivative of w**5/60 - w**4/3 - 13*w**3/6 - 10*w**2. Let c be u(9). Is -3 < c?
False
Let v = -137 - -143. Suppose -5*a - 2 = -5*r + v*r, 6 = -3*r. Let k be (2/4 + 1)/3. Which is smaller: k or a?
a
Suppose 2*c + 15 = 13. Let f = -0.625 - -0.025. Are c and f non-equal?
True
Let w(r) = 12*r - 21. Let j be w(0). Is -20 greater than or equal to j?
True
Suppose 18 = 3*z + o - 4*o, 0 = -5*z - 4*o - 15. Let w be (10/340)/(5/100). Is w > z?
False
Let t = 