 -p + n + 249 = -2*p. Suppose 4*r + 0*r + 911 + 105 = 0. Is p at least as big as r?
True
Suppose -3*a = 2*n + 19 - 23, 4 = 3*n + 4*a. Let k = 3.98 + -4. Which is greater: k or n?
k
Let t = 32 - 30. Suppose 0 = 2*w - t*s - 4, 0 = 3*w + 7*s - 2*s - 30. Let f be 3/((3 - w)*9/(-6)). Is f at least as big as -2/105?
True
Let o = 66.2 - 5.2. Let d = 337 + -194. Let w = d - 143. Which is smaller: o or w?
w
Let a = 0.06 - -0.44. Let h = 792.1 - 31.1. Let x = -759.2 + h. Which is greater: a or x?
x
Suppose 4*d - 4*x + 11276 = 0, -91*d - 11261 = -87*d - x. Which is bigger: -2816 or d?
d
Let n = 5.214 - 5.7386. Let z = -0.0246 - n. Does z = 29?
False
Let z(g) = g**3 - 5*g**2 - 43*g + 28. Let l be z(9). Do 2 and l have the same value?
False
Let n = -250 + 274. Let y = -45 + n. Is y equal to -0.04?
False
Let k = -16646 - -16371. Is -3010/11 less than or equal to k?
False
Let r(f) = -19*f**3 + 5*f**2 + 6*f + 1. Let q be r(-2). Let u(h) = -h**2 + 29*h + 25. Let k be u(23). Which is bigger: q or k?
k
Let v be (-13)/(-13) + 10/22. Let g = 66 + -60. Suppose -g*z = -13*z + 7. Which is bigger: v or z?
v
Let z(n) = 7*n**2 - 67*n + 61. Let q(u) = 3*u**2 - 33*u + 30. Let t(g) = 5*q(g) - 2*z(g). Let b be t(30). Is -15/17 at least b?
True
Let t be 22/((-99)/(-9))*(36/(-8) + 4). Is -2/7647 < t?
False
Let m be (-220)/30 + 8 - (-44)/(-38). Let g = 3/19 + m. Which is smaller: g or 196?
g
Let k = -254.7 - -7.7. Let l = -342 - k. Is -0.1 at least as big as l?
True
Suppose 0 = -5*t - r + 146, -26 = -3*t + 2*t + 3*r. Let a = 759 - 1464.1. Let s = a - -705. Is t != s?
True
Let v(s) = s**2 - 76*s - 16. Let d be v(10). Is -673 not equal to d?
True
Let t = -2634 - -3747. Which is smaller: t or 1?
1
Let a(c) = -7*c**2 + 6*c + 87. Let t be a(-7). Let i = t - -245. Do -54 and i have the same value?
False
Let x = 79.11 + -79.14. Which is greater: 4/67 or x?
4/67
Let l(p) = -264*p + 2903. Let v be l(11). Is v greater than or equal to -57/77?
False
Let b be 6/18 - 996/(-42)*994/6. Which is bigger: b or 3930?
3930
Let b = -19 + 9. Let a(v) be the third derivative of v**4/24 + v**3/6 + 14*v**2. Let o be a(b). Which is smaller: -35/4 or o?
o
Let o = 86.97 + 7.03. Let b = 93 - o. Which is greater: 47.1 or b?
47.1
Let k(d) = 1. Let p(l) = l**2 + 20*l - 44. Let y(a) = -5*k(a) + p(a). Let g be y(-23). Suppose o + z - 4*z + 7 = 0, -g = 5*z. Is -53/3 < o?
False
Let i = 805 + -695. Suppose 5*t = 3*j + i, -2*j = -0*t - 5*t + 75. Is j > -29?
False
Let i(l) = -25*l - 1. Let x be 48/(-60) + (-8)/(-10). Suppose x*t - t = 1. Let y be i(t). Which is greater: y or 25?
25
Let w = -310 + 310. Let v = w + 83. Which is smaller: v or 84?
v
Suppose -3*m = 5*k + 616, 14*k - 120 = 15*k + m. Which is smaller: -63 or k?
k
Let b = -3727 + 3726. Is b < 2/1707?
True
Let n be 22/77 - 94/(-14). Suppose -3*g + 2*a - 73 = n, -2*a = -2*g - 56. Is -24 >= g?
True
Suppose -2*v - 5*m - 27813 = 0, 3*v - 275*m + 41712 = -280*m. Is -13899 at least v?
True
Let k = 2833 + -2833. Is k not equal to 2/18045?
True
Let x = -4138 + 4124. Does 113 = x?
False
Let q(g) = 9*g**3 + 29*g**2 - 13*g - 70. Let t be q(-2). Let x be (1/(-2))/(218/(-4)). Is t != x?
True
Suppose 5*j - 32 = -3*o, 11 = 2*o - j - 6. Let h be (-3)/o*(-6)/(4 + -2). Suppose 0*t + t = -h. Are -2 and t non-equal?
True
Let n be -4 - (4 + (-20 - 2)). Suppose -n*t = 2*t - 80. Suppose -2*d + 9 = -t*y, 5*d - 12 = 2*y - 0*y. Is d equal to 8/13?
False
Let l be (-12)/9 - 187/51 - -5. Is -1/701 < l?
True
Let l be -1*-12*(-16)/6. Let p(c) = -12*c**2 + 13*c - 5. Let f be p(2). Which is greater: f or l?
f
Let j(o) = -2*o**3 + 85*o**2 + 40*o + 130. Let i be j(43). Which is bigger: -3/1711 or i?
i
Let i = 4820 + -5412. Is i > 6?
False
Let x be 94/(-4)*18/9. Let m = x + 47. Suppose 8*j - 90 + 274 = m. Does -24 = j?
False
Let b(l) = 2*l**2 + 29*l + 57. Let m be b(-12). Let g be (-11 + 15)*m/18. Which is smaller: -22 or g?
-22
Let k = 450866027/5815 + -77535. Let q = -116318/52335 + k. Which is greater: -2/5 or q?
-2/5
Let w = -1.05614 - -52.08514. Let r = w - 51. Let n = 3.971 + r. Which is smaller: -5 or n?
-5
Let u(m) = -m - 4. Let p be u(-4). Suppose -133 = 4*d + 227. Which is greater: p or d?
p
Let o = -69431/91 - -492199/273. Let i = o - 1040. Which is greater: -1/4 or i?
i
Let p be (-242)/6 + 22/66. Let i(q) = -6*q**2 + 6*q - 2. Suppose -21 = -3*n - 4*d, 0*n - 4*d = -2*n - 6. Let h be i(n). Which is smaller: p or h?
p
Let r = -97 + 100. Suppose 5*n = -20, n = -r*o + 2*o - 3. Is -5/78 greater than o?
False
Let h = -28525 + 20901. Is -7625 smaller than h?
True
Let i = -4.2 + 3.9. Let z = 0.1 - i. Is z less than or equal to 3?
True
Let j = 4519 + -1355. Let a be ((-1)/(-5) - j/720) + 4. Is a greater than or equal to 0?
False
Let l be (-40)/(-180) - (-3417)/(-15012). Which is greater: l or -1?
l
Let n = -27968/9 - -3106. Let x = 24/67 - -2404/3015. Let a = x + n. Is a at most -0.13?
True
Let j = 27.06 - 26.79. Which is smaller: j or -2/5?
-2/5
Let p = 29/25250 - -3/202. Let y be 0 - (4 + (-4976)/(-1500)). Let l = y - p. Which is smaller: l or -8?
-8
Let v = -232.7304 - -233. Let t = -0.0594 - v. Let q = 0.35 + t. Is 1 at most as big as q?
False
Suppose -37*x + 902 = -15*x. Let l be ((-24)/(-36))/(x/(-3)). Which is bigger: -1 or l?
l
Let p be -2 + (-358)/(-352)*2. Let i = 178154 + -178154. Which is bigger: p or i?
p
Suppose 4*c - 46606270 = 189696326. Let b = 5848435492/99 - c. Let s = b + 543. Do 0 and s have different values?
True
Let d = 21/2 + -81/14. Suppose -4*q - 4*c = -2*q - 30, -2*q + c = -5. Which is bigger: q or d?
q
Suppose 0 = -4*p + 12, 4*c + 1043 = -p + 6*p. Let h = 1289/5 + c. Let y(r) = r - 2. Let z be y(4). Is z greater than or equal to h?
True
Let v(y) be the third derivative of y**6/120 + y**5/15 - 7*y**4/24 - 9*y**3 - y**2 + 13*y. Suppose -2*j - 5 = -j. Let n be v(j). Is -44 != n?
False
Let h be (10/15)/(8/(-300)). Let i be (-6293)/245 - ((-138)/42 - -3). Which is bigger: i or h?
h
Let b be (4 - (-175)/2)*2. Suppose -b + 23 = -5*v. Suppose 0*k + 5*k = 5*l + 5, -5*l - v = 4*k. Are k and -3 unequal?
False
Let l = -0.48 - -0.08. Let p = l - 1.6. Suppose -4*d - 3*w = 12, -7 + 3 = w. Do p and d have the same value?
False
Suppose 0 = 3*l + j - 326 - 127, -5*l - 5*j = -745. Let a = -21309 - -21461. Is l at most a?
True
Let v = -67 - -66.8. Let z = 112.8 - 118.6. Is z smaller than v?
True
Let k = 91.4 - 15.4. Let u(p) = p**2 + 128*p + 251. Let s be u(-2). Is s smaller than k?
True
Suppose 2*y = 4, 30*y - 32*y = -t - 24. Is t at most -27?
False
Let c = 185 - 186. Let a = -0.89 - c. Which is smaller: a or -1/2?
-1/2
Let l be 5 + -5 - (5 - -88). Let i be (3 + l/30)*(-20)/384. Is 0 smaller than i?
True
Suppose d + 16 + 32 = 0. Let u be (2 + 129/(-6))/(36/d). Let p(i) = -i**3 + i**2 + i + 28. Let z be p(0). Are u and z non-equal?
True
Let k be (1 - (2 - (-3)/(-5)))/((-15282)/90). Does k = -1/3?
False
Let r(w) = 106*w - 6401. Let a be r(55). Which is smaller: a or -576?
-576
Suppose 11*w + 46 = 123. Let h be (1 + -7)/((-2)/3). Is h < w?
False
Let f be ((-17162)/4)/(7/3738*-123). Let w = f - 18628. Which is bigger: w or 0?
0
Suppose 5*q = -g - 1039, -22*g + 4*q + 4076 = -26*g. Are -1 and g unequal?
True
Let i(p) = 5*p**3 + 10*p**2 + 9*p + 2. Let m be i(6). Is m bigger than 1495?
True
Let v(u) = 131*u + 5890. Let t be v(111). Which is bigger: t or 20432?
20432
Let v = -18/313 + 37777/30987. Let g = -47/11 + v. Suppose -10 = 2*q + t, -4*q + 8 = -4*t - t. Is g < q?
True
Let n(l) = 75*l + 1667. Let r be n(5). Do r and 2042 have the same value?
True
Suppose -7660*k + 442 = -7661*k. Is k <= -445?
False
Let k be (-15 - 9324/(-590)) + 6/(-10). Let u = -9 + 9. Is k less than or equal to u?
False
Let k = 11161/1169 - -4/167. Let v = k - 3897/413. Which is greater: 1 or v?
1
Let s be 2*1 + -1 + -715. Let f = 2283 + -1163. Let k be 4/(-6)*2 - f/s. Which is bigger: k or 1?
1
Let z = -415 + 471. Let u be z/(-6) - 58/87. Is u equal to -29?
False
Let y = 10921 + -10928. Is y at least as big as 12?
False
Let u(c) be the first derivative of -2*c**2 - 19*c + 2. Let v be u(-8). Let x = v - 10. Which is greater: x or -1?
x
Let d = 61520 - 34389695/559. Which is bigger: d or -1?
d
Let b = 63 - 65. Let y be (-2)/(-8)*(14 + (b - 0)). Let o be -4*y*(-1)/12. Which is smaller: o or 0.2?
0.2
Suppose 0 = 5