ich is smaller: k or -18?
k
Let i = -25 + 26. Which is bigger: i or 6/7?
i
Let y be 27/36 + (-109)/(-4). Let t = y + -43. Are -15 and t equal?
True
Let h be (1 - -1) + (-21)/(-3). Let w(d) = d - 12. Let v be w(h). Is -4 equal to v?
False
Let q = 10 + -7. Suppose -c + 3*d = -12, -6*c + c = -5*d - 30. Is q at most as big as c?
True
Let a be -3*2/15*5. Let o be 74/(-20) + a/4. Which is smaller: o or -4?
o
Suppose 0 = -5*v + 5*c + 5, 6 = 3*v + c - 5. Suppose d - 3 = -1. Which is smaller: d or v?
d
Suppose 0 = -15*s + 21*s + 90. Which is greater: s or -1?
-1
Let b = 15 - 15.37. Let o = -0.03 + b. Is o greater than 1?
False
Let d be (0 + -1)/((-39)/(-156)). Is d equal to -25/6?
False
Suppose 4*t + 4*z = -t - 26, 2*t + 8 = -4*z. Let c = 7 + t. Is c greater than -5?
True
Suppose -2*l - 5*y - 95 = 0, -4*y + 4 = -0. Is -49 less than l?
False
Let k(x) be the first derivative of -x**4/4 + 5*x**3 + 17*x**2/2 - 18*x - 4. Let q be k(16). Let l = 0 + -1. Are l and q equal?
False
Let c = -11301991323/1084 - -10426192. Let x = c - -2/271. Let o = x - 13/28. Which is smaller: o or 0?
0
Suppose w + 4*a = -a + 24, 4*w - 1 = -a. Is -1/4 at most as big as w?
False
Suppose -26 = -2*f - 4*g, 5*g + 15 = -f + 40. Suppose 4*z - 1 = -f. Which is smaller: z or -5/4?
-5/4
Let x(h) = -2*h - 3. Let p be x(12). Is -28 != p?
True
Suppose -3*d + 12 = 0, -c + d = -3 + 5. Let n be 49/42 + (-1)/c. Is -1/5 at least n?
False
Suppose -2*c + 3*y - 6 = 32, 3*c = 4*y - 55. Let u = c - -25. Are 11 and u unequal?
True
Let b = 57 + -59.06. Let u = b + -0.04. Let y = -2 - u. Which is smaller: -6 or y?
-6
Let d = -1.9 + 12.9. Let r = d + -3. Is -1 less than r?
True
Let z = -2.8 - 0.2. Which is smaller: -0.1 or z?
z
Let c be 1/((1/(-5))/(-1)). Suppose r + 4 = 0, -5*g + 3*r = -c - 2. Let v = 2 - 4. Which is greater: g or v?
g
Let g(f) = f**3 - 3*f**2 - 2*f + 7. Let b be g(3). Is 1/5 >= b?
False
Suppose -6 = 2*f - 0. Let k be 2/(-2)*0 - 2. Which is smaller: f or k?
f
Let o = 16775/648 - 207/8. Which is bigger: 1 or o?
1
Suppose 4*v + 5*c = -51, 4*v + 3*c - 6*c = -27. Let y(l) = -l**3 - 8*l**2 + 7*l - 13. Let s be y(v). Which is smaller: 11/3 or s?
11/3
Let g = -324302/235 - -1380. Which is greater: 0 or g?
0
Let v be -1*-1*1/8. Let q be 0*3/3*1. Is v equal to q?
False
Suppose 2*d = -i + 8 + 4, 5*i = 0. Let p be ((-4)/6)/((-1)/(-3)). Let r be (-31)/(-6) - p/6. Which is smaller: r or d?
r
Let f = -6 - -5. Let d be (2 + 22/(-6))*f. Which is greater: d or 1?
d
Let x = 72 - 88. Which is smaller: x or -15?
x
Let s = -2.9 - -2.9. Which is bigger: 5 or s?
5
Let c = 109 + -65. Let i be ((-2)/c)/(2/8). Which is smaller: i or -1?
-1
Let a(u) = 20*u - 20. Let c(z) = 7*z - 7. Let j(q) = 6*a(q) - 17*c(q). Let s be j(4). Suppose g + 2*w + s*w - 12 = 0, w = g. Is 2 at most as big as g?
True
Let q(p) = -p + 5. Let w be q(5). Let b = 31 + -63/2. Which is smaller: w or b?
b
Suppose -4*q + 29 = -2*q + 5*o, 0 = 5*q + 4*o - 30. Suppose 8 = -4*d, -d - 44 = 2*i + q*d. Let m = i + 10. Which is smaller: m or -10?
-10
Let t = -4/39 - -122/429. Is t less than 1?
True
Let f be 10/(-3)*1/46. Let r = f - 6/23. Suppose -5*c = 2*o + 23, 0*c = -2*o + 5*c + 27. Which is greater: r or o?
o
Let f be 28/(-13) - 1*(-6)/39. Is 4 at most f?
False
Let l = 8 - 5. Let r = l + -2. Let u = -25/161 - 3/23. Is r less than u?
False
Let j = 9.4 + -6.4. Is -1 > j?
False
Let r = -2.9 - 0.3. Let a = r + 4. Let m = a + -0.7. Which is smaller: m or 4?
m
Let s(d) = -d**3 - 6*d**2 - 7*d - 3. Let f be s(-5). Suppose 3*b + 4 = 2*z - 14, 0 = -5*z - b + 28. Are z and f nonequal?
True
Let m = 13 - 21. Let w be -3 - ((1 - 0) + 4). Is m smaller than w?
False
Suppose 0 = -4*d + d - 15. Let p be 2*((-39)/6 + 3). Are d and p unequal?
True
Suppose -4*s - 4*l = 250 - 74, 2*l = s + 32. Which is bigger: s or -39?
-39
Let z = 15 + -11. Which is smaller: z or -1?
-1
Let g(z) = z**3 - 11*z**2 - 10*z + 10. Let a be g(12). Suppose 0*n - 3*n + a = -5*j, 0 = -n - 2*j - 7. Let y be (-2)/(-3)*6/14. Which is smaller: y or n?
y
Let r be 398/(-25236)*(19 - -9). Let f = -2/701 + r. Does f = 0?
False
Let v be (16/(-10))/(6/(-15)). Suppose -4*t - 4*j = -8, -4 + 2 = v*t + 2*j. Is 0 >= t?
True
Suppose 0 = -0*p - 2*p. Let x be ((-2)/(-2))/(0 + 1). Is p > x?
False
Let y = -6/5 - -31/30. Suppose 5*n + 0 = 5. Are n and y unequal?
True
Let l = 0.5 + -0.4. Let s = l - -0.9. Suppose 5 = 5*q - 2*f, -q - 4*q + 3*f = 0. Is s equal to q?
False
Let a = -0.17 + -0.53. Which is greater: 1/2 or a?
1/2
Let z(s) = -20*s + 20. Let c(x) = 3*x + 0 - 4*x + 8*x - 7. Let p(u) = 17*c(u) + 6*z(u). Let r be p(1). Is -1 > r?
False
Suppose 4*k - 6 = -10. Is -2/25 greater than or equal to k?
True
Let n be 1 - (-2 + 5) - -1. Let m = -7654/11 + 695. Let t = 7/22 + m. Is n at least t?
False
Suppose -3*y - 4*f - 10 = 0, -2*f - 3 = 2*y - 3*f. Is 1/12 bigger than y?
True
Suppose 2*x + 2*q = 6, -3*x + 5*x - 2*q - 18 = 0. Let m(h) = -h**2 + 6*h + 1. Let u be m(x). Which is bigger: u or 2/3?
u
Let u = -1 - -1. Let o = 1 - 2. Let s = o + 2. Is u greater than or equal to s?
False
Let s(j) = -j**2 - 5*j + 1. Let h(z) = z**3 - 3*z**2 - z - 2. Let f be h(3). Let k be s(f). Let b = -2/125 + -216/2125. Do b and k have different values?
True
Let x = 3.2 - 3. Let i = -0.3 + x. Let b = -0.1 - 1.9. Which is bigger: i or b?
i
Let q = 18/13 - 532/403. Do 0 and q have the same value?
False
Let n(c) = -c**3 + 8*c**2 - c + 8. Let g be n(8). Let i be g + -2 + 23/12. Let l(x) = -x - 10. Let w be l(-11). Do w and i have the same value?
False
Let y = -4/5 + 1/20. Is y at least as big as -2/7?
False
Let o = 25 + -22. Is -0.1 smaller than o?
True
Suppose 3*t = t + 4. Suppose -3*k = 9, 4*q + t*k = -2*k. Suppose o = q*o + 5*s + 11, -5*o - 3*s + 1 = 0. Is o at least 1?
True
Let v(a) = -5*a - 7. Let x be v(-6). Let p = x + -70/3. Is p at least as big as 6?
False
Let r be ((-12)/(-10))/(1/15). Suppose -9 - 4 = 4*f - 3*q, -3*f = -5*q + r. Suppose 0 = -4*m - m. Which is smaller: f or m?
f
Let h = -0.3 - -0.4. Let y = -8 + 7.9. Let i = y + h. Which is greater: i or -1?
i
Let u be 4/14 - 152/(-56). Suppose -3*t = -4*w - 1, -u*w = -2*t - 5*w + 10. Is t at most 5/3?
False
Let r = 121 + -83. Which is smaller: r or 37?
37
Let z = 355/13 - 27. Which is bigger: z or 1?
1
Let n = -5 - -6. Let c = 21 - 233/11. Which is greater: c or n?
n
Suppose -2*x + 3 = -j + 1, -16 = 3*j - x. Let a be 24/(-90)*j/(-4). Is -1 >= a?
False
Suppose 3*b - 6 - 5 = 2*n, -5*n - 15 = -5*b. Suppose 0 = -a + n*a - 5. Suppose 0 = 5*g - 0 - 30. Which is bigger: a or g?
g
Let c(f) = f**2 + 3*f - 5. Let i be -2 + 1 - (-6)/(-2). Let x be c(i). Let r be ((-2)/(-4)*-2)/((-9)/36). Which is smaller: r or x?
x
Let m = -85/124 - 2/31. Suppose -l - 1 = 1. Let a = -1 - l. Which is smaller: a or m?
m
Suppose 0 = -0*d - 5*d + 3*x - 7, 0 = 4*x - 16. Let w = -3 - -2. Let p be 2/(-8)*(w + -3). Is d bigger than p?
False
Suppose -7*b + 110 - 306 = 0. Let d be ((-126)/b)/((-3)/(-4)). Does d = 5?
False
Let x(p) = -p**3 + 7*p**2 - p + 6. Let y be x(7). Let k be (y/(-74)*-6)/2. Let l = -13/592 + k. Is 1 at least as big as l?
True
Suppose -90 = -5*q - 15. Let c be ((-6)/q - -2) + -2. Let d = -7/30 - c. Which is greater: 1 or d?
1
Suppose -t = 4*t + 5. Let z be (t/(-9))/(5/(-10)). Is 1 less than z?
False
Let m(f) = -f - 1. Let i(w) = w. Let k(r) = -2*i(r) - 3*m(r). Let n(j) = -j**2 - 3*j + 7. Let l be n(-5). Let q be k(l). Which is greater: q or 2/3?
2/3
Let d be -1 - ((-18)/8 + 1). Let r = -13 + 13. Which is smaller: d or r?
r
Let m = -24 - -14. Let s be 3/4*m/15. Let l = -6 + 4. Is s smaller than l?
False
Let t(l) = l**2 + 7*l + 9. Let p be t(-8). Which is bigger: p or 15?
p
Suppose 2*n + 36 - 28 = 0. Let q = -1 + 0. Let u be 2 + (-2 - q) - 7. Which is greater: u or n?
n
Let f = -0.01 + 0.11. Is 11 at most f?
False
Let f(k) = k**2 - 12*k - 15. Let d be f(13). Is d at least as big as -3?
True
Suppose 0*v + 2*v = 4*z - 10, 5*z = -3*v - 15. Suppose 5*n + 4*s + 10 = 2, z = n + 5*s + 10. Which is greater: -2/7 or n?
n
Suppose -11*t = -14*t - 21. Suppose -4*k + 5*f = 3, 2*f - 7 = 3*k + 4. Let c = k - t. Is c equal to -4/7?
False
Let m be 21/14*(-204)/(-9). Which is bigger: 35 or m?
35
Let n(s) = -2*s - 33. Let l be n(-16). Are -1/13 and l nonequal?
True
Let q = -139 + 144. Which is smaller: q or 3?
3
Let w 