Let n be ((-376977)/d)/(177/(-90) - -2). Let g = -7007 + n. Is 0 equal to g?
False
Let o be (-8)/1 + (2398/154 - 5). Let a be 1 + 3/(-9)*-3. Which is smaller: o or a?
a
Let i = -6 + -6. Let o(m) = 4*m - 4. Let d be o(i). Let x be ((-2)/d)/(-3*(-1)/72). Which is smaller: x or 1?
x
Let k = 4.288 + -4. Let v = k - 0.188. Is -2/157 bigger than v?
False
Let b(x) = x**3 - 5*x**2 - 9*x + 3. Let d be b(6). Let s(r) = r + 23. Let i be s(d). Let m be i/11 - 4/4. Are -1 and m non-equal?
True
Let g = -220 - 134. Let z = 3188/9 + g. Are z and 0.47 equal?
False
Let r be -6*((-39)/2)/3. Let b = 66 - r. Let k = b - 34. Is -7 at least k?
True
Let w = 0.1033 - -0.2596. Let q = w - -0.0371. Let z = 121 + -844/7. Which is greater: q or z?
z
Let i(n) = 21*n**2 + 2*n - 1. Let k be i(1). Let c be (-11)/k + ((-55)/14)/(-5). Is c greater than 1/27?
True
Suppose 4*u - 28*a = -25*a - 926, -934 = 4*u + a. Which is smaller: u or -937/4?
-937/4
Let m = -3932 + 2168. Let p = -1192 - m. Is -1/4 bigger than p?
False
Let a = -28/143 + 261/1001. Which is greater: a or 0?
a
Suppose -3*i - i = 8. Let v(c) = -13*c**2 + 45*c + 92. Let u(o) = 3*o**2 - 11*o - 23. Let r(k) = 9*u(k) + 2*v(k). Let t be r(11). Which is greater: t or i?
t
Suppose -6 = -57*a - 2 - 4. Which is smaller: a or 342?
a
Suppose -13*l - 66 = -10*l. Suppose 130 = -11*d + 6*d. Are d and l non-equal?
True
Suppose 3*d + 13704 = -3*l, 4554 = -d + 108*l - 111*l. Is -4574 at least d?
True
Suppose j + 28 = -0*n + 3*n, -5*j = 20. Let f = 10 - n. Suppose 5*d - 106 = -2*t, -f*t - 63 = -3*d - 3*t. Which is greater: d or 19?
d
Let b be (-7645)/45726 + (6/63 - 74/(-1036)). Do 0 and b have the same value?
False
Let u = 7126 + -16539. Let r = 6880904/731 + u. Which is smaller: r or -1?
-1
Let c = -90.0145 - -0.0145. Is c at most 0.11?
True
Suppose 0 = 6*i - 7*i - 1, 4*i = -2*u + 330. Suppose -164 = -3*q - u. Is q at least as big as -1/579?
False
Let b = -0.99 - 72.01. Let r = b + 68.6. Let f = 4.3 + r. Is f less than 1?
True
Let g be -83*1 + (17 - 11). Let s = g - 30. Is -108 greater than s?
False
Let t be (-1)/(((-1)/(-15))/((-2)/6)). Suppose 3*w + 2*w + 15 = 0, 12 = -t*v - 4*w. Suppose v = 2*i + 2*i. Do -2/21 and i have the same value?
False
Let l = -22018 + 23805. Is 7 > l?
False
Let n(s) be the third derivative of -s**5/12 - 5*s**4/24 - 4*s**3/3 + s**2 - 31. Let k be n(-2). Which is bigger: -92/5 or k?
k
Let j be 3/(-1 - (5 - 5)). Let y be ((-21)/10 - j)*(-170)/15. Does -11 = y?
False
Let a = 94.9598 - 94.9. Let n = a + 81.9402. Which is bigger: n or 3?
n
Suppose 3*l = 9, -4*u + 5 = l - 2*l. Suppose -4*b - b - 5 = 0. Is b < u?
True
Let c be 15/75*6483/284 - 2. Let z = 53/20 - c. Which is greater: z or 0?
z
Let a = -277/32 - -1138715/131552. Which is greater: 0 or a?
0
Let m = 0.3033 + -0.1033. Is -2303 greater than m?
False
Let n(d) be the third derivative of d**6/120 - 7*d**5/60 - d**4/12 - 12*d**2. Let z be n(5). Let y be (-567)/(-30) - 6/z. Is 19 at least as big as y?
True
Let c = -0.43 - -5.03. Suppose -138 + 6 = 44*f. Is f bigger than c?
False
Let h = -25756/9 + 2862. Is 0 less than h?
True
Let t = 896792/5 - 181156. Which is smaller: t or -1798?
-1798
Let h(q) = q**3 - 6*q**2 - 6*q - 2. Let x = 41 + -34. Let y be h(x). Suppose -22 = y*l - 62. Which is smaller: l or 9?
l
Suppose 0 = 80*y - 82*y + 1640. Let g be (12/15)/((-8)/y). Do g and -0.3 have different values?
True
Suppose 4*c - 218 = -5*t + 27, -115 = -2*t - 5*c. Suppose 43*p - t*p = 2. Let f be (11/p)/1*(29 - 30). Is f less than 12?
True
Let n = -56 + 71.6. Let h = 102052/5 - 20410. Which is smaller: n or h?
h
Let s = -218 - -316. Let y = s + -83. Which is smaller: y or -0.2?
-0.2
Let t(a) = a**2 + 31*a - 184. Let p be t(-36). Let u be 10/80*20 + (-10)/p. Do 71/13 and u have different values?
True
Let m(z) = 2*z - 1. Let j be m(0). Suppose -4*h + 24 = -2*u, 2*h - 20 = 4*u + 16. Let g be (u/12)/((-70)/(-12)). Which is bigger: g or j?
g
Let o = 1976 - 1976.3. Is 0.024 at most o?
False
Let k = 20579 - 20636. Which is smaller: k or -1497/26?
-1497/26
Suppose -239*h = -232*h + 49. Let n be (-6)/(522/(-611)) + h. Let c(d) = d**3 - 3*d**2 + 3*d - 1. Let t be c(2). Which is bigger: n or t?
t
Suppose 18*a = 17*a - 14. Let r be a/(-28)*-1*2. Let c = 112/41 + -26910/9881. Does r = c?
False
Let q(a) = -a**3 + 5*a**2 - 3*a. Let g(o) = o**2 - 4*o + 6. Let w be g(2). Let b be q(w). Suppose -2*v + b = -0. Is 4 at least v?
True
Let o = 6.6 - -148.4. Let p = 120 - o. Which is smaller: -0.1 or p?
p
Let f be 17170/(-272) - (10/(-20) - 6/(-16)). Which is smaller: f or -385/6?
-385/6
Let v = -2 - 117. Let a = v + 229. Is 2 at least as big as a?
False
Suppose 2*w - 11 = r, 24 = -4*r - 0*w - 2*w. Suppose 0 = -24*j + 42*j - 216. Suppose 77 = y - j*y. Do y and r have the same value?
True
Suppose -32*q = -39*q - 96*q - 7210. Is -71 bigger than q?
False
Let k = 1228392797/37285655 - -1/677921. Let d = k + -468/11. Is d at most -9?
True
Suppose -164*v = -79*v + 5 + 193880. Is -2283 <= v?
True
Let t(r) = -r**2 - 3*r - 2. Let i be t(-2). Let n = -64/791 + 3602/64071. Which is bigger: n or i?
i
Let m(o) = -22*o**2 - 17*o + 23. Let n be m(3). Let f = -368 - -141. Is n <= f?
False
Let h = -7049 + 7034. Is h at most as big as -33?
False
Let l be -25 - (-2 + -3 + 1). Let f be (l/(-4))/((-3)/16). Suppose 112 = -4*z + h, -3*z - 12*h - 73 = -10*h. Which is smaller: f or z?
f
Let n = 35.5 + -35.33. Let s = 1.5 - 2. Let m = -0.5 - s. Is m greater than n?
False
Suppose 0 = 13*v - 27 + 14. Let x be (15/(-25) + v)/(24/380). Suppose 2*s = 7 + 3. Which is smaller: x or s?
s
Let g = 764/849 - 66/283. Which is bigger: 16/41 or g?
g
Let x = 606 - 267. Let w = x + -2377/7. Let g be (2/(16/(-40)) - -5)/3. Which is smaller: g or w?
w
Let u = -1181445797/15483 - -76306. Which is greater: u or 1?
1
Let v(y) be the first derivative of -y**3/3 + 19*y**2 - 2*y - 236. Let s be v(39). Suppose 3*r - 4*n + 119 = 0, -3*r - 5*n - 16 = 112. Is r >= s?
True
Let g(q) = 3*q**2 + 7*q - 1. Let y be g(-11). Let p be (-3)/6 - (3 + y/6). Let v be -2 + 64/34 + 300/p. Which is bigger: v or -4?
-4
Let w(c) = -c**2 + 2. Let q be w(3). Let k be q - 2*(-4 + 3). Suppose 63 = -3*h + 51. Is h smaller than k?
False
Suppose -5*j - 54 = 5*y - 64, 3*j = 3. Let g = -1/1066 + 2187/58630. Which is smaller: g or y?
g
Let v = -0.57 + 54.57. Let r = -55.41 + v. Let g = -0.41 - r. Is 0.4 bigger than g?
False
Let c = 1951 - 1951. Which is bigger: -69/178 or c?
c
Let j(o) = 2*o**2 + 7*o - 12. Let u be j(-6). Suppose -3*p = -u*p - 6225. Are -416 and p non-equal?
True
Let o = 5522 + -5417. Which is smaller: 0 or o?
0
Let a be ((-15)/(-6))/(-2 - (-15)/(-6)). Which is smaller: a or -72?
-72
Let v be (-5)/(225/(-18)) - (-45834)/15. Let d be 10 - 14 - v/(-766). Which is smaller: 1 or d?
d
Let v be ((-12)/(-8)*129959)/(1086/(-8)). Let q = 1436 + v. Does -1 = q?
False
Let t(g) = g**3 - 9*g**2 + 21*g + 2. Let x be t(6). Let c(i) = 4*i**2 + i - 20. Let m be c(3). Which is smaller: x or m?
m
Let c = 92 - 432. Let y = c - -342. Which is greater: 104 or y?
104
Suppose 9*w = 4*w + 4990. Let d be 12/72 + w/(-12). Does -84 = d?
False
Suppose -277*v - 5 = -282*v, -110 = 5*s - 5*v. Let t be (2 + 1)*46/(-6). Which is bigger: s or t?
s
Let q be (-16 - 1218/(-70))*(-200)/(-18). Is 16 < q?
False
Let w be 1 - -3 - (-851994)/(-212949). Let i be (7 - 4) + (-6 - -2). Which is smaller: i or w?
i
Let v = 55 + -31. Let g(x) = x + 1. Let y be g(-2). Let u be ((-2)/v)/((-90)/(-1074)) - y. Is 1 >= u?
True
Let z = -118151 + 813504/7. Let r = z - -1917. Let u = -122/21 - r. Is u bigger than 13?
True
Let x be 1338 + -8*1/(-2). Let m be (-22)/x*(-2)/4. Which is bigger: 0 or m?
m
Let s(c) = -3*c**2 - 19*c + 55. Let x be s(-8). Let g(w) = -w**3 + 14*w**2 + 16*w + 4. Let o be g(x). Which is smaller: o or 14?
14
Let v be (-23)/5 + 5 + (-4)/10. Let m be (-741)/(-771) - (-2 - -3). Let j = m - -1892/8995. Is v >= j?
False
Let g = 9304 - 437312/47. Let w be (9/156)/((-188)/160). Let p = w - g. Which is smaller: 1 or p?
p
Let z be (1 - 149/198) + 31/(-124). Do 2 and z have the same value?
False
Let d be (4/(-6))/(0 + 8/36). Let i be (-8 - -7)/(d/11). Is 0.2 at least as big as i?
False
Let m = -17.87 - 141.93. Let u = m - 2.2. Is u at most as big as 0.1?
True
Let x be (36/(-33) - (-522)/297)/((-2