 - 14. Let f be p(g). Is f at least as big as -0.07?
True
Let a be (1/1)/((-1)/(-13)). Suppose -o - 3 = p, 5*p + 6*o - 10*o - 12 = 0. Let c be (-5)/(25/(-55)) - (0 + p). Which is smaller: a or c?
c
Suppose -9*t + 1291 = 1300. Let u be (-2)/3 + (-167)/(-12). Let d = -379/28 + u. Is t > d?
False
Let t = -3368 + 3350.096. Let g = t - 0.096. Suppose -5*u - 10 = 6*c - c, 8 = -5*c - 4*u. Is c at least as big as g?
True
Suppose 21*k - 20*k = -2*d - 10, 2*d + 8 = 0. Let l = 7 + -10. Let h = l - 4. Is h less than or equal to k?
True
Let l(i) be the first derivative of 8 - 10*i - 1/3*i**3 - 11/2*i**2. Let q be l(-10). Which is greater: q or -3/7?
q
Let c(j) = -j**3 - 29*j**2 + 60*j - 38. Let r be c(-31). Let h = 0 - -1. Is h less than r?
True
Suppose -2*h - 75 = 5*p, 34*p - 5*h = 36*p + 30. Which is bigger: p or 3/16?
3/16
Let m = -1/5686 - 946/2703693. Which is smaller: m or -1?
-1
Let i(v) = v**2 - 29*v - 131. Let z be i(33). Let a be (-1 - 6/(-14)) + 1. Which is greater: z or a?
z
Let q(m) = -m + 8. Let y be q(6). Suppose -y - 10 = 4*f. Let b be 2/f*-6 - 10. Is b >= -4?
False
Let i be (-1)/3 - (-3)/9. Suppose -12 = -4*y, i = -3*s + 3*y - 2*y - 18. Is s > -0.06?
False
Let j = 6 + -4. Let b(o) = -4*o - 46. Let g be b(-12). Suppose -2*y + 2*p - 2 = 0, -p = -g*p + j. Is -1/6 greater than y?
False
Let s(x) = -2*x + 55. Let p be s(27). Is 9/61 <= p?
True
Suppose 0 = 2*l - 4*p - 10, -3*p = 2*l - l. Let k(b) = b**3 - 3*b**2 - 3*b - 1. Let r be k(l). Which is smaller: r or -9?
r
Let h be ((-10)/((-480)/(-9)))/(6/4). Suppose 5*c = -5*i - 5, -4*c = -9*c + 5*i + 35. Let t be (-1)/c*0 - -1. Is h at most t?
True
Let w = 2731 - 2754. Which is bigger: w or -294/13?
-294/13
Let m = -32 + 26. Let k be ((-18)/15)/(m/20) - 2. Which is smaller: 25 or k?
k
Let c = 224 + -401. Is c > -353/2?
False
Let j be (-27)/(-45) + (-102)/(-5). Let w be 3 + (j/(-9) - -4). Which is smaller: 4 or w?
4
Let r be (-15)/(-12) - 106/72. Which is smaller: -0.55 or r?
-0.55
Let x(d) = d**3 - 5*d**2 - 10. Let h be x(3). Let j be 5*(0 + -2 + h/(-20)). Is j >= -5?
True
Let u = 58 + -32. Let y = -14 + u. Let x = -6 - y. Are x and -18 equal?
True
Let h(n) = n**2 + 4*n + 3. Let a be h(-2). Let d = 2 - a. Let x = 8/155 + 271/155. Which is smaller: x or d?
x
Let g(q) = -q**3 + 18*q**2 - q + 14. Let k be g(18). Let w be -7 - -4*3/k. Let h be (3/w)/((-18)/(-15)). Is -0.3 less than h?
True
Let o = -27 - -25. Let k = -16 - -7. Let n = o - k. Do n and 7 have the same value?
True
Let u(m) = 49 + 2*m - m + 9. Let x be u(-20). Which is bigger: 40 or x?
40
Let c = 18 + -16. Let m(x) = 2*x + 3*x**3 - 1 + 9*x**2 - 12*x**2 + c*x**2. Let k be m(1). Are 8 and k equal?
False
Suppose -5*d + 4*g = -8, 32 = -d - 4*g + 24. Let y = -3424 - -58192/17. Are y and d unequal?
True
Suppose 9*x - 6*x + 65 = u, -u - 5*x + 89 = 0. Is 74 > u?
False
Suppose 0 = -5758*b + 5757*b - 16. Let d = 10/301 + -14779/903. Do b and d have different values?
True
Let w be ((-13)/2)/(85/(-60)). Which is greater: 4 or w?
w
Let j be (1 - -4239)/((-6)/12). Let i be j/4950 - 2/(-9). Let m = -12/11 - i. Which is bigger: 0 or m?
m
Let c = -9292/7 + 1325. Is c bigger than -0.05?
False
Let c = -39352/7 + 302203/28. Let o = c - 5098. Let f = 74 - o. Is f < 0?
False
Let l be (-3)/195*1633/(-108). Let z = -1662121/540 + 3078. Let r = z + l. Which is smaller: r or 1?
r
Let j = -188.75 - 30.32. Let y = j + 218. Let t = -1 - y. Is -1 at most as big as t?
True
Let c be (-6585)/(-18) + (-35)/42. Is 365 smaller than c?
False
Suppose 7 + 5 = w - 4*i, 5*i + 9 = w. Let a = -301/44 - -78/11. Which is smaller: a or w?
a
Let x be (10/5)/(5*(-368)/360). Which is bigger: 0 or x?
0
Let v(h) = h**2 - 8*h + 1. Let l = 10 - 1. Let b be v(l). Is 10 greater than or equal to b?
True
Let d = 11 - 16. Let j = 23.5 - 3.5. Let f = 19.7 - j. Which is greater: f or d?
f
Let s(m) be the first derivative of m**3/3 + 9*m**2/2 - 6. Let t be s(-5). Let k be ((-14)/3)/(t/(-30)). Which is greater: -5 or k?
-5
Let z(j) = 11*j**2 - 4*j + 2. Let h be z(2). Which is greater: h or 149/4?
h
Let x = -8466 - -59585/7. Let l be 12/(-12) + (-47)/(-1). Let f = l - x. Which is smaller: f or -1?
-1
Let o = 1.3 - 0.3. Suppose 0 = -4*m + 36*c - 40*c - 4, -4*m + 2*c + 2 = 0. Is m not equal to o?
True
Let v be (-15)/(60/(-8)) + 5. Suppose 4*i + 8 = 0, 5*s - 2*i - 275 = -111. Let w be 3/2*s/6. Is w less than or equal to v?
False
Let w = -41/9 - 169/36. Are w and -8 non-equal?
True
Suppose -f + 0 = -14. Let s(k) = -k**3 + 9*k**2 + 2*k - 2. Let d be s(9). Does f = d?
False
Suppose 3*t + 29 = f - 2*t, 5*f = 3*t + 57. Let v = f - 7. Suppose 0 = k - s - 1, -5*k - v*s - 11 = 12. Which is smaller: -1 or k?
k
Suppose 2*r = a, -5*a - 3*r = -0*a + 65. Let k(c) = 10*c - 230. Let p be k(22). Is p at most as big as a?
True
Let s = 44 + -112. Let n = s - -70. Which is smaller: n or 3/8?
3/8
Let n = -30 + 20. Let v = 3169 - 3179. Do n and v have the same value?
True
Let f = -1002.1 - -1010. Is 6 equal to f?
False
Let n = -167 - -168. Let q be ((-24)/(-736))/((-2)/8). Which is greater: q or n?
n
Suppose t + 60 = -4*t. Let k = -35/3 - t. Let y = -0.086 + 0.026. Which is smaller: y or k?
y
Let d be -3*(-4)/12*-47. Let t = d - -27. Let h be (-22)/(-18) + t/90. Which is smaller: h or -2?
-2
Let b(t) = t. Let f be b(8). Suppose 0 = o - 2*o + 7. Suppose 0 = -o*s + 33 + 16. Is s >= f?
False
Let y = -7/23 - 607/46. Let x(j) = -j - 8. Let d be x(6). Which is smaller: d or y?
d
Let o = -3206/9 + 6667/18. Let f = -119/12 + o. Which is greater: f or 3?
f
Let n = 1 + -1. Let y be ((-30)/9)/(-15 - -17) + -1 + 3. Which is smaller: y or n?
n
Let q = 11 + -10. Suppose 2*x - q - 5 = 0. Let v be ((-6)/(-4))/(((-819)/(-98))/13). Is x greater than v?
True
Let d be ((-72)/60)/(3/(-15)). Suppose 0 = -2*c - 3*c + 20. Suppose -5*l = 4*k - 47, 0*l = k + c*l - 20. Which is smaller: d or k?
d
Let s = 402 - 321. Is 82 less than s?
False
Suppose -23 = -5*i - 3. Suppose i = -4*p + 12. Suppose q + p*q = 3. Which is greater: q or -1?
q
Let s(h) = -h**3 + 10*h**2 + 9*h - 15. Let k be s(11). Let z = 36 + k. Which is smaller: z or -0.05?
z
Let n(u) = -2*u - 26. Let a be n(-14). Suppose 0 = -2*y + a + 10. Is y at least as big as 5?
True
Suppose 74*g - 80 = 64*g. Suppose -3*q - 3 = -c, 2*q + 6 = 3*q + 2*c. Which is bigger: q or g?
g
Let d(x) = x**2 + x. Let q be d(0). Let m(j) = 104*j**3 + 12*j - 16. Let b be m(3). Let o be (-763)/b - 1/(-4). Which is bigger: o or q?
q
Let l(m) = -m + 4. Let f be l(3). Let c(b) = 3*b**2 - 18*b + 10. Let x be c(6). Suppose -f = 3*k - x. Is 4 equal to k?
False
Let t = -283 + 96. Is t greater than or equal to -188?
True
Suppose 0 = -44*z + 32*z. Which is bigger: z or 1/569?
1/569
Suppose 2*c - 5*c = -2*c. Which is greater: 18 or c?
18
Let f(x) = x**3 - 5*x**2 - 27*x - 6. Let g be f(8). Which is smaller: -1/6 or g?
g
Let g be (0 - -1)/2*0. Suppose q + g*q - 16 = 0. Suppose -4*r - 56 = -q. Is -9 != r?
True
Let c = 348380/1238739 - 10/11577. Is 0 >= c?
False
Let j = -613 + 513. Are j and -101 equal?
False
Let x = -56 - -55.73. Let p = 0.39 - 0.66. Let h = p - x. Which is smaller: h or 2/17?
h
Let s be (-8)/(-20)*-1 - (-729772)/1775130. Let k = 2/749 - s. Which is greater: -1 or k?
k
Let c = 4 + 3. Let k = 159 - 162. Which is smaller: c or k?
k
Let k be 4 - 3/(-15)*183. Let m = -41 + k. Are -2/5 and m nonequal?
False
Suppose 0 = -2*p + 4*t + 50 + 2, -4*t = -p + 36. Let q = 9 - p. Suppose -5*h - 31 = 4*k - 10*h, 2*k + 5 = -h. Which is bigger: k or q?
k
Let v be (3 + 42/5)*(-5 - -10). Let d = 56 - v. Which is smaller: d or -1/6?
d
Let h be 12/20 + (10 - 11). Let r be 11*(0 - 1)*2. Let z = -6 - r. Which is smaller: z or h?
h
Let s = 9 + 3. Suppose -14 + 1 = z - 2*g, -2*z = -2*g + 26. Let w = z + s. Which is smaller: 1 or w?
w
Let x = 101 - 101.048. Let b = x + -1.252. Which is smaller: b or -2/15?
b
Let f(n) = 95*n**2 + 7*n - 21. Let s be f(4). Do 1526 and s have different values?
True
Let g = 72 - 361/5. Let z be (1/(-5))/(4/(-20)). Suppose -2*v + 1 = -z. Which is smaller: v or g?
g
Let l = -2/99 - -109/495. Let u = 0 + 5. Let z be (u/15)/((-1)/3). Do z and l have different values?
True
Let m be (4/(-42))/((-1)/6). Suppose -2*z = -5*n - 29, 16 = 4*z + 3*n + n. Let t be (-8)/(-14) + 3/z. Is m > t?
False
Suppose -3*w + 12 = 69. Let 