9 = -z - 0. Which is smaller: c or -2/3129?
c
Let p = -4.5 + -16.5. Let m be (100/(-125))/((-1)/5*-1). Let f be (((-3)/3)/(m/(-2)))/1. Are p and f equal?
False
Let s be 5 + (-7 - -4) - 0/(-1). Let i(p) = 7*p - 8. Let q be i(s). Let z be 14/18*q*2/42. Which is greater: -15 or z?
z
Suppose -2*o - 6*o - 896 = 0. Let u = o + 75. Let c = 79 + u. Are c and 42 nonequal?
False
Suppose 21128 = -3*j + 5*g, -j + 119*g - 7037 = 123*g. Does -1 = j?
False
Let t = -3 - -5. Let p be 4/510*(-689100)/60. Let b = p - -272/3. Which is bigger: b or t?
t
Suppose 8*z + 18 = 14*z. Suppose 0*s + s = z*w + 41, w + 3*s = -17. Let g = -14 + 1. Is w != g?
True
Let m = -1169 - -414. Let b = m - -738. Which is smaller: 1 or b?
b
Suppose 0*w + 5*w - 20 = 0, 5*p = w + 126. Let z = p - 41. Let x(v) = -v**2 - 8*v - 6. Let i be x(-9). Is z less than or equal to i?
True
Let f be 6*-1 - 588/(-12). Suppose -q - 89 = -2*t, 3*q - 34 = -2*t + t. Does t = f?
True
Let m(u) be the third derivative of 5*u**4/24 - 4*u**3/3 + 38*u**2 + 2*u. Let i be m(-4). Which is bigger: -32 or i?
i
Let t = -8.35 + 6.5. Let q = 621 + -623. Let m = t - q. Which is smaller: -0.2 or m?
-0.2
Let a(n) = -3*n**2 + 220*n - 3622. Let b be a(25). Which is smaller: b or 61/14?
b
Let r be 120/(-876)*1/2. Is -2 != r?
True
Let s = -25.5 + 8. Let c = -16.5 - s. Which is smaller: c or 2/231?
2/231
Suppose 0 = 5*f - n + 301, -540 + 605 = -f + 5*n. Is f bigger than 3.5?
False
Let t be (-448)/(-21) - 46 - -26 - (-20)/(-6). Let p(l) = 2*l**2 - 10*l - 8. Let n be p(-6). Suppose 5*w + n = w. Which is smaller: t or w?
w
Let f(x) be the first derivative of x**6/120 - x**5/10 - x**4/24 - 2*x**3 - 2. Let d(k) be the third derivative of f(k). Let p be d(4). Is p equal to -13?
False
Let q be 52/143 + 270909/(-12617). Is -20 less than q?
False
Suppose -2*a - 22 = 4*z + 122, -236 = 4*a - 5*z. Let w = a - -63. Which is smaller: -2/95 or w?
w
Suppose 5*p - t = 29, 0 = -3*p - 2*t - 71 + 78. Suppose -p*u + 26 + 19 = 2*s, 2*u = -s + 20. Is s less than or equal to 10?
True
Let r be 630/(-105) - 7/(-1). Which is bigger: 4/3571 or r?
r
Suppose 13*f - 33 = 136. Let x be (-14)/(-91) + (-41)/f. Are -4 and x equal?
False
Let v be 4/5 + (-101689468)/(-14123640) + -8. Which is greater: v or 0?
0
Let y = 4344 - 4335. Which is smaller: y or 218/27?
218/27
Let z be 2 + (4 - (2 - -1)). Suppose 2*v = -y, -y + z + 3 = -4*v. Let l = -522/31 + 4915/279. Is y less than or equal to l?
False
Suppose 7*a - 90 = -11*a. Suppose a*j + 15 = -10*j. Which is smaller: j or 60?
j
Let i = 146 + -145. Let o be (-20)/(-744)*(-4)/(-10). Which is bigger: i or o?
i
Let m(r) = r**2 + 9*r - 253. Let n be m(12). Does n = 6/3137?
False
Let k be (-618)/90 - -13 - 6. Is 17/12 at least as big as k?
True
Let r = -0.0926 + 342.0926. Which is smaller: r or 1?
1
Let v = 10 - 14.2. Let b = 3.3 + v. Let l = b + 0.9. Is 3/2 greater than l?
True
Suppose 0 = q - 3*s - 14, 2*s - 4 = -q. Suppose -q*i + 5 - 5 = 0. Let o be 0 + -1 + 0/2 + i. Is 1/28 at most as big as o?
False
Suppose 43*x + 1311 = -796. Are x and -48 unequal?
True
Let c = -23109 - -22921. Which is greater: c or -2269/12?
c
Suppose 376*k = 329*k - 1316. Which is bigger: k or -33?
k
Let k = 2739/20 + -1317471/9620. Let a = k + -125027/26455. Which is greater: -5 or a?
a
Let n be (-3620)/6*(-101)/((-18180)/(-864)). Is 2895 greater than or equal to n?
False
Let l = 25.478 + -76.058. Is l < 1?
True
Let m = -347 + 92. Let z = m + 262. Is z != 0.21?
True
Let z = 10917 - 3384273/310. Let q(w) = w**2 - 3*w + 2. Let l be q(2). Which is smaller: l or z?
z
Suppose 0 = -s + 4*l + 106, 4*l + 466 = -s + 6*s. Suppose 0 = -2*u + 2*f - s, 3*u - 3*f + 132 = -f. Let c be 9/12 + u/40. Is c >= -1?
True
Suppose v = 4*v - 2*l - 17, -3*v + 21 = -3*l. Let p = -1050 + 1022. Is p at most as big as v?
True
Let a = 564 + -534. Suppose a*o = 60 + 210. Let j be ((-17)/(-44))/(8/192). Which is smaller: o or j?
o
Let u = -0.99 - -1.03. Is 38/9 smaller than u?
False
Let a = 317 + -205. Let s be (-4 - (-462)/a)/((-4)/(-66)). Is 3 > s?
True
Suppose 0 = -587*y + 531*y - 12992. Do y and -238 have different values?
True
Suppose 82 = -3*n + n. Let m = 0.6 - 20. Let z = -20.4 - m. Is n equal to z?
False
Let k(u) = 9 + 8 + 7 - u**2 - 2 + 7*u. Let j be k(9). Let d = 5 + j. Which is smaller: 10 or d?
d
Let j be (28/7301)/(14/49). Let m be (-2)/(-10) + (-184)/20. Let d be (-8)/(-12) - (-6)/m. Do j and d have different values?
True
Let t = -24992/2275 - -506/325. Let n(v) be the first derivative of v**3/3 + 3*v**2 + v - 2. Let p be n(-3). Are p and t equal?
False
Let p be (61 - 5)/(2/(-9)) + -4. Is -66 at least p?
True
Let v = 132817 - 659591/5. Does 900 = v?
False
Let j = -265/54 - -137/27. Is j bigger than -0.125?
True
Let u(c) = -533*c + 149. Let n be u(3). Do n and -1452 have the same value?
False
Suppose 2*l = 3*v - 2044, -529 - 2200 = -4*v - l. Let m = v + -683. Which is smaller: -7/72 or m?
m
Let b be ((-2)/12*-8)/(34/(-7599)). Let i = b - -298. Which is greater: -2/141 or i?
i
Let i = 17342 + -17711. Which is greater: i or -357?
-357
Let b(r) = 113*r + 1976. Let z be b(-21). Which is smaller: -398 or z?
-398
Suppose 3*y + 10 = r, -12 = r + 3*y + 2. Let k(h) = -1382 + 1368 - 6*h + 2*h. Let g be k(-3). Are r and g non-equal?
False
Let f be ((-344)/10 + 2)*((-24360)/63)/29. Are f and 432 non-equal?
False
Suppose 3*i - 2*o = 94, 48*i - 3*o = 46*i + 61. Which is smaller: 95/3 or i?
95/3
Let m(r) = -123*r + 11. Let o be m(-15). Let b = o + -617. Let q = b + -40891/33. Is -1 at least q?
False
Let u = 541 - 30836/57. Let x = u + 1309/114. Let o(m) = 32*m - 1140. Let c be o(36). Is c > x?
True
Let m = -823.9 + 823.89. Let d be (6 - -1)*(-6 - -4). Which is smaller: d or m?
d
Suppose 113 = -47*s + 185*s - 1129. Which is smaller: 0.18 or s?
0.18
Let j = -17253 - -17257. Which is bigger: 1634 or j?
1634
Let f = -0.6 + 0.6. Let c(i) = 7*i**2 - 24*i**2 + 8*i**2 + 14*i + 10*i**2. Let o be c(-13). Which is greater: o or f?
f
Let q(v) = 712*v + 8547. Let t be q(-12). Which is bigger: t or -0.73?
t
Suppose 0 = -855*n + 1097*n + 242. Which is smaller: n or 10/4093?
n
Let w(v) = -480*v + 9005. Let s be w(18). Is s greater than or equal to 365?
True
Suppose 82*z - 83*z + 5*n = 904, 5*z + 4382 = 2*n. Is -874 equal to z?
True
Suppose 0 = 10*l - 21662 - 17478. Is l at most 3914?
True
Let o = 30311 + -30310. Is 2/12337 < o?
True
Let k = 36772/995 + 128/199. Let p = 17 + 20. Which is bigger: p or k?
k
Let t(n) = 2*n + 9. Let v be t(3). Let h be 64/15 + -4 - (-6)/v. Which is smaller: h or -95?
-95
Let w be 2/((-20)/(-70)) - (-4)/((-16)/28). Which is smaller: w or 1/3559?
w
Let v be (-20)/(6000/43540) - ((-4)/(-6))/1. Which is greater: 0.1 or v?
0.1
Let l(k) = -2*k**3 - 9*k**2 + 42*k + 151. Let u be l(-8). Let r(m) = 44*m. Let j be r(6). Do j and u have the same value?
False
Let y = -1983/32266 + 5/1898. Let k be 0 - -1 - (0 + 0). Which is bigger: y or k?
k
Let i = 9/148 - -3695/2516. Let v(m) = -m**2 - 54*m - 50. Let s be v(-53). Which is smaller: s or i?
i
Let j(s) = 4*s**2 + 12*s - 217. Let t be j(-9). Are -2/27717 and t unequal?
True
Suppose -4*a - b = -a - 209, 0 = -3*a + 3*b + 213. Let t = -47138/681 - 26/227. Let j = a + t. Do -8 and j have different values?
True
Let x(w) = w**2 - 511*w + 2531. Let k be x(5). Which is greater: k or 2/25651?
k
Let y = -312/23 - -4332/299. Which is greater: y or 26?
26
Suppose -10*p + 897 = -3. Let b = 90 - p. Which is smaller: b or 138?
b
Let a = -7482 - -7456. Let i(y) = -y**3 + 5*y**2 + 9*y + 7. Let d be i(7). Is a less than or equal to d?
False
Let b = -12.13 + -1.17. Let l = b + 6.3. Let g = l + 7.1. Which is greater: -10 or g?
g
Suppose -z = 5*f - 38, -16 = 26*z - 31*z + 4*f. Which is smaller: z or 70.9?
z
Let f = 14 - 26. Let s = 30437.78 + -30438. Which is smaller: f or s?
f
Let y(o) = -11*o**2 - 34*o + 53. Let i be y(-5). Let a(z) = 13*z + 3. Let q be a(-4). Which is smaller: q or i?
i
Let h be (-5 - (-798)/147) + 10887/(-25599). Is -1 != h?
True
Let r = 317.28 - 308. Let p = 22 - r. Let w = p + 0.28. Are 1 and w nonequal?
True
Let k(x) = 4*x**2 + 5*x + 2. Let p be k(-3). Let w = 328 + -328. Suppose -44 = -2*r - 2*c + 4*c, 4*c = w. Which is smaller: r or p?
r
Let w = -65.79 - 0.21. Let u = 66.137 + w. Let b = 0.037 - u. Which is smaller: b 