than k?
True
Let o(s) be the third derivative of -s**5/60 - s**4/4 - 7*s**3/6 - 2*s**2. Let m be o(-4). Let n be -2*1/m*-1. Which is smaller: -0.1 or n?
-0.1
Let d = -50 - -44. Let w be (-15)/(-40)*d/(-9). Which is smaller: -2 or w?
-2
Let a = 36 + -22. Let g = -12 + a. Suppose -3*r + 5*o = -16, -r - g*o = r - 16. Is r at most as big as 6?
False
Let j(g) = -g - 2. Let x be j(-6). Suppose 2*t - 42 = 2*w, -w - 6 + 1 = 0. Suppose p - 5*y + 22 = 0, x*y + 0 + t = -4*p. Which is smaller: p or -19/3?
p
Suppose -6048 = -5*p - 3*a, -6*p = -2*p - 5*a - 4868. Do p and 1213 have different values?
True
Let u = -0.244 + 1.244. Is -2/7 <= u?
True
Suppose 3*j + 55 = 4*d - 28, 141 = -5*j + 4*d. Is -29 at least j?
True
Suppose -5*s - 23 + 8 = 4*x, -2*s - 4*x = 18. Let d = 12 - 24. Let k be ((-2)/d)/((-2)/3). Which is greater: s or k?
s
Suppose -3*w = 6*w + 3*w. Do w and 3/181 have different values?
True
Let k = 8/45 - -2/9. Let r = -1645/4 + 411. Which is bigger: k or r?
k
Suppose -4*n - 2*i + 20 = -0*n, -3*n - 3*i + 18 = 0. Let k = 5 - 8. Let c = k + 2.9. Which is greater: n or c?
n
Let g = -7.59 + 7.5. Which is greater: -18 or g?
g
Let f = -107/88 + 12/11. Let j(b) = 8*b - 9*b**2 - 3*b - 8*b + 2*b - b**3 - 8. Let c be j(-9). Which is smaller: c or f?
f
Let f be 4/(-6) + 3/2. Let n = 0.36 - 0.87. Let u = n - -1.51. Is u equal to f?
False
Suppose 7*p - 8*p + 4 = 0. Suppose -p*d = -0*d - 4. Which is smaller: 1/4 or d?
1/4
Let x = 18 - 9. Suppose -3*i = 5*k - 53, k = i + x + 8. Let r(f) = f**2 + 21*f + 50. Let z be r(-19). Which is smaller: z or k?
z
Let d be (-75)/(-900) - ((-41)/4 - 2). Suppose 0 = h - 5*m - 11, -4*h + 0*h + 44 = -2*m. Which is greater: h or d?
d
Let y be (-41)/(1 - 2) + 3. Is 44 less than y?
False
Let c = -491369/12 + 40921. Let g = c - -80/3. Which is bigger: g or 16?
16
Suppose -26 = -0*w + 26*w. Which is smaller: 2/299 or w?
w
Let o = 1265/4 - 316. Let m = -17 + -3. Which is smaller: m or o?
m
Let w = 1.4 + -43.4. Let n = w - -42. Which is smaller: n or -13?
-13
Let m be ((-123)/(-1230))/(22/45). Which is bigger: -0.2 or m?
m
Let h = 580/3 - 194. Let d = -18.11 - -18. Let l = 3.89 - d. Which is smaller: h or l?
h
Let a(h) = h**3 - 13*h**2 - 3*h + 10. Let z be a(13). Let s be (-18)/126 + z/(-7). Is 2 at least s?
False
Let c(z) be the second derivative of z**4/12 - 2*z**3 + 2*z**2 + z + 31. Let h be (-12 + -2)*12/(-14). Let q be c(h). Which is bigger: 13/4 or q?
q
Let r be -24*(-2 + 3 + 570/24). Are r and -593 nonequal?
True
Let v = 1410 - 22531/16. Is 2 > v?
True
Suppose -3*u + 0 = -15, -a + 2*u = 21. Which is bigger: a or -16?
a
Let a(x) = x**2 - 35*x - 18. Let i be a(34). Suppose 2*n - 5*g + 133 = -n, 2*n + 5*g = -122. Which is bigger: i or n?
n
Suppose a - 3*k = 6*a - 270, -173 = -3*a - 4*k. Let v = 1719 + -1669. Is a bigger than v?
True
Let a be 16/(-6)*4*18/48. Let v be (-1 - a/8)*0. Is 2 at least as big as v?
True
Let k(u) = 4*u - 7. Let a be k(10). Let t = 49 - a. Let p = t + -16. Are -2/5 and p equal?
False
Let h be ((3/(-2))/(-1))/(5/2110). Let x be -2 - (h/(-159) + 2). Is -1 at most as big as x?
True
Let j = -5/6 - -23/42. Let f be (-1 + 15 - -2) + -3. Let w(t) = -2*t**3 + 27*t**2 - 13*t - 2. Let z be w(f). Is j != z?
True
Let q = -0.912 + 0.812. Let f = -3 + 2. Are q and f nonequal?
True
Let i = -4301/18 - -239. Is 0 less than i?
True
Let p = 39 - 48. Let q be ((-430)/(-6))/5 + 3/p. Are 15 and q non-equal?
True
Let u = 4.52 + -4.9. Let m = u + 0.48. Is m equal to 21?
False
Suppose -5*a - 37 = -2*w - 2*w, 0 = 3*a + w + 12. Let o be -2 + 0 - 7/a. Suppose -s + 4 = -3*q, -3*q = -2*s + 2*q + 6. Is s > o?
False
Let p(z) = 3*z - 145. Let t be p(48). Are -9/73 and t nonequal?
True
Let o = 286 - 286. Is -3/109 at least as big as o?
False
Let m be (-1*(-2)/2)/(-31 - -30). Are 1/197 and m unequal?
True
Let o be (39/(-65))/(6/(-260)). Is o < 157/6?
True
Let i be 24/(-10)*171/30. Let q = 68/5 + i. Suppose -r + 5*r + 5*m + 16 = 0, 4*m = -5*r - 11. Is q less than or equal to r?
True
Let i = 1403693/137 + -10246. Let q = i - 2558/685. Which is smaller: -4 or q?
-4
Let x be 14/35 + 26/10. Suppose j + x*h + 3 = 0, 0*h = 5*j + 5*h - 15. Let g be j/2 + 156/(-44). Does g = -2?
False
Suppose -4*w - 3*w = -896. Is w > 128?
False
Suppose -11*x + 6*x = 0. Are 9/74 and x nonequal?
True
Let o = 9531/11 - 867. Let p be 4 + -1 - 4/(-4). Suppose -2*b - n = p*n + 24, 5*b + 22 = -3*n. Is b < o?
True
Let a(z) = -2*z**2 - 44*z - 238. Let c be a(-10). Let d be (-10)/35 + (-29)/(-28). Is d not equal to c?
True
Suppose -2 = 5*j - 3*u + 41, u = -j - 7. Let i be (-1)/(3 + -2)*(-2)/j. Are i and 40 equal?
False
Let f be (-12)/9*((-21)/28 + 0). Are -2 and f non-equal?
True
Suppose 2 = 16*z + 18. Is -10/61 >= z?
True
Let x(q) = -6*q**2 + 11*q - 3*q**2 - 2*q**2 - q**3 - 10. Suppose 0 = m - 3*k - 0*k, -2*k = -2*m - 16. Let l be x(m). Are -1/2 and l unequal?
True
Let j be 524/(-655) + (-101)/(-5). Which is smaller: j or -2/5?
-2/5
Let w(l) = l**2 - 13*l + 33. Let n be w(9). Do 0.31 and n have the same value?
False
Suppose 0 = 5*a - 15, 678*w = 677*w - 4*a + 6. Let k = 1 - 1. Suppose -3*z - 2 - 19 = k. Is z less than or equal to w?
True
Let k = 0.076 - 0.12. Let v = -0.124 - k. Which is bigger: v or -1/5?
v
Let r = -3.7 + 6.9. Let k = -4 + r. Which is greater: -0.3 or k?
-0.3
Let p = -33.695 + 33.6. Which is greater: p or -1/2?
p
Suppose 0*c + 6 = -4*c + 2*v, 5*c = -2*v - 30. Let q be (33/(-9))/((11 - 32)/(-63)). Which is smaller: c or q?
q
Let x(u) be the first derivative of 3*u**2/2 - 11*u - 6. Let r be x(6). Suppose 0 = -4*w + c - r, w + c = 4*w + 6. Is w less than -5?
False
Let l(v) = -3*v**2 - 5*v + 1. Let m be l(-5). Let c = 323/7 + m. Is -3 >= c?
False
Suppose 0*s + 18 = 6*s. Let n = 8.2 - 8. Which is greater: s or n?
s
Let g be 417*((-1)/(-1))/3. Suppose 2*h = -d - 3*d - 46, 5*h = -2*d - g. Is h < -29?
False
Let o be (-4)/(-9)*(-1)/(114/(-9)). Which is smaller: o or 1?
o
Let p = 2072 - 587. Let n be p/65 + (-6)/(-39). Which is smaller: 21 or n?
21
Let m(k) = -24*k + 24. Let r be m(7). Let d = r + 1006/7. Which is bigger: d or -13?
d
Let i be (-4893)/36 - (-6 + 135/20). Which is smaller: -137 or i?
-137
Let w be ((-1 + 0)*1)/((-1)/2). Let s = 1 - w. Which is greater: -20 or s?
s
Let p(c) = -4*c**2 + 90*c - 44. Let i be p(22). Which is bigger: -1/148 or i?
i
Let s = -364 - -272. Which is smaller: -93 or s?
-93
Let c = -402 + 419. Which is bigger: 78/5 or c?
c
Let j be (-1)/2*(-13)/(-52). Suppose c + 2*w = 5*w - 8, 16 = 5*c - w. Suppose -g = -c*g. Is g equal to j?
False
Suppose 3*q + 9 - 51 = 0. Let w = q - 15. Is w > -2/49?
False
Let z be (3/(-9))/(1/51). Suppose 0*k - 36 = 2*k - 5*m, 0 = -3*k - m - 54. Do k and z have the same value?
False
Let k be (-27)/12 + 6/(-8). Let a(j) = -j - 1. Let z be a(k). Suppose -7*q = -z*q + 20. Which is greater: -5 or q?
q
Suppose -w + 11 = -5*s, -s = 4*w + 27 - 8. Let d be 10/w + 15/10. Which is smaller: 8 or d?
d
Let y(s) = -s - 19. Let t be y(-8). Let h(i) = 11 + i**3 - 14*i**2 + 2*i**2 - 13*i - 2*i**3 + 3*i. Let b be h(t). Which is bigger: 4/3 or b?
4/3
Let j = -38 + -36. Let a = -69.9 - j. Let k = -1.1 + a. Which is smaller: 0.1 or k?
0.1
Let z = 147 + -134. Which is greater: z or 14?
14
Let z = 23 - 5. Suppose 0 = 2*h - 5*h - z. Suppose 13*y = -9*y - 88. Is y <= h?
False
Let a be (22/10 - 1)*5. Suppose -6 - a = 2*s. Let z = 8 + s. Which is greater: 3 or z?
3
Let p = 612 + -315. Are 301 and p nonequal?
True
Let d(n) = -n**2 - 8*n - 3. Let t be d(-5). Suppose 4*l + t = -2*x, -3*x = 2*l + 8 + 6. Which is smaller: l or -5/6?
l
Let z be (-9)/((-225)/(-5))*-5. Which is greater: z or 29/34?
z
Let g = 4885483/435 - 11231. Which is smaller: g or 1?
g
Let x be (1/4)/((-7)/28). Let v be (63/(-14))/(x/3). Is 13 greater than or equal to v?
False
Let b be (((-12)/1)/3)/2. Let k be (b/(-6))/((-6)/(-18)). Suppose -19 = 4*g - 5*y, -1 - 11 = -3*g - 5*y. Is g bigger than k?
False
Suppose -110 - 565 = 9*b. Which is smaller: -77 or b?
-77
Let n(x) = x + 8. Let m be n(-7). Let r be 8/(-4620)*-7*6/2. Is m at least as big as r?
True
Let z = -10 - -9. Let c be (z/3)/((-1)/3). Let w be ((-1)/(-4))/((-6)/24). Which is smaller: c or w?
w
Let s = -5.1 + -0.9. Let n = s - -6.3. Let u = -4 + 3.9. Does u = n?
False
Let n(w) = -w**2 - 3*w + 5. Suppose 12 = -5*