 = 5*i. Let b be 0 + i + (-9 - (-24 - -10)). Is b greater than 1/842?
False
Let w(l) = -5*l + 47. Let z be ((-145)/87)/((-1)/9). Let c be w(z). Is -30 <= c?
True
Suppose 13*j + 232 = -379. Which is smaller: -52 or j?
-52
Let y be (2352/(-20))/4 - (-1 + 0). Let z = 1903/10 + -832/5. Let t = y + z. Which is smaller: t or -5?
-5
Let k be (-14 - (11 + -8)) + 16. Are k and -1/339 non-equal?
True
Let y = 338.88 + -363.027. Let k = y + 0.147. Is -1/5 at least as big as k?
True
Let p = 0.239 - 0.019. Let b = 319 + -321.78. Let f = b - p. Do 1 and f have the same value?
False
Suppose -72*w + 1548 + 930 = 534. Do w and -2 have different values?
True
Suppose -2*c = -9*n - 1302 + 4516, 5*c + 2*n + 7937 = 0. Which is smaller: c or -1587?
c
Let r be (-6)/9 + 15/54. Suppose 3*a - 21 = -4*w, -5*w = -956*a + 961*a - 25. Is a > r?
False
Let i be (-38858)/54 - (-4)/6. Let u = 719 + i. Let m = 253822/7 + -36260. Which is greater: m or u?
m
Let l be ((-18)/(-8))/(1/(-8)). Suppose -4*z + 52 + 35 = -5*j, -2*z - 4*j + 76 = 0. Suppose 0*a = 2*a + z. Is l less than a?
True
Let m(g) = 2*g + 37. Let x be m(-16). Suppose -x*b = s - 1381, 21*s = -2*b + 16*s + 557. Which is smaller: b or 277?
b
Let k(g) = -39*g**3 - g**2 - 38*g + 145. Let u be k(3). Is u equal to -0.4?
False
Let k = 180/179 - 74873/73211. Is 5 equal to k?
False
Let k = -566.214 + 1.214. Let a = -567 - k. Which is smaller: a or 136?
a
Let f = -3317 + 3355. Is f != 125?
True
Let o be (-2)/(-4)*1*16. Let i = 4380 + -4398. Is i at most as big as o?
True
Suppose 7*j + 0 = -7. Let r = j - 0. Let h be r*3/(-12)*4. Is h at least 3?
False
Let t(k) = -k**3 + 16*k**2 - 11*k + 74. Let s be t(13). Let g = s + -391. Is 45 at least as big as g?
False
Let d = 12 + -2. Suppose -d = 2*a - 36. Suppose 134 - 143 = 9*o. Which is smaller: a or o?
o
Suppose -4*y - 7 = -2*u + 3, 3*y - 4*u = -20. Which is smaller: -7/260 or y?
-7/260
Let b = 303 + -219. Let v be (14/(-42))/(2/(-1026)). Let n be 1/(-2)*(4 - -1 - v). Is b not equal to n?
True
Let r(a) = a**2 + a + 8. Let p = -11 + 16. Let y be r(p). Let x = 35 - y. Which is smaller: -0.1 or x?
x
Suppose 206*a - 208*a = -5*h - 67, 16 = -2*h - a. Is -297/28 at most h?
False
Let d = -60 + 179/3. Let l = -54.2 + -0.8. Let t = 76 + l. Which is smaller: t or d?
d
Let b = -28.19 - -0.19. Let g = b - -27. Let r = g + -10. Is 2 less than or equal to r?
False
Let j be (-78)/15 + 6 - 146/(-5). Let z be (-54)/j - (-1)/(-5). Is -12/19 at least as big as z?
True
Let p be (210/(-20) + 11)*(-4)/(-5). Let o(r) = -2*r + 5. Let u be o(-2). Which is greater: p or u?
u
Let k(t) = -t**3 - 9*t**2 + 36*t - 8. Let c be k(-12). Let u(v) = -10*v - 73. Let p be u(c). Suppose 4*m = -5*w + 3, 3*m = 2*w + 6*m + 3. Is p at least w?
True
Let v be 0 - 5 - 8/((-5760)/3606). Let u = 1/40 + v. Which is greater: -5 or u?
u
Let z = -184 - -909/5. Let y be 280/30 - 2/6*-2. Let d be y/(-4)*118/295. Is z at least d?
False
Let j be (6/4)/((-27)/(-900)). Let c be j/(-1300)*(-1 - -15). Is -1 at most as big as c?
True
Let l = 4586 + -4585. Is l > 80/37?
False
Let k(f) = -f**3 - 4*f**2 - 4*f + 1. Let y be k(-3). Let o = -1112 + 1116. Suppose -2*m = -y*m - 4*w, -w = -o*m. Is -3/25 bigger than m?
False
Let j = 930 - 1004. Let f be 74/1 - (-6)/(-21). Let t = j + f. Is -79 >= t?
False
Let k = -2.4 + 0.73. Let n = k + -40.33. Which is bigger: n or -0.1?
-0.1
Suppose 1702 = -2*i + 318. Let c = -13151/19 - i. Which is greater: c or 1?
1
Let q(n) = 6*n - 24. Let s be q(17). Let a be (-22 + 1)/(s/104). Which is smaller: -30 or a?
-30
Let x(j) be the second derivative of 2*j**3/3 - 21*j**2/2 + 712*j. Suppose 2*f = k + 14, -51 = -4*f + 5*k - 17. Let u be x(f). Is 5 greater than u?
True
Let p = 3.747 - 31.747. Is p less than or equal to 0.21?
True
Let g = -7.92 - -7.62. Which is smaller: 377 or g?
g
Let q = -0.45105 - 0.54895. Let r = -0.26 - 0.04. Which is bigger: q or r?
r
Let a be ((-3)/2)/(-6*3/120). Let c be (332/a)/(144/120). Which is smaller: c or 27?
27
Let d be -4 + 5/((-140)/2596). Let m = d + 97. Let j be 35/(-77) + 0/1. Which is greater: m or j?
m
Let s be ((-21 + 23)/(-1*43/1))/171. Which is bigger: -1 or s?
s
Suppose 8*m + 16 = -8. Suppose 0*u + 3*l = 3*u - 15, 4*u + 2*l - 20 = 0. Let j be (-6 - m)/(u - 2). Which is bigger: j or -6/7?
-6/7
Let r be (-3 - (-1)/(-1)) + 4 + 39. Let f be r/15 - 3 - (-3366)/15. Let y = 465/2 - f. Which is smaller: 9 or y?
y
Let h be (2 + (-6)/(-3))/1. Suppose 224 = h*l - 408. Let k = l - 1108/7. Which is bigger: k or 10?
10
Let m = 5963/12 + -780145/1572. Are 1 and m equal?
False
Let u = -5805 - -3855. Let h be 2921/u - 9*1/(-6). Which is bigger: h or 0?
h
Suppose 2*d - 2*b - b = -633, 0 = d + 4*b + 344. Let m = 323 + d. Is m greater than or equal to -4/65?
False
Let h = 575 - 632. Which is bigger: -56 or h?
-56
Let w = -23.9 - -32.9. Which is bigger: w or 2/541?
w
Suppose 5 = -2*r + 1. Let d = r + 6. Let u be (20/11)/((-230)/(-1012)). Which is smaller: d or u?
d
Let g be (-264)/220 - (-1656)/5. Which is bigger: -2/5 or g?
g
Let a(u) = u**3 - 2*u**2 + u + 4. Let t be a(2). Suppose 0 = 2*k - t*n + 4*n - 122, 0 = 4*k - n - 256. Which is smaller: k or 64?
64
Suppose -3*k - 42 = -k. Suppose -3*f - 302 + 311 = 0, 4*d + 2*f + 78 = 0. Is k less than or equal to d?
True
Let l(q) = 6*q**2 - 10*q + 16. Let t be l(-3). Are 100 and t equal?
True
Let i(g) = -g**2 + 11*g - 31. Let d(q) = -3*q**3 - 8*q**2 - 7*q - 1. Let b be d(-2). Let u be i(b). Is -2/87 <= u?
False
Let u be 7/((-560)/(-96)) + (-150)/69. Are u and 0 equal?
False
Let c(l) = -4*l - l + 4*l. Let f(g) = -g**2 + 8*g + 49. Let w be f(12). Let t be c(w). Is 1/17 < t?
False
Let p = 2271 - 2310. Is p not equal to 292?
True
Let d = -125.62 - -123.44. Which is greater: -2/55 or d?
-2/55
Let t be 3 - (-9 + 63/7)/((-1)/(-1)). Let j = -12.2 - -11. Let a = j - -4.2. Is a at least as big as t?
True
Let f = 295 + -172. Let s = f - 119. Is 1/11 at most as big as s?
True
Suppose 0*u - 9*u + 18 = 0. Suppose 10 = 5*n + 4*v, 3*n - u*v - 9 + 25 = 0. Is 14 <= n?
False
Let m = 2897/20 - 145. Let n = m + 3/4. Are n and 1 non-equal?
True
Let w = 37.35 + -75.35. Is 2/49 at most w?
False
Let u = -10.8 - -6.5. Let b = -3.3 - u. Let a = 13 - 7. Which is smaller: b or a?
b
Let z = 50 - -13. Let n be 18/z + 1/(567/(-78)). Let o = -2 - -3. Which is bigger: o or n?
o
Suppose 4*z = 201 + 551. Suppose -2369*k + 1199*k + 1256*k = 16254. Is k bigger than z?
True
Let f = 680 + -360. Let d = -314 + f. Let w be ((-4)/(-42))/(1/51). Which is smaller: d or w?
w
Let b(i) = 10*i - 76. Let y = -111 + 119. Let l be b(y). Which is smaller: 0.02 or l?
0.02
Suppose 43*o = 28*o - 85240 - 9215. Are o and -6296 equal?
False
Let r(h) = 6*h**2 + 290*h - 76. Let i be r(-48). Is -164 greater than i?
True
Let l(a) = a**3 - 5*a - 2. Let y be l(3). Let u = y + -10. Suppose -3*p + u*q = 4*q + 183, 3 = -q. Which is smaller: p or -58?
-58
Let q(i) = i**3 - 18*i**2 + 37*i - 16. Let f be q(16). Let t = 64 - f. Let n = -1.258 + -0.142. Is t equal to n?
False
Let k be (-8)/(-6)*(-9)/(-2). Suppose 184 = 4*q - 997*u + 1001*u, 3*q + 5*u - 178 = 0. Which is greater: k or q?
q
Let t be -16 + 4 + (-2 - 0). Let n = 46750 + -46737. Is t at most n?
True
Suppose 5*o + 8 - 13 = 0. Suppose 5*j = -2*l + 4*j + o, 5*j - 5 = 3*l. Is l at most -7/20?
False
Let a(b) = -b**3 + 30*b**2 - 155*b + 12. Let c be a(7). Suppose -8*h = -6*h - 108. Is c at least as big as h?
True
Let f = -61 - -56. Let r be -2*(0 + (-10)/f). Let m(v) = v**3 + 10*v**2. Let h be m(-10). Is h equal to r?
False
Let i = -12 - -48. Let r = 541/15 - i. Which is smaller: r or 0?
0
Suppose 96*b + 1820 = 44*b. Which is bigger: b or -12?
-12
Let h = -13549 + 13580. Suppose 8 = 2*s - 56. Is s bigger than h?
True
Let y = 120678 + -120676. Let p = 5.8 + 112.2. Which is greater: p or y?
p
Let n be 5/20 + (9/(-12))/3. Suppose n = -5*s + 2*s + 57. Is -4 at least s?
False
Let z be (9/(-12))/(1/(-9 - -1)). Let v be (-3452)/5*4/96*z. Is -173 greater than or equal to v?
False
Let u(k) = 223*k + 13600. Let s be u(-61). Is s greater than 132?
False
Let o = 702 + -115121/164. Let c = 4297955 + -11982698667/2788. Let n = o - c. Which is smaller: n or 1?
n
Let n be -51*-3*(-1)/(-9). Let z = n - 18. Let o be -9 + 5 + z + -2. Which is greater: o or -6?
-6
Let n = -75 + 143/2. Let