e
Let s be (63/42)/((-114)/(-20)). Let q = 71/342 - s. Is q smaller than 1?
True
Suppose -6*c = 11*c - 5*c. Is c greater than or equal to 4/383?
False
Let t = 168 - 168. Are t and -2/29 non-equal?
True
Let b = 0.024 - 65.024. Is b > -3?
False
Let s be ((-4)/178)/(-2 - -1). Suppose 3*l + 83*w - 19 = 87*w, 4*l - 24 = 5*w. Does l = s?
False
Suppose -4 = -4*z - 3*p, 6*p + 20 = p. Suppose -z*i = 2 - 6. Suppose 3*g = -m + 5 - 18, -2*m - 16 = 4*g. Which is bigger: i or m?
m
Let j = -826 - -751. Which is smaller: -74 or j?
j
Suppose 12*t - 32 = -164. Let a be -2 - (-159)/(-18) - 0. Is a smaller than t?
False
Suppose 3*c + 5*n + 30 = -2*c, 12 = -5*c + n. Let d = c - -3. Which is smaller: d or -2/5?
-2/5
Let y = -2.7728 - -0.0728. Which is bigger: 7 or y?
7
Let y = 27.9 - 28. Is y < 2.18?
True
Let d be (-2)/2 - (162197/(-9555))/17. Is 2 bigger than d?
True
Let r be (-43)/(-86)*(2 + 0). Which is greater: r or 2/1589?
r
Let m = -2.12 + 2. Let i = -16.82 - -18.7. Let a = i - m. Which is smaller: -5 or a?
-5
Let g = -0.382 - -8.382. Let b = 179/3 + -59. Is b less than or equal to g?
True
Let f(q) = q**2 + 4*q - 2. Let y be f(-5). Suppose 4*r = 10 + 6. Suppose -10 = -r*v - 2. Which is smaller: v or y?
v
Let y be 920 + (2 - (3 + 4)). Is 915 less than y?
False
Let c = -50 + 92. Let q be (-4)/(-14) - 222/c. Let h = q - -7. Is 3 less than h?
False
Suppose -3*x - 4*s = -0*x - 4, -2*s + 2 = -x. Suppose x = -h + 5*y + 7, 5*y + 9 = -3*h + 5*h. Let c be -1 + 4 - (1 - 2). Which is smaller: c or h?
h
Let s be 8/6*6/4. Let i be (s - 1)/(6/(-138)). Let t be -22 + 0/(-4) + (-3)/3. Is t <= i?
True
Let n be (-4)/12 - 1474/6. Let s be 0 + n/(-63) - 4. Which is smaller: -1 or s?
-1
Let o(l) = l**2 + 2*l - 1. Let m be o(2). Suppose -m = -4*z + 9. Suppose -i + 6 = z*x, -i = -4*i - 3*x + 36. Is 13 at most i?
True
Suppose 2*p = -p - 21. Let a(s) = -22*s + 12. Let i be a(1). Which is smaller: p or i?
i
Let i be (-14)/(-161) - 15079/168912. Is i >= 0?
False
Let y = -18 + 22. Suppose -y*u + 3 = 35. Let v be (-2)/28*u/2. Which is smaller: 1/2 or v?
v
Let r = -534 + 526. Which is smaller: r or -76/11?
r
Suppose 4635 = -3*q - 2*q - d, 2*d = -2*q - 1862. Is q at least as big as -927?
True
Let z = 557.4 + -555. Which is smaller: 0.15 or z?
0.15
Let p = 2/5245 - -132172/5245. Suppose -4*m + 48 = -2*m. Which is smaller: p or m?
m
Let t(j) = 23*j + 367. Let s be t(-16). Let w = 225 - 1355/6. Which is smaller: w or s?
s
Let p = 1372 - 1371.8. Let s(r) = 5*r**3. Let m be s(1). Suppose 5*t + m = 3*l, t - 3*l + 6*l - 17 = 0. Which is bigger: p or t?
t
Let w be 3*-3 - (-10 - -11). Let c = 12 + w. Suppose 7*j - c*j + 4*y = 0, 3*j = -3*y. Are 4/5 and j equal?
False
Suppose 48*w + 2*p = 46*w, 4*p = w - 5. Which is smaller: w or -7/60?
-7/60
Suppose -5*l + 5*q = -30 - 0, -5*l = q - 6. Suppose 2*i = l - 4. Which is bigger: i or 0.13?
0.13
Let u(r) = r + 1. Let w(c) = c + 3. Let o(t) = 2*u(t) - w(t). Let f(z) = z**2 + 2*z + 2. Let n(k) = f(k) - 3*o(k). Let a be n(0). Which is greater: 6 or a?
6
Let r be (-14)/(-112) + (-97)/8. Which is smaller: -7 or r?
r
Let q be 1*-4 - (-159)/(-6). Let u = 119/4 + q. Suppose 6 + 2 = -5*l - 4*d, -4*l - 4*d = 8. Is u <= l?
True
Suppose -27*h + 612 = 9*h. Is 17 less than or equal to h?
True
Suppose j + w + 56 = 4*w, -5*w = -j - 62. Let u = j + 55. Is u less than or equal to 1/4?
False
Let d be 0/(3/9*6). Suppose d = -6*w + 10*w - 4. Do 8/11 and w have the same value?
False
Suppose 0 = 5*u - 2*o - 161, -o - 64 = -3*u + u. Let p = 49 - u. Let g be (-14 - 1)*1*-1. Is p not equal to g?
True
Let k = -1408 - -1399. Let b be 75/(-27) - (-2)/(-9). Is b > k?
True
Let o be (-1)/(-3)*6/2. Suppose o = -30*u + 29*u. Which is smaller: u or 0.2?
u
Let x(r) = -17*r**3 - 5*r**2 - 5*r - 2. Let l be x(-7). Let o be l/(-84) + (-4)/16. Let w = -67 - o. Are w and 0 equal?
False
Let q(j) = -9*j + 231. Let a be q(0). Is a less than 231?
False
Let k(r) = r**2 + r + 132. Let p be k(0). Let s = 222 - p. Suppose s = -4*j - j. Is j greater than or equal to -18?
True
Let y = 7 + -12. Suppose 10 - 4 = 3*p. Suppose -2*g + 4*k = 0, -p = -2*g + 3*k - 5. Which is greater: g or y?
y
Let c be ((-20)/60)/(2/6). Which is bigger: c or -1/297?
-1/297
Let g = 15.84 + -15.64. Let q = 10.8 - 14. Which is bigger: g or q?
g
Suppose 260 = 3*b + 77. Does 64 = b?
False
Suppose 3*u = 55 - 67. Let b be 1/(2 + u) - 9/4. Is -4 > b?
False
Let f be (6/27)/(-1) - (-1456)/72. Let o be f/12 - 21/7. Is 0 greater than or equal to o?
True
Let u be 1/(9/45*-5). Let d = -242/5 - -21044/435. Which is bigger: u or d?
d
Let g be 106/6 - (140/21 + -6). Suppose 3*m = -5*a - g, 6*a - 12 = 10*a + 2*m. Is 1/14 < a?
False
Let t be 32/(-8)*(-5)/10. Let s be (-9)/(-24)*28/9. Which is smaller: t or s?
s
Let h(p) = -p**3 - 4*p**2 + 8*p + 6. Suppose -7*b - 17 - 18 = 0. Let a be h(b). Which is smaller: a or -12?
-12
Let j = 10.8 - 10. Let l = j - -1.2. Let u = 0.11 + -0.21. Is l smaller than u?
False
Let b be (-12 + 0)/(9/(-6)). Let q(p) = -p**2 + 7*p + 8. Let n be q(b). Let h be (2 + -2)*(-4 + 5) - -2. Which is greater: n or h?
h
Let a(y) = y**2 + y - 3. Let s be a(0). Let r = 244 + -1721/7. Is s bigger than r?
False
Let n = 69 + -72. Let o be 4/(-2 - n) + 0. Let x be (-3)/6*-14*1. Is x bigger than o?
True
Let f = -504 - -5540/11. Let b(p) = -2*p - 9. Let u be b(-6). Suppose -2*j = -u*o + 1, -5*j + 2*j = 2*o + 8. Is o smaller than f?
True
Let f be (2/2 - -2) + 1. Let c be 0 + (32/(-2))/f. Let v be (c/14)/(8/(-4)). Which is smaller: v or 0?
0
Suppose -3*l - l = 5*m + 4, -3 = -5*m + 3*l. Let t be 51608/(-176) - (-2)/(-4). Let g = -294 - t. Which is smaller: g or m?
g
Let f be (2/(-12))/(1/4). Let z = -3.2 - 30.8. Let p = z - -32. Do p and f have different values?
True
Suppose -4*p - 31*c - 9 = -30*c, 0 = 2*p - 2*c - 8. Which is bigger: 1/710 or p?
1/710
Let w(k) = 2*k**3 + k**2 - 3*k - 2. Let q be w(-2). Suppose 7*p - 2*p = 100. Let t be (p/(-40))/(1/14). Which is greater: t or q?
t
Let u = 4453 + -138077/31. Which is smaller: 0 or u?
u
Let p be 1/(3/(6 + -3)) - 0. Suppose -5*k + p - 187 = m, -5*k + 2*m = 198. Which is greater: -37 or k?
-37
Let a = -2.05 + 0.05. Let b(m) be the first derivative of m**2 - 66*m + 19. Let p be b(32). Does a = p?
True
Let w = -93 + 92.55. Let s = w - -0.45. Which is smaller: 52 or s?
s
Let z = -0.1584 + 0.0584. Suppose -5*p = -216 + 11. Suppose 5*g + p = -2*u + u, -5*g = 3*u + 83. Is z less than u?
False
Let l(n) = -n**3 + 2*n**2 - 2. Let x be l(2). Let z be (x + 3736/1860)/((-4)/(-6)). Is z at least -1?
True
Let a(u) be the second derivative of -u**5/20 - u**4/3 - u**3/6 - 3*u**2/2 - 3*u. Let c be a(-4). Let k be ((-2)/2)/(c/(-5)). Which is bigger: k or 4?
k
Suppose 2*b = 5*w - 1070, 3*w - 5*b - 502 = 140. Let r be 24/1380*w/(-8). Let k = r - -3/46. Is 0 at least k?
True
Let t(i) = -i**2 + 13*i - 15. Let z be t(12). Let n be ((-9)/6*2)/z. Which is smaller: n or 4/29?
4/29
Let m be 1670/99 + 3/(-33). Which is greater: m or 17?
17
Let b(r) = 2*r - 8. Let g be b(4). Is g > 14/33?
False
Suppose -4*x + 16 = 0, -4*w + 501 - 37 = -5*x. Let c be 14/(-119) + w/17. Suppose 20 = -c*n - 1. Which is greater: n or -2?
-2
Let j = -11 - -10.9. Let r = 6.8 - 0.3. Let q = 6 - r. Are q and j unequal?
True
Suppose -8*s = 2*u - 3*s + 19, -5*u - s + 10 = 0. Suppose 0 = -4*z + 11 - u. Suppose z*f + 14 = -5*f. Do f and -8/5 have the same value?
False
Let c be -1 + (-3 + 4 - 1). Let h be -7 - c/(-2)*-2. Let u be 146/(-216) + h/(-8). Which is smaller: u or -1?
-1
Let z = 14.6 - 0.6. Let h = -4 + z. Let r = h - 12. Is -6 > r?
False
Let w = 5.03 + -4.83. Which is greater: -19/2 or w?
w
Suppose -4*a + z + 20 = 6, 0 = 3*a + z - 14. Suppose 0*v - 22 = 2*i - a*v, -i + 4 = v. Let b = -111 + 111. Which is smaller: b or i?
i
Let r = -5119/9 + 569. Which is smaller: 3/7 or r?
r
Suppose -4*k + 9 = -7. Suppose 2*x = 0, -4*r = -8*r + 3*x + k. Let a be (((-2)/(-4))/((-1)/2))/(-3). Which is bigger: a or r?
r
Let v be 6/(-9) - 10*(-6)/9. Let f be (6/4)/((-3)/v) - -28. Is f at most as big as 23?
False
Let i be (23/(-26))/((-56)/(-48)). Let g be (-356)/(-182) + -3 + 1. Let f = i - g. Which is bigger: f or 0?
0
Let o(l) be the third derivative of 3*l**4/8 + 2*l**3/3 - 12*l**2. Let b be o(-1). Let v be 5/((-2)/(2 - 0)). Is v smaller than b?
False
Let v(h)