1 = 16*k, -5*s - 4*k = -58. Are n and s non-equal?
True
Let d(f) be the third derivative of f**4/4 - 7*f**3/6 - 93*f**2. Let t be d(2). Suppose u = -1 + 4. Which is smaller: u or t?
u
Let z = 77633 - 77605. Let x be -1 - -2 - (-276)/10. Is z equal to x?
False
Suppose 21*p - 80 = 67. Let j = 2/417 - -3056/417. Is j smaller than p?
False
Let z = -70.8 + 8.8. Let y = z - -42. Let c = 2/187 + -191/374. Which is greater: c or y?
c
Let u be 52 + -49 - (-30881)/(-8236) - 3/(-4). Which is bigger: -1 or u?
u
Let y(l) = -2*l**2 - 126*l - 1803. Let a be y(-22). Is a at most as big as -2/621?
False
Let j(c) = -2*c**3 - 25*c**2 - 15*c + 81. Let a be j(-11). Which is smaller: -582/5 or a?
a
Let p = 0.5 - 0.1. Let d = -0.6 - p. Let x = -5164 + 5214. Is x at most as big as d?
False
Suppose -x + n = -5*x - 17, x + 28 = -5*n. Let j = 89473/19 - 4711. Does x = j?
False
Let f = -16665791/1214 + 13728. Let j = 4546/7891 + f. Is j less than 1?
True
Let v = 24 + -20. Suppose -6*o - 5*a + 85 = -o, -5*o + 84 = v*a. Suppose o = 4*g - 0*g. Which is bigger: -1 or g?
g
Let f be 13 + 9/((-45)/(-290)). Is f bigger than 81?
False
Let o be ((-108)/7)/(-3 + 82/(-14)). Which is bigger: o or 3?
3
Let v = -2769 + 2783. Is v less than or equal to 267?
True
Let d = 889.8 + -971.2. Which is bigger: d or -2/3?
-2/3
Let g(i) = -1164*i + 3112. Let t be g(3). Which is bigger: t or -378?
-378
Let h be ((-1)/(-5))/(9/15). Let d(x) = x**3 - 10*x**2 - 7*x - 49. Let r be d(11). Let i be (r/(100/5))/(5/4). Which is bigger: h or i?
h
Suppose -2 = -p - 3*m, m + 26 = 2*p + 3*p. Let s = -8 - -10. Let f be (8/(-4) + p)/((-3)/s). Is f > -26/9?
True
Let i(p) = p**2 + 8*p + 9. Let x be i(-6). Let s be 20/6*(-15)/10. Let r be 722/(-133) - (3 + s). Is x less than r?
False
Let x = 776/9 - 86. Let q = 215 + -202. Suppose 5*s = -18 + q. Is s bigger than x?
False
Let h(s) = 142*s + 151. Let x be h(-6). Let l = -540 - x. Which is bigger: 164 or l?
164
Let c(h) = -h**2 - 2*h + 2. Let y be c(0). Let g = -1 + y. Let z = 106 - 56. Is z != g?
True
Let h = 0.294 - 0.164. Let k = h + -0.23. Which is smaller: k or 0.06?
k
Let w = 6.2 + -7. Let n be (-15)/(-10)*80/(-3). Let x be 12/(-2)*(n + 39). Which is smaller: x or w?
w
Let p = -121.684 - 0.316. Let l = 126 + p. Is 6 >= l?
True
Let i = 169 - 63. Suppose -86 = -4*d + i. Is 50 equal to d?
False
Suppose 4*d - 7*d = -3*n + 3618, -2*d - 1204 = -n. Are 1209 and n nonequal?
True
Let m = -128 - -642/5. Let j be 56/70 - (-82)/10. Suppose -v - 3 = -a, 5*v + a - j = -0*a. Is v greater than m?
True
Suppose -495 = 3*x + 5*d, -2*x - 205 - 150 = -5*d. Let i = x + 173. Which is smaller: -38 or i?
-38
Let d be 2/5*10*(-8 - -9). Let y be (7 + -9)/(d/232). Is -117 > y?
False
Let v = -264 - -184. Let m = 74 + v. Which is bigger: m or -71/12?
-71/12
Let b = -44 - 26. Let x = -72 - b. Do -75 and x have the same value?
False
Let k be -18 + 41 + -32 + (-14016)/(-1558). Which is bigger: 1 or k?
1
Let x be 3*1158/4824 - 322/(-10787). Suppose -c - 2*u = -35, -2*c + 3*u - 3 = -38. Let j be (0 + -5)*2/c. Which is bigger: j or x?
x
Let v = -206.4 + 219. Let x = v + -13.6. Which is smaller: -2/39 or x?
x
Let h(m) be the third derivative of m**5/60 + 7*m**3/2 - 7*m**2 + 1. Let u be h(10). Which is greater: u or 120?
u
Let x = -686 + 407. Let w = x + 299. Which is smaller: w or 26?
w
Let d be (-4 - -10) + (-147)/3. Let v = 136 - d. Which is greater: v or 180?
180
Let z be (-126)/(-756) - 17/(-6). Let x be 2*4/(-12)*6. Which is smaller: x or z?
x
Let m = 2521 + -1034. Suppose 5*r = -20, 0 = 4*a + 5*r - 313 - m. Are a and 455 unequal?
False
Let j = 5133 - 4874. Which is bigger: 270 or j?
270
Let z = -16.2 - -16.276. Let i = z + -0.126. Are i and 2.2 non-equal?
True
Let f = -0.06183 - -33.73183. Let s = 33.7 - f. Which is smaller: 1/5 or s?
s
Let s = 9460 + -1702769/180. Let p = s + 1/36. Let a = 487361/3 - 162453. Which is bigger: a or p?
a
Let m be (-36)/(-90) - (-796)/10. Let w be (0 + 1)/(m/(-560)). Which is greater: w or 9?
9
Let w be ((-2)/(-148))/(1976/21344). Let c = w + 4/247. Which is smaller: -2/7 or c?
-2/7
Let j be (-2)/(-7) - (-150)/(-35). Let y be -66*(-4 - (-990)/243). Which is bigger: j or y?
j
Let l = -39 + 31. Let v = 7.68 + l. Let b = 681 + -682. Which is smaller: v or b?
b
Let v = 77 + -69. Let h be (-5 + -3)/v - (-1 + 6). Which is greater: h or -17?
h
Let x = -339.1 - 1751.9. Which is smaller: 1 or x?
x
Let r be 60/((-112)/(-60) + (-18)/(-135)). Suppose 20*l + r = -10*l. Is 10/27 != l?
True
Let l be 3 - 4/((-20)/85). Let d = l - 21. Let a be (6/15)/(6/(-5)). Is a bigger than d?
True
Let n = -19308/7 - -92417/35. Suppose 4*a = -a - 585. Which is greater: n or a?
a
Let u = -169 - -178. Let j be (1 - 1)*(1 + -9 + u). Are -3/44 and j equal?
False
Let m = -22270 + 110824/5. Are -104 and m equal?
False
Suppose 9*h = 6*h - 12. Let n be -1 + -1 + -26 - h. Let q = 208.9 - 209. Which is bigger: n or q?
q
Let w(x) = -x**3 + 4*x**2 - 2*x + 26. Let q be w(4). Let f be 5/q*53/265. Is -1 >= f?
False
Let p be (8 + -8)/(-23 + 20)*2/8. Is 6/4289 at least as big as p?
True
Let r(z) = 32*z - 88*z + 27*z - 7 + 31*z. Suppose 5*x - 2 - 13 = 0. Let v be r(x). Is v smaller than 2/9?
True
Let g(i) = -i**3 - 18*i**2 + 21*i + 37. Let z be g(-19). Let a(l) = -5*l - 1. Let t be a(0). Let f be (-8428)/22295 - ((-6)/(-10) + t). Is z bigger than f?
False
Suppose 195 = 12*a + 27. Suppose a*w = 20*w + 30. Is w at most -1?
True
Let c(d) = d**3 + 53*d**2 + 228*d + 12084. Let b be c(-53). Suppose -4*y = 49 - 305. Which is smaller: y or b?
b
Let m(h) = -h**2 - 15*h - 246. Let y be m(24). Do y and -1180 have different values?
True
Suppose 5*b + 4*r + 727 = 0, -3*b + 286 = -5*b - 4*r. Let s(t) = 3*t**2 + 143*t + 212. Let c be s(-45). Which is greater: b or c?
b
Let y = -6972 + 5223. Which is smaller: -1755 or y?
-1755
Let t = -36.41 + 37.81. Which is greater: t or -0.7?
t
Let f be 6/15 - 340/(-25). Suppose 5*z - 196 - f = 0. Let g = z + -73. Is 2/7 smaller than g?
False
Let r(z) = -2*z**3 + 2*z**2 + 2*z - 263. Let t be r(0). Let b = t - -264. Which is bigger: 2/183 or b?
b
Let i be (-4)/3*1/(-7). Let m(w) = -2*w**2 + 13*w - 40*w**3 + 17*w**3 - 10*w**2 + 22*w**3. Let r be m(-13). Are i and r equal?
False
Suppose -5*f + 242 = -3573. Suppose -14*a + f + 273 = 0. Suppose -5*x = 2*z + 59 + 68, 5*z - a = 2*x. Which is bigger: x or 2?
2
Let m = 0.089 - 0.178. Let a = m + 0.369. Is a greater than -1/8?
True
Let o be 1 + (-3)/(-1)*(-30)/45. Let n be (800/120)/(o/(-12)). Which is bigger: n or 81?
81
Let v = 1/12906 - 1258337/25812. Does 0 = v?
False
Suppose -4*l + 9624 = -14268. Let o = l + -65627/11. Are o and 7 unequal?
True
Let i be 10/(-5) - (1 + -6). Let q be 5 + (-104)/28 - 4/14. Let l = q + i. Which is greater: 5 or l?
5
Suppose 27*r = 80*r + 42*r + 6555. Do 7 and r have the same value?
False
Suppose -3*j - 1123 = -5*z, j + 2*z + 445 = 67. Which is greater: -374 or j?
-374
Let l = 31.59 + -27.59. Which is greater: 0.0009 or l?
l
Let w = 102.1 + -80. Let m = -2 - -24. Let s = w - m. Which is smaller: s or -9.7?
-9.7
Let j be ((-23)/115)/((-565)/50). Is -4/7 less than j?
True
Suppose 24*f = f - 23. Which is bigger: -2/5433 or f?
-2/5433
Let d = -6410 + 6245. Is d > -3?
False
Let v be 10980/(-305)*(-4)/(-2). Which is smaller: -47 or v?
v
Let b(j) = -139*j**2 - 5003*j + 36. Let o be b(-36). Which is smaller: -0.9906 or o?
-0.9906
Let l = 69183/1727 + 62/157. Does -0.2 = l?
False
Let j(a) = -13*a - 164. Let z be j(17). Is -378 > z?
True
Suppose t + 5 = -5*v + 17, -2 = 3*t - 4*v. Do t and 84/143 have different values?
True
Let k be ((-9 - -7) + 2 + 1)*-1. Is -3/3386 less than or equal to k?
False
Let v(d) = d**3 - 11*d**2 + 13*d - 759. Let t be v(14). Is t bigger than 426/37?
False
Let h = -176.381 - -7.381. Is 8 smaller than h?
False
Suppose 36*l - 63 = 45*l. Suppose 5*x - 12 = -2*i, -4*x + 5 = i - 4*i. Which is greater: l or i?
i
Let l be (4/43)/(7 - 130/20). Let b = 287/387 - l. Is 2 less than b?
False
Let j be -13 + 15*(168/35 - 5). Is j at least -423/28?
False
Let q = -6 + 4. Let g be (84/(-252))/(1/(-3)). Let w be (g + 75/(-81))/(4 + q). Which is smaller: w or 0.1?
w
Let w be ((-21)/6 - -3)*158. Let o be -2 - (1 + 2 + -3) - w. Suppose -1 = 4*f - o. Are f and 18 equal?
False
Let u = -15289 + 15334. Is u at least as