 d(-3). Let l be (0 - k)*-8 - 2. Let h = 128 - 127. Are h and l equal?
False
Let l = -20 + 19.83. Let z be (250/(-4375))/(1*2/10). Which is smaller: z or l?
z
Suppose -8*p - 3720 + 824 = 0. Which is bigger: p or 0?
0
Let j(a) = -a**2 + 10*a + 3. Let k be j(9). Is 13 >= k?
True
Let w = 33043/4 - 8115. Is w at least 147?
False
Let m = 173 - 173. Which is bigger: -2/63 or m?
m
Suppose 0 = -10*u + 50 - 610. Is -59 smaller than u?
True
Let f(z) = -4*z**2 - z**3 + 2*z + 1 + 7 + 0*z**2. Let l = 32 - 36. Let c be f(l). Which is smaller: 1/14 or c?
c
Let f = -1 - -1. Let z = 29 - -7. Let c = -37 + z. Which is smaller: c or f?
c
Let j be (70 - 7)/9*2. Which is bigger: j or 72/5?
72/5
Suppose 0 = -3*m - v + 6*v - 9, -4*m + 2*v + 2 = 0. Let u(z) = z**3 - 3*z**3 + 3*z + 1 - z - 4*z**3 + z**m. Let f be u(-1). Do 6 and f have the same value?
True
Let t be 3*-1 + 1 + 5. Let y be 0 + (-4)/t + 1. Let h(x) = 9*x - 9. Let c be h(1). Is c greater than y?
True
Let f be (2/(-4))/((-8)/6). Let u = -38 - -36. Let p be -4*u*2/(-88). Which is bigger: f or p?
f
Suppose 31 = 46*b - 107. Is 2 < b?
True
Let k(g) = 21*g - 83. Let x be k(7). Is 57 smaller than x?
True
Suppose v = -19 + 13. Let j(c) = -3*c**2 - 12*c - 3. Let d be j(v). Is -37 > d?
True
Let o be 0/(-7) + 2/(-1). Let u be 46432/108*3/o. Let t = u + 644. Does -1 = t?
False
Let d = 0.351 + 0.049. Is -7/2 >= d?
False
Let j be 1*(16/(-2) + 2). Let a be 10/55 - j/(-33). Let d be (-2)/(-3)*(-18)/42. Which is smaller: d or a?
d
Let l(m) = -m**3 - 8*m**2 - 14*m - 10. Let q be l(-6). Which is smaller: q or -18?
-18
Let w = 7 - 5. Let j(q) = 1 - 2*q + 0*q**2 - q**2 - 3*q - q. Let l be j(-6). Which is bigger: l or w?
w
Let m = 2.714 + 0.286. Is 8.9 >= m?
True
Let f be (-3)/(-9) + 620/(-420). Let c = -2 - 0. Which is smaller: c or f?
c
Let s = -1.5 - -1. Let r = 308.9 + -309. Does r = s?
False
Let f be (-6)/33 - (-56376)/66. Do 853 and f have different values?
True
Let q(y) = -y - 7. Let z be q(-11). Let u(r) = r**2 - 3*r - 9. Let f be u(z). Which is greater: f or -10?
f
Suppose 0 = -p - 3*d + 12, -p + d + 0*d = 0. Suppose -3*a + v = 4, a + 4*v - p*v - 4 = 0. Let z = 6 + -8. Is a smaller than z?
False
Let b = 39.1 - -1.9. Let o = 20 - b. Let q = -0.11 - -0.01. Which is smaller: q or o?
o
Let o(s) = -s**3 + 9*s**2 + 5. Let v be o(9). Suppose 8*g - v*g = 6. Which is smaller: 6/7 or g?
6/7
Let v(l) = l**2 + 2*l - 3. Let w be v(2). Suppose -5*d = 5*q - d - w, q + 2*d + 5 = 0. Suppose -3*h + x + 18 = 2*h, -q*x = 5*h. Is h less than or equal to 3?
True
Let f = -515 + 512. Which is bigger: -6 or f?
f
Suppose 0 = 2*v - 2*p + 10, -10 = v - 2*p - 0*p. Let f be ((-114)/(-27))/(4/6). Let l = -20/3 + f. Is v greater than l?
True
Suppose 1 = r + 5. Suppose -781 = 7*w + 325. Let n = w - -156. Which is greater: n or r?
n
Let k = -1362 - -1475. Do -3 and k have the same value?
False
Let t = 17.4 - 16. Let z = t - -4.6. Let n = z + -5.99. Is n at least as big as 1?
False
Suppose 0*j + 6*j - 510 = 0. Let m be (j/(-9))/(3/9). Let c = -28 - m. Which is smaller: 2 or c?
c
Let d = 1899/19 - 100. Let l(g) = g + 2. Let s be l(8). Let m(k) = -k**3 + 10*k**2 + k - 11. Let p be m(s). Is p equal to d?
False
Let m(j) = -6*j - 298. Let c be m(-50). Which is smaller: 62/29 or c?
c
Suppose 4 = a - 0, 5*j = 4*a + 14. Suppose 5*d = j*d - 8. Let f(z) = z - 10. Let h be f(d). Is -4 at most as big as h?
True
Let x = -191 - -103. Suppose y + 0*y + 101 = -4*m, 0 = -5*y + m - 442. Is y at least as big as x?
False
Let r be (3/9)/((-2)/12) - 6. Let x be 40/(-14)*r/(-10). Which is smaller: -2 or x?
x
Let h = 0.596 - 2.596. Is h smaller than 2/993?
True
Let z = 20.21 - 0.21. Let f = z - 14. Let u = f - 7. Which is greater: -0.5 or u?
-0.5
Let n = 443/4 + -109. Is n not equal to 1?
True
Suppose -2*p - 12*w + 13*w - 45 = 0, -5*p - 123 = w. Is p < -12?
True
Let n = -9 + 9.02. Let i = 0.01 - n. Let p = i + -0.99. Which is smaller: p or 2?
p
Let q = 159 + -158.9. Which is smaller: q or 1/170?
1/170
Let s = -3 + -7. Let d be ((-15)/s)/(1/(-30)). Let t = 451/10 + d. Which is bigger: -1 or t?
t
Let g be (-5)/(-15) - (-2)/3. Let h be g/3 - 16/12. Let m(k) = -k**2 + 12*k + 11. Let f be m(13). Is f not equal to h?
True
Let h = -2475214/331 + 7478. Are 1 and h equal?
False
Let c(m) = -m**3 + m**2 + 4*m - 3. Let r be c(-2). Is r greater than -12/29?
True
Suppose 3*x = 2*s + x + 252, 0 = -s - 3*x - 146. Is s greater than -134?
True
Suppose -z - 3 = 2*z. Let u = 777 + -5382/7. Let r = 8 - u. Is z at most r?
True
Suppose 1696*t = 1692*t + 524. Is t less than 132?
True
Let o be 1/(-3) + (-10)/(-12). Let h be 1/6 + 2/(-12). Suppose h = 9*w - 5*w. Is w equal to o?
False
Suppose 0 = 2*t - 4*h + 496, -4*t - 25*h + 29*h - 976 = 0. Is -243 less than t?
True
Suppose 22*u + 24 = 26*u. Suppose -8*m = -7*m - u. Which is smaller: 7 or m?
m
Let y = -101.803 + -0.197. Let h = -102.1 - y. Which is greater: 30 or h?
30
Let z be (31/(-3) - -10) + ((-308)/204)/(-7). Let n = 0.26 + -1.36. Let c = 1 + n. Which is smaller: c or z?
z
Let w be -3 - -2 - (-16)/24. Suppose -8*h + 6*h = 0. Which is smaller: h or w?
w
Let a(b) be the second derivative of b**3/2 + 389*b**2/2 + 8*b. Let w be a(0). Let t = w - 2729/7. Which is bigger: t or -2?
t
Let b = 930 + -798. Which is greater: 0.2 or b?
b
Let x = -33 - 15. Let k = x - -53. Which is bigger: k or 3?
k
Let o = 0.044 + 0.056. Let i = 0 + 0.04. Let u = o - i. Which is smaller: -1 or u?
-1
Let w be (3/2)/(3 + (-15)/4). Let z be (3/(-6) - w)*12/(-45). Is 0 bigger than z?
True
Suppose -5*w - 3*r + 40 = 8, 3*w + 4*r = 28. Suppose -b + 2*c = 7, 3*b = -w*c - 55 - 16. Let m = b - -16. Do -4 and m have different values?
True
Let w be -12 + 10 - -8*3/6. Is -438 greater than w?
False
Suppose -3*k - 3*k + 18 = 0. Let w be 30*k*(-4)/18. Let n be (-12)/(-9)*(-6)/w. Which is smaller: n or -1?
-1
Let b = 4 - 3. Suppose 5*d - 4 = -2*n, 3*n - 5 = -d + b. Do 1 and n have different values?
True
Let d = 5.9 - 5.72. Which is greater: 0 or d?
d
Let r be 197978/23595 + 2/(-2). Let x = -96/13 + r. Let k = -19/110 + x. Which is greater: 2 or k?
2
Let q be (5/((-25)/(-20)))/26. Let t(k) = -5*k**2 - 1. Let x be t(-1). Let v = 5 + x. Is v greater than or equal to q?
False
Suppose 129 = -d - 7. Is -138 bigger than d?
False
Let q be -3 + 4 - (3 - 6). Suppose q*a + 10 = -14. Let s(p) = -2*p - 1. Let u be s(2). Is u <= a?
False
Suppose 4*l = 12, 4*l - 4 = 4*h - 2*h. Suppose 0 = -2*q - 0 + h. Which is smaller: q or 8/7?
8/7
Let i be (-1 + 18)*(13 + -14). Let u = i + 17. Which is bigger: u or 2/27?
2/27
Let h(s) = -s**3 - 6*s**2 - s - 5. Let i be -8*26/36 - 6/27. Let b be h(i). Which is bigger: 3 or b?
3
Let y = 493729/296 + -1668. Which is bigger: 1/2 or y?
1/2
Let t = -0.2564 + 0.0564. Let g = 0.2 - 1.1. Let a = g + -0.1. Which is smaller: t or a?
a
Suppose 4*s + 5*g = -32, 3*s + 15 + 6 = -3*g. Is s bigger than 3?
False
Let g = -72 - -71. Let f = -7.1 + 1.1. Which is smaller: f or g?
f
Let s = 0 + 1. Let h(l) be the third derivative of l**4/8 - l**3/3 + 23*l**2. Let k be h(s). Is 2/23 at most k?
True
Let u = 10.96 - 10.79. Which is bigger: 0.3 or u?
0.3
Let r = 0.17 + 2.43. Let w = r - 2.6. Which is bigger: w or -19?
w
Suppose -24 = -l - l. Suppose -2*t - 5 = -3*f, 2*t - 5*f + l + 3 = 0. Let c be -1 - ((-270)/51)/t. Is 1/2 <= c?
False
Let a(l) = 10*l + 11. Let m be a(-1). Let s be (-2)/(-5) + (-47)/155. Let w = s - 159/682. Is w at most as big as m?
True
Let p be -24*(4/6 - 0). Let v(r) = -r**3 + 11*r**2 + 51*r - 627. Let l be v(10). Are l and p equal?
False
Let l(w) = -w**3 + 9*w**2 - 9*w - 4. Let k be l(8). Let f be -2 - 20/(-8) - (-30)/k. Let v be 1 - (-2 - 0)/(-1). Do f and v have the same value?
False
Let n be (-7)/(10458/296) + (-8)/(-36). Which is smaller: n or -1?
-1
Suppose 4*m = 3*r + 100, 215 - 39 = -5*r + 2*m. Let a = -3/737 - 78113/2211. Let h = r - a. Which is smaller: h or -2/11?
h
Suppose -3*i + w - 34 = 0, -i + 5*w - 1 - 1 = 0. Let s be (i/(-56))/3*-6. Suppose 0 = 4*m - 1 - 3. Which is greater: s or m?
m
Let b be 5*5/5 + -3. Let o(u) = -u**3 + 5*u**2 + 2*u - 5. Let t be o(5). Which is smaller: b or t?
b
Let o(q) = q**3 - 5*q**2 + 12*q - 60. Let s be o(5). Is s != -2/15?
True
Let p be (-9)/(-15) - ((-28)/(-130) - 3). Is 4 smaller than p?
False
Let m be ((-5)/10)/(3/(-6)). 