4/11 - q. Is 0 not equal to v?
True
Let d = -4 + 5. Is 3/4 greater than or equal to d?
False
Suppose -4*y + 6*w - 3*w = -9, 0 = 5*y - w - 14. Let n be (4/6)/(2/y). Suppose n = -2*g - r - 0*r, 3*r + 8 = -g. Which is greater: 1/4 or g?
g
Let g(u) = -u**3 + 12*u**2 - 9*u - 14. Let p be g(11). Which is greater: 7 or p?
p
Suppose 0 = -4*l + l + 18. Is l less than or equal to 9?
True
Let o = -17 - -7. Let i = -10.2 - o. Do i and 2 have the same value?
False
Suppose 0 = -q - 5*m - 7, -2*m = -3*m - 2. Let p be q*6/(-9)*-1. Let a be p/(2 - 0)*-1. Which is greater: a or -2?
a
Suppose 3*y + j - 7 = y, -3*y + j + 3 = 0. Suppose -y = 2*f - 14. Let z = -11 - -16. Is z < f?
True
Let x be -4*(-1 - 14/(-12)). Suppose -4*a = -a - 30. Suppose -3*r - a = 2*r. Which is smaller: x or r?
r
Let x be 250/63 - ((-6)/3 + 6). Is 0 less than or equal to x?
False
Let v = 42 - 37. Suppose -5*z + 2 = -23. Is v not equal to z?
False
Let i = -436514/23 + 18976. Let j = i + 772/253. Which is smaller: -1 or j?
-1
Suppose -2*j + 81 - 25 = 0. Let h be 52/(-70) + j/35. Is h less than or equal to 1?
True
Suppose f = 2*f. Let v be (-1 - 42/(-15)) + -3. Let t = v - -37/35. Is f > t?
True
Let v be 1*24/15*-5. Suppose 4*c = -i - 20, -2 - 10 = 4*c. Is i bigger than v?
False
Let z be 1/(-4) + (-232)/(-32). Let w(t) = 7*t + 2 + z*t**2 - 4*t + t**3 + 4*t. Let o be w(-6). Which is smaller: o or -5?
-5
Suppose 3*j = 5*y + 2*j + 27, -3*j + 16 = -2*y. Which is bigger: y or -4?
-4
Let k be -1*(-1 + -1 + 2). Let w = 75/4 - 383/20. Which is smaller: k or w?
w
Let k = 17.9 + -19. Let p = 1 + k. Let u(a) = a**3 - 2*a**2 - 1. Let c be u(2). Do c and p have the same value?
False
Let f be ((-13)/(-9))/(14/16). Let h = f - 10/7. Suppose -4*b + 3 = -1. Do b and h have different values?
True
Suppose 5*k - k + 8 = 3*h, -5*h + 4 = -2*k. Let w = 2 - 0. Let t = w - 3. Is t smaller than k?
False
Let k = 314/5 + -63. Let w = 621 - 8681/14. Let d = w + -10/7. Are d and k non-equal?
True
Let d = 0.03 + -1.03. Let l = d + 0. Are l and 2 unequal?
True
Let k be 2/54*-3 + 1. Is k not equal to 1?
True
Suppose 7*q = 2*q + 5. Let g be (1 + 0 + -1)/q. Is 1 smaller than g?
False
Let z = 3 + -1. Let d be 4/(-6) + 17/3. Suppose 0 = d*o - 3*o - 4. Is z at most o?
True
Suppose -q - 3*w = 3*q - 12, -w + 4 = 5*q. Suppose -3*s - 5 = 5*h, q*h - h + 5*s = 29. Which is greater: h or -1?
-1
Let r be (-5)/20 + 2/8. Suppose -z + 5 + 2 = r. Let j = z + -6. Is 1 < j?
False
Suppose 3*s + 5 = 4*s. Suppose -3*b - 12 = -3*h, 0*h - 23 = -2*h + s*b. Which is smaller: 0 or h?
h
Let v = 48 + -21. Let i be v*(2 + (-2)/2). Let o = -53/2 + i. Is 0.1 greater than o?
False
Suppose -2 = q - 2*q. Let v be 6/4 + (-2)/2. Which is smaller: v or q?
v
Let u(d) = 3*d**3 - 7*d**2 - 3. Let z(h) = 4*h**3 - 8*h**2 - 3. Let k(s) = -3*u(s) + 2*z(s). Let a be k(5). Let i(n) = n - 2. Let m be i(5). Is a at most m?
True
Let g(y) = y**2 + 15*y - 16. Let d be g(-16). Let a be 14/114*(-174)/21. Let m = a + -6/19. Which is greater: m or d?
d
Let i(k) be the second derivative of k**5/20 + k**4/12 - k**2/2 + 2*k. Let q be i(0). Suppose 0*b = -3*b + 4*s + 17, 0 = -s - 5. Is q smaller than b?
False
Let h(q) = -q + 1. Let u be h(3). Which is smaller: u or -1?
u
Let f be (1 - 4) + 2 + 0. Let o be 19 + f + (2 - 0). Let p be ((-8)/o)/(1/5). Which is smaller: p or 1?
p
Suppose 3*j + 14 = 2*a, 2*j - 2 + 14 = 2*a. Is 11/3 <= a?
True
Suppose 10 = f - 4*p, -5*f - p + 11 = 3. Let n be 3*f*3/(-6). Let i be (n/(-15))/((-4)/(-5)). Is i >= -1?
True
Let f = -31 - -30. Which is smaller: -28 or f?
-28
Suppose -5*p + 15 = 0, -5*h = -0*h + 2*p - 11. Is h less than 1?
False
Let l = -7 + 7. Let o = 0 - l. Let y = -2 + 1.8. Which is greater: y or o?
o
Let k = -0.59 - 0.41. Which is smaller: k or 3?
k
Suppose -2*l + m - 4 = 0, 4*l - 4 = 2*l + 5*m. Which is greater: 2 or l?
2
Let v be ((-8)/3 - -2)/(8/12). Is v greater than or equal to -3/13?
False
Let s = 16 + -47/3. Which is smaller: s or -1/5?
-1/5
Let c be (6/54)/((-2)/(-6)). Which is greater: 2/13 or c?
c
Let s(x) = 7*x**2 - x + 10. Let t(g) = 20*g**2 - 3*g + 29. Let f(j) = -17*s(j) + 6*t(j). Let i be f(0). Let m be 22/(-28) + i/14. Which is bigger: 0 or m?
0
Suppose 4*q - 2*r = 26, 4*r + r = 15. Is 7 greater than or equal to q?
False
Let r = -39 - -39.17. Which is smaller: r or 0?
0
Suppose -g + 12 + 1 = 5*u, -g + 2*u + 34 = 0. Suppose -3*n = n - g. Which is smaller: 6 or n?
6
Suppose -3 = -3*v + 3. Which is smaller: v or 7?
v
Let x = 0.03 - 0.11. Let n = -9.08 - x. Is n not equal to 0?
True
Let j = -516 - -516. Let l = 2 + -2. Is l at least as big as j?
True
Let y = -8 + 5. Let h = -3.2 - y. Let w = 33 + -100/3. Is w at least h?
False
Let x = 2 - 2. Let i(m) = m. Let w(k) = 3*k + 1. Let g(t) = 11*i(t) - 4*w(t). Let a be g(x). Is -5 at least as big as a?
False
Let z(d) = -d + 11. Let q be z(8). Let c be (0 + -4)/(2/q). Let k be (-5 - c)*(1 + 0). Which is smaller: k or 0?
0
Let n = 55 - 60. Let p(v) = v**3 - v - 3. Let g be p(0). Let f = n - g. Is f smaller than -2/3?
True
Let g = 468 + -467.5. Let w be (1 + 5/(-3))/(-1). Which is greater: g or w?
w
Suppose 8*p = 5 - 13. Which is bigger: 1/38 or p?
1/38
Let i = 4.6 - 5. Suppose 0 = -0*o + 3*o. Which is greater: o or i?
o
Let w be (-38)/247 - 1/91*12. Which is bigger: 0.6 or w?
0.6
Let v be (-30)/(-9) - 6/18. Is 1 less than or equal to v?
True
Let q = 4.22 - 4. Let c = q - -0.08. Let p = 58 + -58.1. Which is greater: p or c?
c
Let r = 7629/41 + -257195/1148. Let j be (-102)/(0 - 24/9). Let l = j + r. Do 1 and l have different values?
True
Let x(w) be the second derivative of -w**3/6 + 3*w**2 - 4*w. Let d be x(7). Which is smaller: d or 0?
d
Let s = 10 + -4. Let k = 4 - s. Let b be k*((-2)/4 + 1). Is 0 < b?
False
Suppose -22 = 3*d + c, -4*d - 1 - 15 = 4*c. Is -8 at most as big as d?
False
Let n = 15 - -2. Which is smaller: n or 19?
n
Let i be (1/(-2))/(7/(-8)). Suppose 2*t + 2 = 2*z, -8*z + 3 = -13*z - 3*t. Which is greater: z or i?
i
Let q(b) = b**3 + b**2 - 2*b - 2. Let m be q(-1). Is m bigger than 1/153?
False
Suppose l + 3*c + 22 = -2*c, -l = c + 6. Let w be 4/(-2) - 24/(-21). Are l and w unequal?
True
Suppose -3*k + 4*k + 17 = -5*g, 0 = -5*k + 5*g + 35. Suppose k*j = -j. Do -1/11 and j have different values?
True
Let g = 5 - 4. Let m be (-2)/(-4) + 420/(-728). Is m bigger than g?
False
Let w = 0.01 + 0.09. Which is greater: w or -3/5?
w
Let s(z) = z**2 + 6*z + 5. Let x be s(-5). Let w(o) = -o**2 - 4*o + 4. Let g be w(-5). Are x and g equal?
False
Suppose -m - 3*h + 17 - 3 = 0, -2*h = -4*m - 14. Let b be 0/(-2 + (m - -2)). Is -4/3 greater than or equal to b?
False
Let t = 2/89 - -39/2225. Which is greater: 0 or t?
t
Let l = 3 + -3. Suppose 5*v - 25 = l, 5*n - v + 0*v = 0. Which is bigger: -1 or n?
n
Let i = -45 - -46. Let m be 4/18 + (-11)/9. Let j be (-2 + 5)*m/(-3). Is j greater than or equal to i?
True
Let a(j) = j**2 - 10*j + 13. Suppose 3*n + 2*n = -60. Let s be 3/n + (-111)/(-12). Let g be a(s). Is -2/5 at most g?
True
Let l(x) = -x**3 - 6*x**2 + 2*x + 2. Let y be l(-6). Let n be 0 + (-5)/(y/12). Let q = -5 + n. Is 2 <= q?
False
Let d be (-3 + -46)*(16/12 + -1). Is -17 smaller than d?
True
Let w = 5 - 0. Which is smaller: -1 or w?
-1
Suppose -l - 5*h = -16, -4*l + 3*h + 1 = 6. Let f(t) = -1. Let v(i) = i**2 + 8*i + 3. Let g(x) = -5*f(x) - v(x). Let k be g(-8). Is l at least as big as k?
False
Let x = -2 - -1. Is x greater than or equal to 2?
False
Let c be 115/7*(48/30)/4. Does c = 8?
False
Suppose 4*m - 2*m = 0. Suppose m*u - 56 = -2*u. Let v be (-10)/(-45) - u/207. Which is greater: -1 or v?
v
Let g(u) = -u**3 + 3*u**2 - u - 2. Let s be g(2). Let j = s - -1. Which is bigger: -1/5 or j?
j
Let c = 909/10 - 91. Let z = -3/2 - -7/6. Which is bigger: c or z?
c
Let g = -0.2 - 0.8. Let w = 11.9 + -13. Let l = -2.1 - w. Do g and l have different values?
False
Let d(o) = 4*o**2 - 3*o**2 - 13 + 16*o - 2*o**2 + o. Let s be d(16). Which is smaller: 2 or s?
2
Let j = -10 - -8. Let b be j/(-14)*2*1. Which is greater: -2 or b?
b
Let f = 2 - 3. Is f at least as big as 2/57?
False
Let l = 4 - 3.8. Is -1/3 at most as big as l?
True
Let m be (4*(2 + -1))/(-1). Is -4 not equal to m?
False
Let i = 8 + 1. Let n = -7 + i. Does n = 2?
True
Let w(y) = 2*y. Suppose s + 4 = -s. Let j be w(s). Which is sm