f -x**4/4 - x**3 + x**2/2 + 2*x - 7. Let f be g(-3). Are f and v unequal?
True
Let z = -12.17 + 0.17. Let q = 4 + z. Let s = -4 - q. Is s greater than -0.1?
True
Let p(v) = -v**3 + 15*v**2 + 3. Let d be p(15). Let s = -57 - d. Let i = s - -302/5. Which is greater: i or 4?
4
Suppose 3*j + 158 = -3*l + 563, 0 = -4*j + 12. Is l > 131?
True
Suppose -7*o + 3*o = 5*p + 13, -6 = -2*p + 4*o. Is p greater than 2/1235?
False
Suppose 0 = -80*v + 70*v + 60. Let m(o) = o**3 - 3*o**2 + 3*o - 2. Let n be m(2). Suppose -5*u - 10 = 0, n*d + d = 4*u + v. Is d != -1?
True
Suppose 2*f - 28*f - 182 = 0. Is f < -11?
False
Let v be (-3)/((-132)/(-1004)) + 2/(-11). Is v less than -45/2?
True
Let z = 95 + -68. Let y(i) = 12*i - 2. Let c be y(4). Suppose -2*b - 4*l + c = 0, 4*l = 4*b - l - z. Is 12 >= b?
False
Let r be (-152)/(-4) + 5 + -10. Is 35 greater than or equal to r?
True
Suppose 3*i - 21 = 5*k - 0, 0 = 5*i + 4*k + 2. Suppose 0 = i*l + 2*l - 8. Suppose 2 = -v - l. Is -3 equal to v?
False
Let u = -428 - -430. Which is smaller: -0.391 or u?
-0.391
Let a = 1343 + -1406. Is a smaller than -0.3?
True
Suppose -86 = -7*g - 16. Let c be (-4)/2 - (-20)/g. Which is bigger: 4/15 or c?
4/15
Let l(q) = -23*q**2 + 6*q - 6. Let k be l(1). Let r = -20 - k. Which is smaller: r or 4?
r
Let l = -0.237 - 143.763. Which is bigger: l or -0.2?
-0.2
Let k be (-28)/(-190)*(12 + -2). Let x = 496/285 - k. Which is smaller: x or -1/2?
-1/2
Let g(o) = -13*o - 12. Let c be g(-8). Is 91 equal to c?
False
Let d = -7894 + 55547/7. Suppose -105 = -5*q + 100. Let f = q - d. Which is greater: 3/11 or f?
3/11
Let s be (-21)/7*(-1148)/6. Let h be (-970)/s - (-2)/1. Let v = 1/41 - h. Is -0.4 at most as big as v?
True
Let w(d) = -d**3 + 3*d**2 + 5*d - 7. Let k be w(3). Suppose 4*u = 5*o + k, 2 = -4*o - 5*u + 12. Let b = -2069/6 + 346. Which is bigger: o or b?
b
Let d(v) = v**3 + 15*v**2 + 16*v + 28. Let n be d(-14). Are -2/517 and n nonequal?
True
Let f = -13/694 - -227671/2082. Which is smaller: 109 or f?
109
Let l = -1349/4 - -12241/36. Let d = l - 1709/612. Is d equal to 1?
False
Let x = -79 - -78.975. Is x smaller than -1?
False
Let k = 64 + -62.5. Let x = 0.4 + -2.1. Let s = k + x. Which is smaller: s or -1/7?
s
Let k be -3 - 3*-1*(-222)/(-168). Let w = k + -5/7. Which is smaller: 1 or w?
w
Let y(q) be the third derivative of q**4/8 + 9*q**3/2 - 17*q**2. Let a be y(-7). Which is smaller: 10 or a?
a
Let c = -65357102/2157 + 30300. Which is greater: -1 or c?
c
Let u = -13.01 - -0.01. Let o = 318.16 - 305. Let h = o + u. Are 0 and h non-equal?
True
Suppose 16 = 5*u - 4. Suppose 8*j + 35 = -5*l + 4*j, u*j + 7 = -l. Which is bigger: l or -36/5?
l
Suppose 2*n = 4*n. Suppose 18*u - 20*u = 8. Let q be 4 + (-1)/(u/(-15)). Which is smaller: q or n?
n
Suppose 3*n - 19 = -4*u, u - 1 = -5*n + 8. Let p = -21638/679 - -223/7. Which is smaller: p or n?
p
Let h = 75 + -70. Let m be 1/h + 30/(-25). Let t = 13/5 + -81/35. Do t and m have the same value?
False
Let l(d) = d**3 - 27*d**2 + 141*d - 12. Let y be l(16). Are y and -572 equal?
True
Let n = -26 + 25.3. Let a = -1 - n. Which is greater: a or -7?
a
Suppose 32 = -3*o - o. Let s = -12 + 27. Suppose 4*q + s = 3. Is o equal to q?
False
Suppose 0 = 4*k - k - 594. Let a be 13782/52*4/k. Let z = -3/143 + a. Which is bigger: 5 or z?
z
Let y = 10356023/11 + -946328. Let s = 4875 + y. Is 4 smaller than s?
False
Let d be (-2)/8 - 162/(-8). Let b = 185 - 166. Which is greater: d or b?
d
Let k be -4 - 120/27*12/(-16). Which is bigger: -105 or k?
k
Let a = 2.8 + -1.7. Let q = 3.8 + -2.9. Let g = q - a. Do g and 2 have different values?
True
Suppose f + 0*f - 3 = 0. Suppose -3 - 18 = -3*v. Suppose 3*n - 6 = -v*w + 4*w, n - 2 = -4*w. Is f smaller than n?
False
Suppose 2*f = -2*m - 8, -2*f = -4*m + 3 - 25. Which is greater: m or -10/3?
-10/3
Let l = 0 - 2. Let r = -74 + 102. Let t be l + 1 + 52/r. Are 1 and t nonequal?
True
Let o = -1.32 + 1.42. Does o = 44.4?
False
Suppose a - 6*a - 9 = 2*r, -8 = 5*r - 2*a. Let l be (1/3)/(r/(-24)). Let u = -4 + l. Which is smaller: u or 1/11?
u
Let s be 324/(-159) - (-2)/1. Suppose -1 = -4*i - 5. Which is bigger: s or i?
s
Let s = -181 - -908/5. Let d be -2*(12/6)/(30 - -4). Is s > d?
True
Let b(u) = -u**3 + 3*u**2 + 7*u - 10. Let v be b(4). Let w be 23/(-15) + v*2/20. Let z = -4.1 - -4. Is w <= z?
True
Suppose -20 = r + 4*r, 3*p - 5*r = 74. Let c be (2/(-5))/(p/15). Are c and -0.12 nonequal?
True
Let q be (-6)/((-2)/1)*(9 - 0). Let g be ((-6)/q)/((-84)/18). Is g greater than or equal to 0?
True
Let c(t) = -401*t - 7. Let z be c(1). Which is smaller: z or -409?
-409
Suppose 0*z = -5*f - 3*z + 18, 10 = 5*f + 5*z. Let c(b) = -b**2 + 6*b + 7. Let n be c(f). Let g = -5 + 13. Which is bigger: n or g?
g
Let v = 169.9 + -170.1. Are v and 711 nonequal?
True
Let z be 4/(-14) - (-7)/28*0. Does z = 244?
False
Let v(l) = -22*l + 107. Let r be v(5). Do -1 and r have the same value?
False
Let z = -4981 - -2779399/558. Which is greater: z or -1?
z
Let i(g) = 33*g + 232. Let k be i(11). Is 596 <= k?
False
Let z(g) = g**2 + 27*g - 32. Let d be z(-17). Is d >= -200?
False
Suppose 2*q - 14 + 10 = 0. Suppose 0 = 4*s - q*s. Let d be 24/(-22)*(-2)/4. Which is bigger: s or d?
d
Suppose 0*c - 2*c = c. Suppose 5*b - 3 - 2 = c. Which is bigger: 2/11 or b?
b
Let g = 422 - 396.96. Let s = g + -25. Let z = 0.06 + s. Is z <= -11?
False
Suppose 9*b + 12 = 12. Which is greater: 4.5 or b?
4.5
Let m be (4 - 11)*72/21. Is m at least -23?
False
Let l be 6/(-9) + (-2)/6. Is l at least -141?
True
Let h be (3/(-2))/((-24)/32). Suppose 3*x = -5*s + 56, 3*x - 38 = -h*s + 6. Let y = -6 - x. Is y >= -19?
True
Let a be (20/6 + -3)*-911. Let h = a - -299. Which is greater: h or -4?
-4
Let y = 1/8 - 3/8. Let i = y - 1. Does 0 = i?
False
Suppose 2*f - 2 = -3*w, 4*f + 2 = -5*w + 4. Let d be ((-4)/(16/21))/(2/8). Let s be (-1*(-3)/9)/(d/90). Which is bigger: s or f?
s
Suppose -322 = 3*t + 92. Is t equal to -138?
True
Let c(s) = s**3 + 62*s**2 + 66*s + 304. Let a be c(-61). Do -5 and a have different values?
True
Let f(u) = u**2 + 2*u**2 - 2*u**2 - 9*u + 6 + 0*u**2. Let t be f(9). Suppose t = -x - 9. Is -15 not equal to x?
False
Let q = -5 + 13. Let u be (-2)/(-16)*(q - 10). Let i = -89 - -89.02. Is i >= u?
True
Let k(v) = 2*v. Let n be k(4). Let p(f) = f - 7. Let w be p(n). Suppose 2*o = -5*b + 5, -b + o + w = -o. Is 2/5 greater than or equal to b?
False
Let u be 45/(-60) + (-7)/(-4). Which is greater: 2/549 or u?
u
Let i = -1668 - -1667.9. Is -9.1 at least as big as i?
False
Let b(q) = -q + 44. Let a be b(44). Let y = -26.7 + 28. Let u = y - 1. Which is bigger: u or a?
u
Let u = 921/73625 - 3/5890. Which is greater: -1 or u?
u
Let u(a) = -2*a + 6*a - 2*a + 3. Let g(o) = -3*o**2 + 34*o - 15. Let j be g(11). Let d be u(j). Is -6 smaller than d?
True
Let h be 4 + (4 - 1 - 8). Is -251 equal to h?
False
Let q(k) = k - 14. Let t = -2 + 13. Let b be q(t). Are -19/5 and b equal?
False
Let s = -1064 + 4817/5. Let b = s + 101. Let t(x) = -x**2 - 4*x + 3. Let f be t(-6). Is f at least as big as b?
False
Let h be (-175)/15*(-6)/2. Suppose -4*d + 135 = 2*s + 1, -d - 2*s = -h. Which is bigger: d or 32?
d
Let n(h) = -2*h - 4. Let k be n(-3). Let u be k/(-6) + 592/(-24). Let r = u - -131/5. Are r and 1 nonequal?
True
Let w = -18855 - -2432269/129. Is w at most as big as -1?
False
Suppose -9*a - 2025 = -2034. Let x = -33437/504 + 531/8. Which is greater: x or a?
a
Let s be 2026/(-12)*(-15)/(-25). Let j = s - -1581/10. Let m = j - 56. Which is smaller: 2 or m?
m
Let h(u) = 0*u**2 - 11*u + 2*u**2 + 4*u - 23. Let i be h(7). Is 26 smaller than i?
False
Let i = -14 + 10. Let v be (-21)/i + (-1)/4. Suppose 2*p - 3*p = l + 7, v*p + 3*l = -33. Is -5 <= p?
False
Let x = -13.12 - -1.32. Let a = -13 - x. Which is smaller: a or 2/5?
a
Suppose 48*c = 15*c - 33. Which is smaller: c or -3/448?
c
Let d(s) = -s - 2. Let a be d(4). Let b = 26 + -22. Let r be 3/((-36)/(-15))*-1*b. Which is smaller: r or a?
a
Suppose -2*g = 4*r - 18, 5*g = 110*r - 108*r + 69. Which is bigger: g or 97/7?
97/7
Let p = -4.04 - -45.84. Let k = p + -40. Do 1 and k have the same value?
False
Suppose 5*j = 3*r - 18, 13*j = 12*j. Which is smaller: r or 14?
r
Let t = -55.98 - -56. Let s = t + 0.98. Which is smaller: 10 or s?
s
Suppose -2*q - 5