e 3*w + 3*n - 2 = 1, 3*w + n - 11 = 0. Suppose -15 = -w*p + 15. Suppose j = -5*m + 24, 5*j - m + p = -4. Do 2 and j have the same value?
False
Let l = -257 + 183. Is l > -76?
True
Let d = -2.63 - -6.63. Let k = 1 + -9. Which is bigger: d or k?
d
Let s be (5 + -4)/1 + (-169)/170. Is s < 0?
False
Let c(t) = 2*t**2 - 11*t + 20. Let k be c(5). Suppose k = 8*m - 17. Do m and 4 have the same value?
True
Let v be 60/(-14) + 4/14. Let x be (v/18)/(-2 - 0). Let b = 3410 + -3410. Which is smaller: b or x?
b
Suppose -44*c = -13*c - 31. Is 1/266 at most c?
True
Suppose 140 - 80 = -5*v. Let l be ((-8)/v)/((-2)/(-3)). Are l and 1/24 equal?
False
Let a be (-90055)/(-1155) + (-1)/3. Is a < 77?
False
Let a(x) = x**2 - 128*x + 1892. Let o be a(17). Let b be 20/8 - (-1)/(-2). Which is smaller: o or b?
b
Let q = -18 + 29. Suppose 32 = -14*b + 200. Is q at most as big as b?
True
Let k = 1404 + -5563/4. Which is smaller: 14 or k?
k
Let b(c) be the third derivative of c**4/12 + 4*c**2. Let y be b(1). Suppose 15 = 3*h - 5*u + y*u, 2*h - 14 = 3*u. Which is smaller: h or 2/9?
2/9
Let r be (-3)/((-54)/(-3))*2. Let y be (-15)/(-10)*4/(-3). Which is bigger: r or y?
r
Suppose 0 = -4*d - 2*s - 10 + 48, 2*s = 6. Which is smaller: d or 12?
d
Suppose 5*a = 0, -5*a - 48 = 2*v - 18. Let p be v/(-9)*(-6)/(-5). Suppose -4 = 4*f + 4, -p*k - 44 = f. Which is greater: k or -22?
k
Let x = -31 - -34. Is 0.115 at most as big as x?
True
Suppose -5*v + 5*g = 1 + 14, 0 = 3*v - g - 1. Let p = 55 + -50. Suppose y + 3 = -4*b - v, 3*b + 25 = -p*y. Are b and -8 non-equal?
True
Suppose 19 = 9*w - 17. Suppose w*q - 2*q - 3*a = -11, -1 = -2*q - a. Do q and 14 have different values?
True
Let r be 102/(-120) + (-4)/(-2) + -1. Let s = 1 + -2. Is r equal to s?
False
Let b = -23 - -8. Let m be b/(-13) + (-14)/91. Suppose -p + 0*p + m = 0. Which is smaller: p or -1?
-1
Let g = 179905/1658 - 217/2. Are g and 1 nonequal?
True
Suppose 0 = 15*q - 14 + 14. Do -2/7 and q have the same value?
False
Let q be 0 - 0 - (-16)/106. Is q greater than -1?
True
Let i = -714.95 + 715. Let d be (18/(-15) + 2)*5. Let a be (-8)/(-6) + d + -5. Is a at most i?
False
Let u be ((-18)/(-18))/(0 - 1/45). Let j = -29 - u. Which is smaller: j or 14?
14
Let y be (-12 - -5)*12/(-14). Suppose y*k = 5*k + 4. Which is greater: k or 11/4?
k
Suppose 2*j = 6*j + 20. Let g(m) = -m**2 - 7*m - 2. Let v be g(j). Let y = v + -5. Is y at most 3?
True
Let n = 32424/43 - 754. Suppose 0 = -0*g + 4*g - 4. Which is smaller: g or n?
n
Suppose 0 = -2*m - 6. Let k(q) = -q**3 - 2*q**2 + 5*q + 6. Let g be k(m). Is 2 >= g?
True
Suppose u + 22 = 3. Let l = 21 + u. Suppose l*t - 3*d + 12 = -0*t, 5*t + 13 = -d. Which is smaller: t or -2?
t
Let s(t) = 7*t**3 + 10*t**2 - 9*t - 3. Let r(d) = -4*d**3 - 5*d**2 + 4*d + 2. Let v(c) = -5*r(c) - 3*s(c). Let q be v(-6). Which is smaller: -20/3 or q?
q
Let k be ((-44)/(-10))/(45/(-225)). Which is bigger: k or 4/3?
4/3
Let o be (-42)/20 + 8 + -6. Suppose 7 + 5 = 4*u. Suppose j - u = 4*x - 2*j, 2*x - j = -1. Is o > x?
False
Suppose -6*i - 64 + 58 = 0. Do 677 and i have the same value?
False
Let i = 28 + -11. Let y = -23 + i. Let w = y - -8. Is 2 at most w?
True
Suppose -5*v - 5 = -5*k, -11*v = -2*k - 6*v + 8. Which is bigger: 2/649 or k?
2/649
Let i be 3*(-1)/6*-2. Let l = -15 + 162/11. Which is bigger: i or l?
i
Let n = 0 + 0. Let g(j) = -j**3 + 14*j**2 + 16*j - 12. Let m be g(15). Let a be m - (-44)/(-8) - -4. Which is bigger: n or a?
a
Suppose -5*z - 20 = -3*k, 3*z + 3*k - 6 = 6. Let b = 32192/49 - 657. Let o = -95/147 + b. Is o at most z?
False
Let o = -2647/14 - -189. Let y be (6/9)/(2/3). Which is smaller: y or o?
o
Let i(n) be the first derivative of -2*n**3/3 - n**2 + n - 2. Let c = -5 - -6. Let s be i(c). Is s at least as big as -4?
True
Let s = 10.15 + -11.85. Which is smaller: -6 or s?
-6
Let s be (-4)/((-32)/38) - (-1)/4. Suppose -2*a - 5*c = s, -5*a - 44 - 3 = c. Let n be -6*1*(-3)/(-2). Is a < n?
True
Let u = 62 + -58. Suppose -b + 22 - u = -j, -10 = -5*j. Are b and 18 equal?
False
Let w = 127 - 27. Suppose 5*d = -0*d - w. Let z be ((-2)/12)/(d/75). Which is smaller: 2 or z?
z
Let b = -5 - -4. Let n be ((0/b)/(-2 + 0))/2. Are 0 and n non-equal?
False
Suppose 3 - 8 = -n. Let y(v) = 12 - 7 + n + 28*v - 27*v. Let k be y(-10). Does k = 2/3?
False
Let z be 2 - (6/3 + -4). Suppose 0 = z*f - 8, -5*f = 4*k - 9*k - 15. Which is smaller: k or -16/7?
-16/7
Let b = -280 + 280. Which is smaller: -4 or b?
-4
Let c = -3 - -5. Suppose -c*z + 3*z + m = -1, 0 = 3*m. Let l = 364 + -361. Is z at least as big as l?
False
Let i = -1997 + 1995. Which is smaller: -21/40 or i?
i
Suppose -20*b + 21654 = 34*b. Is b > 401?
False
Let o = -52 - -52. Which is smaller: -2/23 or o?
-2/23
Let j = -199 - -262. Which is smaller: j or 127/2?
j
Suppose 0 = -3*u + 3, 26*m - 21*m + 3*u = 3. Is -7/20 less than m?
True
Let a = -212.9 - -222. Let p = a + 1.9. Let l = -12 + p. Is -1.8 > l?
False
Suppose -4*t + 158 = 142. Let a be (t/102)/((-4)/3 + 1). Let k be 0 - ((-7)/(-4) + -2). Which is smaller: a or k?
a
Suppose -24 = 3*n - 9*n. Suppose -60 - 12 = n*r. Let a be (-22)/r - (-12)/(-54). Which is greater: -2 or a?
a
Let y = 134 + -407/3. Let z = 19 - 10. Let r(n) = n - 12. Let i be r(z). Which is smaller: i or y?
i
Suppose -2*s = -4*s. Let q be (-3 - s)/((-21)/14). Suppose -4*l + q = 3*j - j, -j - 5*l = -7. Which is greater: j or -1?
-1
Let i be (7/2)/((-18)/1980). Let h be (-3)/12 - i/100. Is h != 4?
True
Suppose 5*w - 5 + 0 = 5*n, -2*n - 1 = -w. Is n >= 1/433?
False
Suppose 4*o + 9 = 149. Is 0 equal to o?
False
Let x(a) = -a**3 - 36*a**2 + 38*a + 45. Let n be x(-37). Which is bigger: 16 or n?
16
Let a(q) = -q**2 - 18*q - 1. Let j be a(-13). Let w = j + -46. Which is bigger: w or 19?
19
Let r = 138/5 + -976/35. Let j be (-4)/10 + -2 + 81/30. Which is bigger: j or r?
j
Let a be 3/24 + 5/(-35). Let x = a + 81/56. Is -3 > x?
False
Let c = -290237/9 + 32249. Suppose -x - 24 = 4*g, -7 = -2*g - 2*x - 19. Let t be (4/6)/(4/g). Are t and c non-equal?
True
Let u(j) = -j**2 - 2*j - 3. Let f(m) = 2*m**2 + 4*m + 5. Let s(l) = 6*f(l) + 10*u(l). Let k be s(-2). Let y = 0.3 - 0.5. Which is smaller: k or y?
y
Let c be (0 + 4)/(-16)*-20. Suppose 4*s + c = -99. Is s <= -26?
True
Let x = -0.1 + -0.5. Let z = -7737 + 7737.02. Does x = z?
False
Let x = -49.5 + 57.5. Which is bigger: 0.2 or x?
x
Let p be 300 - 0 - (-7 + (-72)/(-9)). Which is greater: 298 or p?
p
Let u = -10.7 - -5. Let a = u + 6.3. Let v = 0 + 0.1. Which is smaller: v or a?
v
Suppose h - 5*z - 11 = 0, 0 = -5*h + z - 6*z + 85. Let b be (4*-1)/(h/(-12)). Which is smaller: b or -0.2?
-0.2
Let p be 9/4 - ((-11)/4 + 2). Let t be (12/p + -4)/(1 + 0). Is -12 greater than t?
False
Let g(j) be the second derivative of j**4/12 - 5*j**3/3 - 4*j. Let l be g(10). Is -3/7 < l?
True
Let n = 5 - 5.08. Let c = -1.5 - 5.5. Let y = 6.8 + c. Are n and y equal?
False
Let l be ((-56)/(-60))/((-6)/20). Let n = -787 - -785. Is l > n?
False
Let r = -0.11 - -6.11. Let x = r + 15. Let t = 21.3 - x. Which is smaller: 0.5 or t?
t
Let u = -2401 + 2403. Is -3/1193 smaller than u?
True
Let p(f) = f**2 + 9*f - 7. Let j be p(-15). Let i = j + -58. Which is bigger: i or -1/2?
i
Let d be (-170)/(-1360)*30/(-53). Which is greater: d or 1?
1
Suppose 39*m = 48*m + 63. Is -24 <= m?
True
Let u = -15.25 - -0.25. Let b = 734 + -2935/4. Which is smaller: b or u?
u
Let o be 102/1431 + 10/(-45). Is 1 at most as big as o?
False
Let w = -17.7 - -17. Let j = -1.2 + 7.2. Let l = j + -7. Which is smaller: w or l?
l
Let l(s) = 8*s - 6. Let o be l(5). Suppose -2*k + 43 + 23 = 0. Let t = k - o. Is 5 greater than t?
True
Let z(m) = m**3 - 2*m**2 - 2*m - 3. Let u be z(3). Suppose 2*g = 5*b + 116, b + u*b = -g - 19. Let o be ((-2)/(-6))/(11/b). Is o less than -5?
False
Let y = 12 + -4. Let u be (-12)/5 + y/4. Which is smaller: 0 or u?
u
Let a be (-1 + 0)*12/(-4). Suppose -w + a = 9. Is w not equal to -0.1?
True
Let t be -1 - (-120)/28 - -1. Let l = 83/21 - t. Is l != -3/26?
True
Let j(t) = -t**2 + 2*t + 2. Let w = -2 + 2. Let b be j(w). Suppose b = n + 3*r - 5*r, 2 = -2*r. Is n greater than 1/3?
False
Let f(c) = -c**3 + 10*c**2 + c - 11. Let b be f(10). Is b < -22/15?
False
Let y = 283 - 299. Which is bigger: y or -5?
-5
Let b = 0.001 + -26.001. Let t = 