i - 2 = -100*i - 3*m. Is i equal to 2/1073?
False
Let p be ((-6)/4)/((-1)/2). Let v(m) = -2*m**2 + 5*m + 2. Let a be v(1). Is a != p?
True
Suppose 3*u + 0*u - 36 = 0. Suppose 2*c = -c + u. Suppose 2*y - 2*b - b - 17 = 0, 5*y - 25 = c*b. Is 0 >= y?
False
Let v(n) be the second derivative of -n**4/12 - 7*n**3/6 + n**2/2 - 3*n. Let h be v(-7). Let s = -10/53 + 296/1007. Which is smaller: s or h?
s
Let o = 1942 - 1942. Is o less than or equal to -28.2?
False
Let u be (1/3)/(3/(-18)). Let s = -82 + 718/9. Which is greater: s or u?
u
Let k = 2 + 2. Let t be (-70)/75 - k/10. Let m = 2.0318 + -0.0318. Which is smaller: t or m?
t
Let f = -3 - 1. Let s = -4432 - -4432. Is f >= s?
False
Let g(j) be the second derivative of -4*j**3 - 9*j. Let n be g(-1). Let c = 30 - n. Is 7 <= c?
False
Let w be (17 - (31 - 15))/((-2)/14). Which is bigger: w or -45?
w
Let d(h) = 7*h - 10. Let w be d(10). Let s be w/(-27) + (-2)/(-9). Let o be -4 - (s - 0/(-4)). Is o > 3?
False
Let v = -5 - -9. Let i be 2/(-4)*(-16)/v. Suppose 2*o - 6 = -i. Is 9/7 greater than or equal to o?
False
Let n be 1544/10872*21 + (-9)/3. Is -1 <= n?
True
Let t = 125 - 119. Which is smaller: t or 8?
t
Let m be (-3 + (-220)/(-72))*16/(-76). Is -1 <= m?
True
Suppose -4*a + 2 = -3*a. Suppose 0 = -3*r + q - 253, -4*r - q - 333 = a*q. Let c = r - -424/5. Is -2 bigger than c?
False
Let n(g) = -4*g + 1. Let c(x) = x - 8. Suppose 0 = -r + 6 + 1. Let z be c(r). Let d be n(z). Which is smaller: 11/3 or d?
11/3
Let m = 16.7 + -1.7. Suppose -19*f + 62 = -33. Let j be -2 - (-1 + f + -5). Which is smaller: j or m?
j
Let l be (9/45)/(100/(-8)). Is 1 >= l?
True
Suppose -2*z + 14 = -t + 4, -t + 5*z - 10 = 0. Suppose 3*s + 2*o + 33 = 7*o, 36 = -3*s + 4*o. Let f be 1*(s/80 - (-34)/(-5)). Is t greater than or equal to f?
False
Let n = 3 + -2. Let a = -5/33 + 2/231. Are n and a equal?
False
Let h(s) = 21*s. Let l be h(1). Let v be (2/1 + -1)*7. Let u be 2/v*l/9. Is u at most 1?
True
Let w = 360 - 359. Are -2/1799 and w non-equal?
True
Let p = -8 + 4. Let w be (p/8)/((-2)/40). Let g be (2 + 26/(-14))*w. Which is greater: g or 1?
g
Let v(c) = c**2 - 4*c + 4. Let r be v(3). Let y = -267 - -6407/24. Is y bigger than r?
False
Suppose -2*d + 2 = 0, 137 = -5*p + 4*d - 82. Which is smaller: p or -0.2?
p
Let a = -301.3 - -314. Let z = a - 1.7. Which is smaller: -1/2 or z?
-1/2
Let a = -12397 - -209975/17. Which is greater: -47 or a?
a
Let a(k) = -k**2 + 21*k - 40. Let j be a(3). Suppose -h + 29 = -4*i, 6*h - 43 = 3*i + h. Let n be (-94)/i + 3/9. Is n >= j?
True
Suppose -274 + 101 = 3*h + l, 0 = h - 2*l + 46. Let d be ((-2)/(-4))/(h/96). Which is smaller: d or 2/33?
d
Let x be 12/(-10)*2/(-6). Suppose -11*u + 9*u - 4*m = -16, 3 = 3*u - m. Which is bigger: u or x?
u
Let d = -192 + 197. Which is smaller: d or 2/57?
2/57
Let r = -0.1512 - -347.1512. Which is greater: -1 or r?
r
Suppose 4*w = 8*i - 13*i - 48, 60 = -5*w - i. Is w <= -0.13?
True
Suppose -24*i + 34*i - 1350 = 0. Which is smaller: i or 136?
i
Let t = -1170 + 1161. Suppose -4*z - 4 = -3*z - o, 4*o = -5*z - 11. Let d = -8 + z. Which is smaller: d or t?
d
Let u = 82.157 - 0.157. Let n = u + -91. Which is smaller: -3/2 or n?
n
Let h = -253 - -213.9. Do 1/4 and h have different values?
True
Let a = -11 + 4. Suppose 34 = 3*k - 29. Let z be ((-17)/3)/(a/k). Is z less than or equal to 18?
True
Let t = 879 + -900. Is t at most -10?
True
Suppose 176 = -2*w + 176. Which is smaller: 9/67 or w?
w
Let y = 0.3 - 2. Let n = -1.82 - y. Suppose 5*x = 2*g - 23, g + 7 = 4*g - 2*x. Is n >= g?
True
Suppose 0 = 6*o - 108 - 36. Suppose 69 = -5*n + o. Which is bigger: n or -8?
-8
Let j(u) = 4*u**2 + 3*u - 13. Let x be j(-3). Is 16 != x?
True
Let y be ((-9)/(-6))/(2/(-16)). Suppose -4*z = -3*i - 90, 3*z - 6*z + 55 = 4*i. Suppose -5*k = 20, -6*k + 3*k + z = -3*v. Which is smaller: v or y?
y
Let x be ((-2)/885)/(6227/(-284817)). Let m = 4/2395 - x. Let h = 76/413 - m. Which is bigger: -1 or h?
h
Suppose 0 = 3*o + 4*f - 33, o - 5*f + 9 = 1. Is o <= 69/10?
False
Let s be ((-74)/(-3))/(-4 - (-511)/126). Is s smaller than 443?
False
Let i(u) be the second derivative of -3*u**5/20 + u**4/4 - u**3/6 + 6*u. Let o(k) = k**3 - 1. Let d(w) = -i(w) - 2*o(w). Let v be d(2). Is v < 1/4?
True
Let j = -0.8 + -0.2. Let f = -19 - -16. Let o = f + j. Is 1 smaller than o?
False
Suppose -58 = 4*g + 62. Let f be ((g/4)/(-3))/(1/10). Are f and 24 non-equal?
True
Let w = 5/33 - 5/231. Are w and -1 non-equal?
True
Let z = 82 - 96. Let a = z + 15.2. Let w = 0.1 + -0.1. Is w greater than or equal to a?
False
Suppose -2*t - 64 - 28 = 0. Let f be (-115)/t*8/(-2790). Are -1 and f equal?
False
Let c = -1435 + 1480. Which is greater: c or 44?
c
Let w = 0 - 0.34. Let r = w + 0.54. Let j = -1 - -6. Which is smaller: j or r?
r
Let l(a) = a**3 + 6*a**2 - 6*a + 3. Let v be l(-7). Let g be (-47 - -1)/(-6 - v). Which is smaller: g or 22?
22
Let y = 526/495 - 56/45. Suppose -s - 4*o + 0 - 5 = 0, -5*s = -5*o. Is s equal to y?
False
Let x = 1.61 + -3.61. Which is greater: x or 4?
4
Let n(k) be the third derivative of -k**4/24 - 41*k**3/6 + k**2 + 1. Let r be n(-7). Which is greater: r or -33?
-33
Let p = -89 - -90. Suppose 2*r + 4*m - 20 - 20 = 0, 0 = r - 3*m. Is p smaller than r?
True
Suppose -4*m + 368 = -4*n, 4*m - 4*n = 2*m + 182. Let g = m - 86. Which is bigger: g or 5?
g
Let v(k) = -79*k - 1174. Let m be v(-20). Is m at least 406?
True
Let i = 443254/4171847 - 2/36919. Is i less than 0?
False
Let n = 183 - 106. Let r = n - 78. Do 9/7 and r have different values?
True
Suppose -14*u - 5*t = -12*u - 1, -4*t = -3*u - 10. Is -18/11 at most as big as u?
False
Suppose 6*m - 2*m = 2*w - 506, 0 = -5*m - w - 636. Let n = -54 - m. Is -0.1 > n?
False
Suppose -5*i = 2*r + 185, -r + 24 = 3*i + 135. Let y = 18243/493 + i. Let q = y + 6884/4437. Is q < 3?
True
Suppose -2*c + 3*c - 116 = 3*a, 4*a + 143 = -c. Let w be ((-8)/(-6) + -2)*a/(-2). Which is smaller: w or -13?
-13
Suppose -12 = -4*a + 12. Suppose -4*o + a*o = 520. Let b be ((-13)/o)/((-2)/(-4)). Which is greater: b or -1?
b
Suppose g - 3*g + 240 = 0. Suppose 7*k - 17*k = g. Is -11 at least as big as k?
True
Let z be 1*30462*(-2 - (-182)/93). Let p = 1310 + z. Which is bigger: p or 1?
1
Let n = 22684/7 - 23067/7. Is -55 equal to n?
False
Let p(b) = -b**2 + 14*b + 6. Let r be p(13). Let g be -5*(4 - r/5). Let l = -1.8 + 2. Which is smaller: l or g?
g
Let k = -798 + 741. Is k greater than -47?
False
Let j(i) = i**3 + 5*i**2 + 5*i + 4. Let f be j(-4). Let k be (5 - 5)*(f - 2/(-4)). Is -3/14 > k?
False
Let j = 57 - 53. Let n(m) = -m + 5. Let w be n(j). Which is smaller: 2/183 or w?
2/183
Let m(u) be the second derivative of u**3/2 + 9*u**2 + u. Let q be m(-6). Is -5/12 equal to q?
False
Let q be 303/156 - 30/24. Do q and 2 have the same value?
False
Suppose 0 = -5*t - 25 - 5. Let n = 417 - 415. Is t at most as big as n?
True
Let c be 1*-1 + (-10 - -7) - 38. Let s be 76/c - (4 - (10 + -4)). Which is smaller: 1 or s?
s
Let d = -2.9412 - 0.0588. Which is smaller: d or -0.078?
d
Let b = -53 - -52.97. Let q = b + 0.1. Is -0.1 <= q?
True
Let o(k) = 7*k + 3. Let c = -10 - -8. Let f be o(c). Let h = -3 - f. Which is greater: 6 or h?
h
Suppose 0 = 3*b - 5*b - 3*v + 62, 124 = 4*b - 4*v. Let r = -215/7 + b. Let p = 13 - 13. Which is smaller: r or p?
p
Let x(u) = -u**2 + 10*u + 6. Let o be x(10). Suppose 4*t - 2*f - 2*f = -4, -o = 2*f. Which is greater: -2 or t?
-2
Let y be -1 + 1 + 2/2. Let a(f) = 3*f - 1. Let p be a(0). Let m be 88/20 + -3 + p. Which is smaller: y or m?
m
Let q(p) = 2*p + 6. Let g be q(-4). Let a = -30132/9583 + 2/1369. Do g and a have the same value?
False
Let x = -2432/161955 + 4/2745. Is 0 greater than x?
True
Let w(c) be the second derivative of -7*c**3/6 - 5*c**2 + 8*c. Let o(p) = -7*p - 11. Let k(f) = -5*o(f) + 6*w(f). Let s be k(-4). Is 23 at most as big as s?
True
Let x = -93 - -82. Let g be -4 + (-895)/(-220) + (-2)/x. Which is greater: 24/5 or g?
24/5
Let x = -302231/269577 - -957/778. Let r = x - 4/63. Suppose 5*v - 9 = -4. Which is smaller: r or v?
r
Let n(r) = 2*r + 13. Let l be n(-8). Let h(s) = -s**2 - 4*s - 2. Let f be h(-3). Let w = f + l. Is -1 bigger than w?
True
Suppose -6*x - 5 - 73 = 0. Which is greater: x or -6?
-6
Let f be (3 + -2)*20/(-8452). Let i = f - 497