/(-14). Suppose 0*k - 2 = -5*o - k, w = -3*o + 3*k - 6. Suppose 4*d - 4*h = 4, o = -2*d - 4*h - h + 2. Is d <= -2?
False
Let s = -200831 - -200837. Let x(u) = u**2 - 6*u + 1. Let r be x(6). Let a be 1*(-10 + r)*-1. Is s at most as big as a?
True
Let z(f) = -67*f**2 + 67*f + 815. Let l be z(-9). Are -5215 and l equal?
True
Let m = -16565 + 12869. Is m equal to -3697?
False
Let a(y) = 82*y**3 - 25*y - 42. Let q be a(-2). Are q and -654 non-equal?
True
Let z(i) = -i**2 - 22*i - 42. Let j be z(-17). Let a = 44 - j. Suppose c - a = -h - 0, 2*c = -4*h. Is h at least 6/19?
False
Let y(b) = -b**2 + 18*b - 15. Let u be y(17). Suppose -3*c - 4*o - 76 - 90 = 0, -5*c = u*o + 258. Let i be ((-3)/(-2))/(25/c). Does i = 11?
False
Let o(i) = 2*i**3 - 3*i**2 + 12*i - 20. Let g be o(3). Let u = 33727/788 + -10/197. Which is bigger: u or g?
g
Let p = -52.69 - -53. Let s = p + -1.31. Let d = 64 - 64.01. Is s at least d?
False
Let l = 2486 + -2515. Which is bigger: l or -28?
-28
Let j = -24.68 + 24.78. Is 1892 at least as big as j?
True
Let u(m) = -15*m**3 - 2*m**2 - 2*m - 1. Let w be u(-1). Let z = 75 + -138. Let i = -49 - z. Is w at most i?
True
Let k = -240 + 82. Let z be (-3 - 291/9)/(60/270). Which is bigger: k or z?
k
Let t be (-36)/60*-55 - 16. Suppose 5*u - 2*u - 3*d - 51 = 0, 2*u = 4*d + 32. Is u at least t?
True
Let n = 671809632/5311 - 126494. Is n < -1?
False
Let l = 4574/15 - 1523/5. Which is greater: 4 or l?
4
Let n(k) = -240*k - 1679. Let p be n(-7). Which is smaller: -2/18683 or p?
-2/18683
Let q(r) = -r**3 - 10*r**2 - 8*r - 10. Let v be q(-11). Suppose 2*f = -12 + 34. Suppose -f*x + v = -10. Is 19 smaller than x?
False
Suppose 3*t + 4*s - 12 = 0, 2*t + 7 - 1 = 2*s. Let v be -2*(t + -1 + -6). Suppose -x = -15*x + v. Which is smaller: -14 or x?
-14
Suppose 48*c + 5295 = -5025. Which is greater: 1 or c?
1
Suppose -118*u + 122*u = 204. Suppose -u*q + 50*q = 10. Does -11 = q?
False
Let y be 92/(-10)*5/(-10). Let r = -3437 - -3438. Which is greater: r or y?
y
Let v = -234483/16 + 14655. Is v >= -25?
True
Suppose -98*l = -34*l - 25*l - 5928. Which is smaller: -17 or l?
-17
Let z = 9.9731 + 0.0269. Is z less than or equal to -0.02?
False
Let n(p) = p**3 + 4*p**2 + 3*p - 2. Let i be n(-5). Let a be ((-110)/(-15))/((0 + 3)/(-18)). Are i and a equal?
False
Let m(v) = v**3 - 6*v**2 + 1. Suppose 3 = 13*p - 88. Let f be m(p). Which is smaller: f or 52?
f
Let f be -5 + 4 - (4 - 2). Let s be ((-3)/23)/(3/f). Suppose 3*o = -3, o = p + 3*p + 3. Which is bigger: s or p?
s
Let m = 17042 - 17017.11. Is -2 less than or equal to m?
True
Let b = -15 + 42. Suppose -15*o = -12*o - b. Which is smaller: 3/4 or o?
3/4
Suppose 34*i - 82*i - 76 = 28*i. Let c = -3128849 - -375631439/120. Let b = -1413 + c. Which is smaller: b or i?
i
Let h = 121213 + -12121177/100. Which is bigger: h or 2?
2
Suppose 5*c - 4*m = 611, 0 = 2*c + m - 106 - 128. Suppose -2*x + 109 = -c. Is x < 115?
True
Let s = -6391.1 - -6391. Is -1/6464 < s?
False
Suppose 958 + 680 = -18*m. Let x(j) = -90*j**2 + j. Let u be x(1). Is u at least as big as m?
True
Suppose -6*z = -18 + 12. Let c be z/((-7)/16) + -36 + 34. Is -3 greater than c?
True
Suppose -2*x + x = 3*o - 33, 3*o + 12 = 2*x. Which is smaller: 46 or x?
x
Suppose -v = b + 33, -2*b - 5*v + 0*v - 78 = 0. Let w be (-11*2 - 96136/(-3904))/(2/(-22)). Which is greater: w or b?
w
Let k(p) = p**3 - 51*p**2 + 47*p + 2469. Let x be k(49). Suppose -t - 22 + 0 = -5*s, 4*t + 4*s = 32. Let h be t/12 - (-226)/(-8). Which is greater: h or x?
h
Let q = -4697 + 4647. Which is smaller: q or -143?
-143
Let c be (-8)/(-6)*45/60 + -1. Let s = 4 - c. Suppose -11 = -3*j + s*a, 0 = -3*j + 5*j + 3*a - 13. Is j < 6?
True
Let b = -41 - -67. Let v(j) = -2*j**2 - 4*j + 27. Let q be v(0). Is q at most b?
False
Let f = 158 - 68. Let q = -35 + f. Which is bigger: -0.1 or q?
q
Let h be 5/((-35)/706)*(-161)/(-69). Is -236 greater than or equal to h?
False
Let o be 2335305/126 - (-7)/(-6 - 36). Which is smaller: 18533 or o?
18533
Suppose 79338*y = 79374*y + 36. Let h = -44 + 13. Let m be (16/(-12))/(h/(-3)). Is m not equal to y?
True
Let a = 6 + 47. Let s = a + -52.3. Let u = 1 - s. Are u and -1 unequal?
True
Let l = 694999 - 64635755/93. Let f = -332681/44299 + -55/1429. Let h = l + f. Which is greater: -17 or h?
h
Let s be 6/4*(-8)/(-6). Suppose 3*g + 1 = z, -s*z + g = 3*g + 6. Which is smaller: -28 or z?
-28
Suppose -3*v = -4*m - 368, -3*v - 3*m + 343 = -2*m. Suppose -31*f = 17*f - 5616. Is v <= f?
True
Let r be (-10 - 1672/(-171))/(4/6). Let b be ((-1)/6)/((-12)/(-20)). Is b < r?
False
Let s = 9271 - 9271.06. Which is greater: s or -134?
s
Let d = -21060 - -21061. Do d and 9/106 have the same value?
False
Let t = 3359067/13 + -258205. Which is smaller: 185 or t?
t
Suppose -o - 3*o + 8 = 0. Suppose 0 = o*w - 6*w + 40. Suppose -3*t - 13 = -w. Does -1/17 = t?
False
Suppose -88 + 284 = 28*j. Let m be (-2)/(-8)*(-2 + 7 + 1). Is j < m?
False
Let u = -148.283 - -0.283. Let s = -32 - u. Let d = s - 115.9. Which is smaller: 76 or d?
d
Suppose -4*s = -s + a - 64, -3*s - 4*a + 58 = 0. Which is smaller: 81 or s?
s
Let x(v) = -v**3 - 23*v**2 + 60*v + 8. Suppose 0 = -467*p + 461*p - 150. Let g be x(p). Which is smaller: g or -243?
-243
Let b = 1.0393 - -58.9607. Let u = -0.0836 - 59.8764. Let f = b + u. Which is smaller: f or 1?
f
Let z be 70/(-9 + -5) - -3961. Is z bigger than 3956?
False
Let g = -161 + 169. Let y be 2/((48/(-297))/g). Does y = -99?
True
Let h = 138 - 54. Let i = 84 - h. Let r = 0.04 - -0.02. Is r equal to i?
False
Let z(a) be the first derivative of 29*a**2 + 57*a - 226. Let d be z(-1). Let u = 439/20349 + -1/153. Which is smaller: d or u?
d
Suppose 4*o + 6 = 2*q, 0 = -2*o + q - 6*q + 27. Let n be (-130)/(-3288) - (-110)/(-1320). Which is smaller: n or o?
n
Let f = 3/40264 + -9019169/442904. Let g = -16 - 3. Is f smaller than g?
True
Let h = 68.144 + -0.144. Let c = 67.76 - h. Does 1 = c?
False
Let m(b) = -33*b + 262. Let p be m(8). Which is greater: 4/167 or p?
4/167
Suppose -3*s = 4*k - 2154, 5*k + 2*s + 867 - 3570 = 0. Which is bigger: k or 541?
k
Let y = 2940 - 2945. Is -43/7 < y?
True
Let f(l) = -l**2 - 8*l + 5. Let k be f(-8). Suppose -b - 5*u + k = 4, 5*b - 5 = u. Let z be (-1 + 6/14)*(-1)/(-30). Which is greater: z or b?
b
Let i be (2 + (2 - 4))/(-1). Let j = 10174/59749 + -25/149. Which is bigger: i or j?
j
Suppose 18*a - 8 = 14*a. Suppose -6*d = -4*d - a. Let w = -495 - -52964/107. Is d not equal to w?
True
Let r be (-59)/(-4) - (-36)/(-48). Let l be (-8)/r*(-7)/2. Let i = -0.021 + 0.021. Is l at most i?
False
Suppose -4*w = -4*x - 0*w + 380, -3*x + 280 = 2*w. Suppose -z + 2*t - x = 3*z, 5*z + t + 114 = 0. Let o = 206/9 + z. Which is smaller: 1 or o?
o
Suppose -b - 2*a - 126 = -4*b, 0 = -4*b + 2*a + 168. Suppose 3*w = 5*o - b, 0 = 2*o + o - 9. Let i be (-2 - -17 - -3)*(-33)/w. Is 67 > i?
True
Let c be (-1434)/(-69) + -24 + 8. Which is greater: c or 6?
6
Let n(r) be the third derivative of r**6/120 - 2*r**5/15 + r**4/4 + 2*r**3/3 + 111*r**2. Let f be n(4). Let h = -88 - -53. Which is smaller: h or f?
f
Suppose 0 = -a - 5*h - 266, -4*a + 2*h = -0*h + 954. Let j = a + 351. Which is bigger: j or 111?
111
Let s = 6527 + -3830. Suppose 4*n + s = -3*w - 1423, 5*w - 1007 = n. Which is greater: -1028 or n?
n
Suppose -x - 2*n = -7, -3*x + 3*n - 2*n = -56. Let i be (-13)/15 - (1 - 2). Let g = i - -1/5. Is g greater than or equal to x?
False
Let q(h) = -h**3 - 230*h**2 + 1667*h - 16. Let n be q(7). Are n and 21 non-equal?
True
Let n = 24982 + -26412. Is n != -2857/2?
True
Let p be -1 + -3 - (2 + -4). Let a = -3 - p. Let u be (-4094)/4186 - 14/(-49). Is a at most u?
True
Let s = -2640 + 2606. Let k be 6*2/(-4)*1008/88. Which is smaller: s or k?
k
Let w be 52/(10 - 6) + -5. Are -1 and w non-equal?
True
Let s(a) = 2*a**2 - 42*a - 268. Let m be s(-16). Is 916 greater than m?
False
Suppose -4*a + 20 = 5*l, -3*a + 30 = 5*l - a. Let f = -169 - -277. Suppose f + l = -4*q. Which is smaller: -30 or q?
-30
Suppose 79*x = -5*m + 75*x + 16, 8 = -3*m + 2*x. Suppose -4*z - 25 = -3*b, -2*b + 0*z - 3*z + 11 = 0. Let j be (b/(378/(-4)))/2. Which is smaller: m or j?
j
Let c(o) = o**2 + 20*o + 90. Let y be c(-16). Suppose 15 = 5*b, 0 = 5*a - 3*a - 4*b + 52. Let p = a - -44. Which is smaller: y or