1 - 3 = 0. Suppose 5*k - 4*v + i = -s*v, -3*v + 12 = 4*k. Which is smaller: k or -3?
-3
Let j(f) be the second derivative of -1/6*f**4 + f - 1/6*f**3 + 0 + 1/20*f**5 + 0*f**2. Let m be j(-1). Is m bigger than -1/2?
False
Let s(g) = 12*g**3 + 2*g + 1. Suppose 6 - 16 = -5*m. Suppose -m*p = 2*p - 4*h - 12, 4*p + 4*h = -20. Let i be s(p). Do -12 and i have the same value?
False
Suppose 2*z - 3*n = 6*z - 8, 0 = -5*n + 20. Let m be (24/40)/((-3)/(-45)). Let d be 6/m + (-264)/126. Which is smaller: z or d?
d
Let g = -512 - -539. Is 254/9 != g?
True
Let o = -116 + 72. Let b = 160.9 - 161. Do o and b have different values?
True
Let z = -14 - -18. Suppose -2 = -2*c + z. Let l be 2/c - (-144)/(-297). Is l at least as big as 1?
False
Let x(c) = -c**2 - c + 3. Let h be x(-2). Do 6/67 and h have the same value?
False
Let j = 16 - 14. Let o(c) = -c**2 + c + 4. Let x be o(j). Suppose -2*v = -0 - x. Are 2/3 and v equal?
False
Let m(f) be the third derivative of f**4/4 + f**3/6 + 9*f**2. Let p be m(3). Which is smaller: 18 or p?
18
Suppose 3*r = -r + 16, 5*r = -5*j + 65. Let l = 12 - j. Let b be 63/(-20) - l/12. Which is smaller: -2 or b?
b
Suppose -3*n + 0*l + 2*l = -361, -4*l - 137 = -n. Is n at least 118?
False
Let j(z) = 3*z**3 - z**2 + 1. Let y be j(1). Let u be -3*(2 - y)*(5 - 6). Do -17/5 and u have the same value?
False
Let j(k) = 10*k - 12. Let r be j(0). Is -6 at least r?
True
Let z = 92077/4 + -22795. Let p = z + -61901/276. Which is smaller: p or 0?
p
Suppose -5*q - 3 + 28 = 0. Suppose h + 3*k + 16 = 6*h, -q*k - 10 = 0. Let w be 12/9*4/(8/3). Is h <= w?
True
Let c(r) = -r**2 - 4*r. Let u be c(-4). Let l be u + 1 - (-3)/1. Which is bigger: l or -14?
l
Let d = 27.3 - 13.2. Let c = 14 - d. Let q = 1 + -1. Which is smaller: c or q?
c
Let j(d) = -29*d - 93. Let r be j(-3). Is r equal to -5?
False
Let f = 0.14 + -19.14. Let c = 18.8 + f. Let w = -5 + 4.6. Which is bigger: w or c?
c
Let i be 7*14/7693*(-2 - -3). Which is smaller: 1 or i?
i
Let a(p) = -3*p - 12. Let x(b) = -4*b - 13. Let h(v) = 5*a(v) - 4*x(v). Let i be h(12). Suppose -16 = 2*w + u, -i*u = 5*w + 3 + 34. Is w > -9?
False
Let j = -27 + 33. Let i = j + -13. Which is bigger: i or 1/4?
1/4
Let f be -6 + 210/65*2. Which is smaller: f or 0?
0
Suppose -3*l + 153 = l - 3*j, -j - 205 = -5*l. Let b = 19 - l. Which is smaller: -24 or b?
-24
Let a = -3336/521053 + -2/1937. Is a at most 0.2?
True
Suppose -10*f = -6*f + 8, -822 = 4*i + f. Is -1021/5 less than i?
False
Let h = 430 + -429.73. Is 8 bigger than h?
True
Let p(i) = i**2 + 34*i - 78. Let o be p(-15). Which is smaller: -365 or o?
-365
Let y = -26 + -32. Let b = y - -60. Let h be 2 - 2/2*-1. Is h <= b?
False
Let g be (-6)/36 - (-86)/12. Suppose 3*j - 11 = 1. Let m = j - g. Is -5/2 at least as big as m?
True
Let o = -14/129 - 1190/129. Are o and -10 equal?
False
Let a = 0.3 - 10.3. Let c = 10.19 + a. Let s = c - 0.22. Which is smaller: 3 or s?
s
Let s = 2.2 + -2. Let o = 1 - -3. Let q = -3.9 + o. Which is smaller: q or s?
q
Let c be -2 - -1 - (0 - 9). Suppose -3*k + 5*k - c = 0. Suppose -2*x = k*r - 30, -r + 4*x + 7 = -5. Which is greater: r or 9?
9
Let q = 15 + -13. Let m be 1/q - 3/(-2). Let r be 12/(-42) + 22/28. Which is bigger: m or r?
m
Let t(u) = -u - 2. Let g(f) = 3*f + 5. Let w(k) = 2*g(k) + 5*t(k). Let y be w(3). Suppose y*s - 13 = -4*h, s - 7 = -s - h. Is -1 equal to s?
False
Let x(w) = -w**3 - 2*w**2 + w + 3. Let b be x(-3). Suppose 2*l + l = b. Let g = -6.6 - -7. Are l and g equal?
False
Let c = -0.56 - -0.596. Let g = c + -0.136. Is -9/4 greater than or equal to g?
False
Suppose -25 = -5*v + j, 2*v - 27 = -5*j + 10. Suppose v*w + 16 - 4 = 0. Which is bigger: -17 or w?
w
Let o(r) = -r**2 - 4*r + 4. Let m be o(-4). Let q(f) = -13*f**2 + 3*f + 1. Let l be q(m). Let a = l + 2151/11. Which is bigger: 2 or a?
2
Suppose -45*o - 1721 = 4264. Which is bigger: o or -129?
-129
Let y(a) = 9*a - 87. Let x be y(-27). Is 0 != x?
True
Let f be 26 - 21 - (2 - 26/(-8)). Are 0.02 and f equal?
False
Let z = 2652/64531 - -2/1373. Are 0 and z nonequal?
True
Let h = -40 - -278/7. Which is bigger: -62 or h?
h
Suppose 23*w = 5*w - 18. Which is greater: 3 or w?
3
Let v(q) = -q**2 + 3*q - 7. Let s be v(7). Let w = -26 - s. Let c be (35/(-21))/((-3)/w). Is 2 equal to c?
False
Let y = 42 + -44.04. Let n = y + 2. Is -1/2 != n?
True
Suppose -2*b - 14 = -p, -p + 4*b = -4*p - 8. Suppose -p*j = -51 + 47. Which is bigger: j or -1?
j
Let y = -734 - -734. Do y and -1/154 have the same value?
False
Let l = 532 - 379. Let u = 82 - l. Which is greater: u or -1/2?
-1/2
Let v = -1023 + 974. Is v < 2/5?
True
Let s = 0.17 - -0.03. Suppose -5*b = 5*w, 0*w = -b - 3*w - 4. Which is smaller: b or s?
s
Let h be (3 - 3)/(-2 + 4). Let d be -1 - 1/(-1)*h. Is d less than -2?
False
Suppose -5*w - 20 = 2*r - 2*w, r + 3*w + 10 = 0. Let z(v) = -v**2 - 6*v + 5. Let g be z(r). Is -35 not equal to g?
False
Let c = 0.1 - 0. Let v = -438 - -441.9. Let o = c + v. Is o <= -1?
False
Let p = 0.1 + -1.1. Let m(h) = 2*h**2 - 9*h - 11. Let k be m(8). Let n be ((-4)/(-80))/((-6)/k). Is n smaller than p?
False
Let f(g) = 12*g - 2*g**2 + 25 - 44 + 19. Let i be f(6). Is i equal to -1/8?
False
Suppose -6*c + 4*c = -i + 53, 3*c + 192 = 4*i. Is 39 less than i?
True
Let p(j) = -2*j**2 + 5*j + 7. Let l be p(4). Let w be (78/(-18) - l)/(2/39). Is w smaller than 72/5?
True
Let d(j) = 2*j - 16. Let a = 66 - 58. Let s be d(a). Is -6/41 less than or equal to s?
True
Let x(o) = o**3 - o**2 + o + 167. Let h be x(0). Let k = h - 327/2. Is k > 3?
True
Let k = -113/3 - -5986/159. Which is greater: k or -0.2?
k
Let a(r) = -9*r**3 - r**2 + 2*r - 1. Let q be a(1). Let c be 20*(-5)/(-40)*2. Let u(y) = y**2 - 3*y - 19. Let n be u(c). Do n and q have the same value?
True
Let l = 492 + -491. Which is smaller: l or -1/326?
-1/326
Let l = 100179/76 + -1318. Let o be ((-2)/5)/(38/(-10)). Let a = l + o. Which is bigger: -1 or a?
a
Suppose 4*h = 3*i - 1 + 12, h - i - 3 = 0. Suppose -5 = h*r + 3*r. Let o = -43/133 + -2/19. Which is smaller: o or r?
r
Let k = 6 + -7. Let z = -308/9 - -1369/45. Do z and k have different values?
True
Let c = 420 + -420. Which is greater: c or 363?
363
Suppose 3 = -8*u + 43. Are u and -0.17 unequal?
True
Let r = 0.23 - -0.49. Let j = r + -0.02. Which is greater: j or -4?
j
Suppose -22*l + 6233 = l. Does l = 269?
False
Suppose 0 = -5*n + 15, 3*q - q = 2*n + 24. Let b = q + -16. Let s be (-3 + 5)/(-1) - b. Which is greater: s or -11/6?
s
Let l be -1*(8 - 7) + 57/45. Is 0 less than or equal to l?
True
Let a = 4219 + -4224. Let x = 4.1 + -0.1. Does x = a?
False
Let q = 194 - 161. Let w = q - 33.28. Is 3/5 > w?
True
Suppose 14*k - 15*k = 4*q + 463, 5*q + 917 = -2*k. Which is smaller: k or -452?
-452
Let m be (-25)/(-10) - -1 - (-6)/4. Suppose -4*c + m = -7. Is 22/9 greater than c?
False
Let r = -12.6 - -13. Let w = 0.26 + 0.24. Which is smaller: r or w?
r
Suppose 4*l + o + 2*o = 6, 0 = 4*l + 2*o - 4. Let m be -1 + 575/(-80) + 8. Which is smaller: m or l?
m
Let z be 6/(5220/(-595)) + 8/12. Let i = -2/277 + -540/1939. Which is greater: i or z?
z
Let c = 0.095 + 0.905. Which is bigger: 6 or c?
6
Let i be 2/(-6 - (1 - 6)). Are 0.2 and i nonequal?
True
Suppose 0 = -7*i + 6*i + 6. Let p(x) = x**3 - 8*x**2 + 11*x + 6. Let y be p(i). Is 2.7 at most as big as y?
False
Suppose 31*s = 33*s + c + 4, 6*s + 8 = -2*c. Let i be 2/(-10)*10/164. Which is smaller: s or i?
i
Suppose -4*z - 12 = -4*p, 3*p - 3*z + 8*z = -15. Suppose p*f + 90 = 2*f. Let l be f/63 - 2/(-7). Is -1/3 != l?
True
Let c = 17 - 15. Suppose 0 = -c*l - 3 + 5. Let o be (-3)/(-2) + 110/(-60). Which is greater: l or o?
l
Let n = -10273/28 + 367. Are -1 and n equal?
False
Let u(q) = -q**2 + 3*q + 2. Let b be u(5). Let k be b - (-2 - 0 - -1). Suppose -4*x = 4*c + 44, -x - c = -5*x - 24. Do x and k have the same value?
True
Let c = 429 - 434. Which is smaller: -2/11 or c?
c
Suppose -5*s + 3985 = 5*h, -2*h + s = -5*h + 2399. Which is bigger: 803 or h?
803
Let m(q) = q**2 + 5*q - 4. Let o be m(1). Let r be 44*(o - (-39)/(-20)). Suppose -a = 2*b + 3 - 8, 4*a = 4*b + 8. Is b <= r?
True
Let x(k) = -4*k + 20. Let o be x(10). Let y = o - -13. Which is smaller: y or -6?
y
Let c be 2 - (-2260)/(-16) - (-1)/4. Are c and -139 equal?
True
Let v(k) = -k**3 - 71*k**2 - 67