et q(h) = 12*h - 8. Let w be q(-4). Is -57 > w?
False
Let m(w) = 23*w**2 + w. Let u be m(1). Let g be (-3)/(u/10)*-4. Is g smaller than 5?
False
Let n = -110 - -106. Let y = 3 - 5. Is n greater than y?
False
Let m be 2/(-2 - 30/(-14)). Suppose -5*g - m = 6. Which is smaller: g or 0.1?
g
Suppose -102 = -4*z + 2*b, -4*z + z + 74 = -b. Let v = 37 - z. Does v = 13?
False
Let u be (-51)/45 - ((-12)/(-10) + -2). Is -8 equal to u?
False
Let p be 1/5 - 252/(-240). Which is smaller: 2 or p?
p
Suppose 35 = 3*f - 1. Let b be f/6 - 24/11. Do b and -1/3 have different values?
True
Suppose 2*v + 35 = -0*k - 3*k, -29 = 5*k - 4*v. Let t be (-6)/k + -2 - -3. Which is bigger: t or 1?
t
Let i(f) = f - 6. Let q be i(5). Which is bigger: q or 1/3?
1/3
Let x be -23 - 3*2/(-2). Let c be (2/60)/(5/x). Is -1 smaller than c?
True
Let j be (-2)/2*1/(-1). Let k be j/4 + 125/(-340). Which is smaller: k or 1?
k
Let a(f) = f + 6. Let r be a(11). Let y = -17 + r. Is y != 12/11?
True
Let o be (-3)/(4 - 7) + -1. Suppose 3*y + 0 = 5*j - 7, j + y - 3 = o. Let f = -3 - -2. Which is bigger: j or f?
j
Let p(u) = -u**3 + 7*u**2 + 2*u - 9. Let w be p(7). Suppose w*l - 5*m = 0, 2*l - 5*m + 18 = 3*l. Let y(g) = 3*g - 3. Let a be y(2). Are a and l unequal?
False
Let j be ((-1)/2)/((-5)/20). Suppose -2*y - 4*k = 2*y, 4*y - 2*k - 18 = 0. Suppose -y*q = -2*f + 1, 4*f + f - 25 = 0. Which is smaller: j or q?
j
Let h(m) = -m**3 - m - 2. Let l be h(0). Let z = 12 + -12.1. Which is smaller: l or z?
l
Let o(x) = x**2 + 10*x + 10. Let g be o(-6). Which is greater: -13 or g?
-13
Let q = -23611/43 - -549. Which is smaller: 1 or q?
q
Let t(m) = m**2 + 6*m + 1. Let q be t(-7). Let p = q - 11. Let o = 5 + -8. Is o bigger than p?
False
Let x(t) = -t**3 + 4*t**2 + 3*t - 1. Let d be x(5). Let m(a) = -a - 9. Let q be m(d). Is q at least 0?
True
Let b(j) = -j**3 + 7*j**2 + 8*j + 10. Let h be b(8). Let q be h/50 - (-86)/(-130). Is q > -1?
True
Let z(m) = 3*m**3 - 2*m**2 + 1. Let f be z(1). Suppose -4*u + 2*o + 8 = u, 2*o + 8 = -f*u. Let c be (-2)/(-3) + 66/(-45). Which is bigger: u or c?
u
Suppose -15 = 2*t - 17. Do t and 1 have the same value?
True
Let p = -0.02 + 0.32. Let v = p + -0.3. Is v at least as big as 0.06?
False
Let c = 8149/168 + 9/56. Let w = c - 48. Which is greater: w or 1?
1
Let l(c) = c**2. Let w(y) = 2*y - y**2 - 6*y - 2*y**2 + 4. Let a(h) = -2*l(h) - w(h). Let d be a(-5). Is 4/7 less than d?
True
Let d be (24/27)/4*6. Let b be 1*(0 + 0/3). Let g = 0 + b. Which is smaller: g or d?
g
Let w = 1 - 0.8. Let p = 0 + w. Let r = 1.1 + -1. Does p = r?
False
Let w be (-231)/14*(-2)/(-3). Which is greater: -12 or w?
w
Let c be ((-63)/(-616))/((-6)/8). Let w = c - 4/11. Is -2 at least as big as w?
False
Let u(f) = f**2 - 2*f + 1. Let g be -3 - (-9)/3 - -3. Let v be u(g). Suppose v*p = -d + 5, 2*p + d - 2*d + 5 = 0. Is p less than or equal to 1/8?
True
Let r(s) = -3*s**3 - 2*s**2 - s. Let j(q) = q**2 + 2*q - 1. Let x be j(-2). Let w be r(x). Let u be 12/27*w/(-4). Which is smaller: -1 or u?
-1
Suppose 0*f - 2*f - 2 = 0. Is 1/8 not equal to f?
True
Let f = 137/91 + -14/13. Suppose 0 = 2*i - o + 2, 4*i + 3*o + 14 + 0 = 0. Let c be i*2*1/(-4). Is f less than c?
True
Let z = 0.44 - 0.5. Let y = z + -1.94. Let v = 0.1 + 0.1. Which is greater: y or v?
v
Suppose -5*n - 10 = 2*d, 0 = -3*d + 5*n + 13 - 3. Suppose 4*z - k = 0, -z - 2*k = -d*k. Which is greater: 2/17 or z?
2/17
Let d = -88 - -438/5. Let u = 1.1 - -1.9. Let o = u - 3. Are d and o non-equal?
True
Let l = 2.1 + -2.1. Which is bigger: 7/4 or l?
7/4
Let c be 3/(-18)*(-1)/(2/8). Does c = 3?
False
Let c = 173895/5392 - 3/5392. Let d = -32 + c. Let b be (-1 + 1)/((-6)/(-3)). Which is bigger: d or b?
d
Suppose 0 = -3*a + 5*l - 0*l + 434, -5*l = 5. Let z be (-11)/a - (0 - 0). Is -1/2 greater than or equal to z?
False
Let j = -55 + 58. Let s = 2 + -11. Let y be (s/j - 5) + -1. Which is bigger: -8 or y?
-8
Let c = -88 - -527/6. Is c greater than or equal to 0?
False
Suppose -2*b + 1 = 2*d - 1, -4*b = 4. Suppose 0 = 3*q - 0*q - 2*w - 1, -q - d*w + 3 = 0. Let o be 1 - (-5 + -4 + q). Is 8 bigger than o?
False
Let f = 1869 + -15207/8. Let q = f + 32. Let x be 0/(0/1 + -1). Which is bigger: q or x?
q
Suppose -2*t + 3*h = -1, 0 = -t - 2*t - h - 4. Which is smaller: t or -0.1?
t
Let b = -178 + 204.92. Let f = b + -26. Let i = f + 0.08. Is i bigger than 6?
False
Let n = 4.4 - 3.4. Which is smaller: n or -0.4?
-0.4
Let n = -0.81 - 11.19. Is n less than 1/3?
True
Suppose 4*j = 13 - 9. Suppose z - 76 = 2*u, -4*z + 5*z - 2 = 0. Let q = -256/7 - u. Which is smaller: q or j?
q
Let y be (0 - 0) + (-7 - -1). Let m be 3/(-2)*(-4)/y. Which is smaller: -2 or m?
-2
Let a = 2 - 2. Let w be 1/1115*(-5595)/6. Let z = 2/669 + w. Which is smaller: a or z?
z
Let z be 2/(-3) - (-8)/14. Suppose 2*t - 6*t = -8. Suppose -19 - 4 = -2*n + 5*v, -t*n - 5*v - 27 = 0. Is z < n?
False
Let z(q) = -3*q**2 + 3*q - 1. Let c be z(1). Suppose 0*s - 4*s = 0. Which is smaller: c or s?
c
Let q = 126 + -109. Is q at least 16?
True
Let c(q) = q**3 + 3*q**2 + 11*q + 8. Let f be c(-4). Do f and -52 have the same value?
True
Suppose -2*w - 3*v = -v, 16 = -w - 5*v. Let z be (-2)/6*w/8. Is z at least as big as -1?
True
Let o(u) = -u**3 + 8*u**2 + u - 8. Let q be o(8). Suppose q = -0*v + v. Is 0 less than or equal to v?
True
Let a be 1/(-2*(-1)/(-4)). Let b(r) = r + 1. Let c be b(a). Which is bigger: c or 1/7?
1/7
Suppose -2*f + 28 = -0*x + 5*x, 5*f + x - 24 = 0. Suppose -f*l - 4 - 20 = 4*b, 10 = -2*b. Is l bigger than 3/10?
False
Suppose 3 + 2 = 5*m. Which is greater: m or 0?
m
Let h = -10738/19 - -565. Is h bigger than 1?
False
Suppose -2*q - 1490 = -u - u, -q + 3*u - 735 = 0. Let g be (-560)/q - (-4)/(-6). Which is greater: 0 or g?
g
Let s = -11 + 12. Which is smaller: s or 5.2?
s
Let o = -0.98 + 1.11. Which is greater: -1/4 or o?
o
Suppose -5*w = -10 - 5, 3*w - 27 = -3*s. Let j(o) be the third derivative of -o**4/24 + o**3 - 2*o**2. Let n be j(s). Is -1/13 at least as big as n?
False
Suppose 2*a - 4 = -2*c, -1 = a - 2*a. Which is smaller: c or 0.3?
0.3
Let h = 11/3 - 49/12. Which is smaller: h or 0?
h
Let g = 0 - 1. Let w(o) = 2*o**2 + 23*o + 30. Let q be w(-10). Is g greater than or equal to q?
False
Let f = 0 + 0. Let j(g) = -g**2 + 8*g - 9. Let i be j(6). Let r(a) = -a**3 + 2*a**2 + 4*a - 2. Let k be r(i). Are k and f unequal?
True
Let w be 4/35 - (-4)/14. Suppose 0*q + q = -3*j - 4, 12 = -j - 3*q. Suppose j = 5*d - 0*d. Which is smaller: d or w?
d
Suppose -2*i = 3*g - 38 - 11, -4*g = i - 22. Suppose -6 = -2*s - i. Is -10 less than s?
False
Let p(i) = i**3 + i**2. Let f be p(-2). Are f and 2 non-equal?
True
Suppose 6*j - 2*j + 24 = -4*i, 2*i + 7 = -j. Let a(s) be the first derivative of -s**3/3 + s**2/2 + s + 4. Let q be a(i). Is q >= 0?
False
Let k = 2223 - 108923/49. Which is smaller: 1 or k?
k
Let c(m) = m**2. Let a be c(2). Suppose 4*j = d + 6, -a*j = 5*d + 8 - 98. Let h be d/24 - 5/15. Which is smaller: h or 0?
0
Let w(j) = j - 3. Let r be w(5). Let p = r + -5. Is -3 at least p?
True
Let a = 12 - 12.6. Which is greater: a or 0.3?
0.3
Let j = 2.94 - 3. Let p = 0.06 + j. Is 0 >= p?
True
Suppose 3*v - 2*z + z + 99 = 0, 4*z - 140 = 4*v. Let r be v/(-161) - (-12)/(-42). Which is bigger: -1 or r?
r
Let d = 5/18 + -89/126. Suppose 3*i - 4 + 0 = -4*o, -3*o + 3 = -3*i. Is i at least as big as d?
True
Let q = -4 + 6. Suppose -3*w = -x - 14, -x + 16 = 5*w + x. Suppose 0 = -4*o - w, -o = q*y + o + 8. Which is smaller: y or -2?
y
Suppose 0 = -2*m - 2*s - 2*s - 2, -4*s - 9 = -5*m. Which is smaller: -5 or m?
-5
Let s = 27.58 + -32.6. Let j = 0.02 + s. Let a = j - -4.9. Is a <= 0.1?
True
Let k = 3/23 + -535/46. Which is greater: k or -11?
-11
Let c = 6 + -5. Let t = 0 + 0.2. Let z = t - -0.8. Is c greater than z?
False
Let h(v) = v - 4. Let j be h(5). Let i be 2/(-4)*4/(-6). Which is smaller: j or i?
i
Let l(n) = 2*n**2 + 13*n - 1. Let g be l(-5). Which is smaller: 3/5 or g?
g
Let h(v) = v**3 + 5*v**2 - 7*v - 9. Let t be h(-6). Suppose 0 = 5*q + 5*g + 20, -4*q = -2*q - 4*g - 4. Is q not equal to t?
True
Suppose 0*r = 4*r - 24. Suppose 4*m = r*m - 2. Which is greater: -2/17 or m?
m
Let d = -4 - -5. Suppose 5*l - 5*k + 10 = 0, -4*l + k - 2 = 15. Let n be 2/l*1*-15. Which is smaller: d or n?
d
Let k(o) = o**3 -