) = -n**3 + 4*n**2 - 3*n + 6. Let j be p(4). Let v be (-2)/3 + 7 + j. Is v at most 5?
True
Let b = -3 - -4. Suppose -2*a + 5*a + 3 = 0. Which is bigger: a or b?
b
Let v be (-2)/(-7)*(0 - 1). Let k = 12 + -5. Suppose -q = -l - 5 + 1, -5*l - 4*q = -k. Is l != v?
True
Suppose -3*n - 4*b = -2, b = n + 3*b - 2. Which is greater: n or -8/9?
-8/9
Let g = 6 - 4. Let n be -1 + (g - 2 - 5). Let t be 1 + n*(-2)/(-10). Which is greater: t or -1?
t
Let s(l) = -l**3 + 2*l**2 + 5*l - 4. Let a be s(3). Suppose 3*u - a*x - 3 = 0, 0 = 2*u - 5*x + 4*x - 2. Is 2 >= u?
True
Let c(q) = q**3 + q**2 - 7*q + 2. Let j be c(-4). Is -18 > j?
False
Let y = -3 + 2. Let a = 17/12 - 5/3. Is y equal to a?
False
Let f be 0/(1/((-3)/3)). Let b = 35448/5 + -7189. Let u = -99 - b. Which is bigger: u or f?
u
Let k be 4/14*(-7)/(-3). Let b = 0 + 0. Is b > k?
False
Suppose 0 = -3*p - 252 - 126. Let l = 632/5 + p. Is -1 less than or equal to l?
True
Let w = -15 - -17. Suppose w*n + 3*n + 5 = 0. Is n less than or equal to 0?
True
Let g(o) = o**2 + o + 3. Let a be g(0). Suppose -2*h = -a*h + 3. Let m be (1*(-12)/h)/(-14). Which is bigger: m or -1?
m
Let n be -5*(6/(-15))/1. Let k be (-1)/((n/2)/(-1)). Let z be (k - 0)*(-2)/(-6). Is z != 0?
True
Let b(f) = -7*f**2 + 3*f + 1. Let c be b(2). Which is smaller: c or -24?
-24
Suppose -r + 2 = -3. Suppose 21 = f + r*p - 10*p, 0 = -2*f - p - 2. Does f = 3/7?
False
Let q(t) = t + 3. Let w be q(-7). Let l be w/8*(-1 + 1). Suppose -5*f + 4 + 1 = l. Which is bigger: f or -2/11?
f
Let a = -6 + 11. Which is bigger: 1/4 or a?
a
Suppose -2*g - 2*s = -124, -g - 2*s = -3*s - 64. Suppose g = 5*z + 23. Which is greater: z or 9?
9
Suppose 8*a - 3*a = 3*u - 5, 5*a + 10 = 4*u. Let s(b) = b**3 - 2*b**2 - b + 6. Let c be s(0). Which is greater: u or c?
c
Let x be (-40)/(-50) + 41/5. Do x and 8 have different values?
True
Let j = 0.06 + -0.15. Let r = 0.61 - j. Let v = -3.7 + r. Which is greater: v or -0.1?
-0.1
Let w(r) be the third derivative of -r**4/24 + r**3/3 - 3*r**2. Let n(j) = -j + 10. Let d be n(7). Let h be w(d). Which is smaller: 0 or h?
h
Let u be (-32)/20*(-4)/31. Let z = u + 6/31. Which is bigger: z or 5?
5
Let h = 0.66 - 1.66. Is 8/7 <= h?
False
Let b be 0/((-6)/(-9)*-3). Suppose b*q = q - 3*o - 32, -76 = -3*q + 4*o. Are 1 and q nonequal?
True
Let f = -7 - -4. Let n be 51/(-9) - (-16)/(-12)*-3. Which is smaller: f or n?
f
Suppose -29 = -k - 37. Are k and -9 unequal?
True
Let f be 4/22 - (-57)/(-132). Which is bigger: 1 or f?
1
Let g = 101 - 114. Which is bigger: g or 0.4?
0.4
Let b be (-17)/(476/120) + 4. Is b at most -0.024?
True
Let m be 8/((-8 - -4) + 6). Suppose 0 = m*h - 3*h - 3*v - 18, -5*h + 74 = v. Do h and 16 have different values?
True
Let b(g) = -g**2 - 21*g + 17. Let v be b(-22). Which is smaller: v or -2?
v
Let r = -2/17519 - 1138679/490532. Let d = 7/4 + r. Is d at least as big as -1?
True
Let j = 38 - 25. Suppose 0 = s + 2*s + 3*i + 6, -j = 2*s - i. Is s less than or equal to -4?
True
Let v(f) = -6*f**3 - f**2 - f - 1. Let z be v(-1). Suppose -s + 13 + 4 = -z*o, -5*o - 32 = 4*s. Is s equal to -3?
True
Let t = 421/102 - 56/17. Let o(d) = d**3 - 2*d**2 - 2*d - 1. Let u be o(-1). Let j = 4 + u. Which is smaller: t or j?
t
Let u = -48 + 55. Which is smaller: u or -1?
-1
Let m be 16/(-20)*-5 + -3. Which is smaller: 5/3 or m?
m
Suppose -i + 3*i = 604. Let j = -8760/29 + i. Let r = 45/232 + j. Which is smaller: r or 1?
r
Let a(k) = -k - 6. Let h be a(-5). Let i = 5 - h. Let n be i/(-4)*4/(-3). Which is smaller: n or 4?
n
Let c(l) = -2*l + 6 + 3*l - 1 + 0. Let u be c(-4). Which is bigger: -2/5 or u?
u
Let s(y) = 6 - 2 - y + 1 + 0*y. Let t be s(4). Which is greater: t or 5/4?
5/4
Let k = 83/3 - 28. Which is smaller: 0.9 or k?
k
Let y = 245.3 + -245. Let h = -8 - -11. Let n = h - 2.8. Which is greater: y or n?
y
Let w = 7 + -1. Suppose 0*l = w*l + 12. Which is smaller: -4 or l?
-4
Suppose -17 = 5*v + 28. Let k = 7 + v. Which is smaller: -3/2 or k?
k
Let w(o) = -2*o - 9. Let d be w(-7). Let i = 4 - d. Does i = 2/5?
False
Let d = 0.15 + -0.05. Let y = 0.21 + 0.69. Is d >= y?
False
Let t = -7 + 8. Which is bigger: -4/15 or t?
t
Let r(h) = h**2 - 7*h - 8. Let u be r(8). Is 2/29 less than or equal to u?
False
Let j = -35 - -50. Let m be j/(-9)*(-1)/5. Is -1 equal to m?
False
Let i be 3/(1 + 2) + 6. Let l(t) = -t + 7. Let x be l(i). Is x greater than -9?
True
Let c = -396/4325 + 2/173. Let r be (-2)/(-4) - 748/600. Let w = c - r. Which is greater: w or 2?
2
Let t = -5/4 - -1. Which is smaller: -10 or t?
-10
Let a = 26 - 76/3. Which is greater: 6/5 or a?
6/5
Let j(n) = -2*n**2 - 12*n + 10. Let f be j(-6). Which is bigger: 6 or f?
f
Let b = -6 - -7. Suppose 2*c - 5*f = -44, -4*f - 2 + 42 = -2*c. Let n = -6 - c. Which is smaller: n or b?
b
Let s be (-7)/(-105) - 3/(-5). Are 1 and s nonequal?
True
Let r = -1861/795 - -2/265. Which is smaller: 0.1 or r?
r
Let t = -1719/7 - -246. Suppose 83 = -2*c + 81. Is c not equal to t?
True
Let h be (-268)/(-80) - (-3)/(-5). Which is smaller: 2 or h?
2
Let c = 0 - 1. Suppose 0 = -p + 4*p - 12. Let s = p + -6. Is c greater than s?
True
Let x = -2 - -8. Let w = 6 - x. Let z = 33/2 + -16. Which is smaller: w or z?
w
Let t be (2/(-5))/((-3)/(-15)). Let b be 2/t + 18/14. Let y = -8/115 + -3/23. Which is smaller: b or y?
y
Let y = -1 + 0. Suppose l + 0*s - 3 = -s, 3 = -3*s. Let z = 3 - l. Is y less than or equal to z?
True
Let s(c) be the third derivative of c**6/120 + c**5/15 - 4*c**2. Let v be s(-4). Is 6 <= v?
False
Let p be 9164746/(-159264) + (-6)/21. Let a = 2767/48 + p. Let b = a - 3/79. Is 1 <= b?
False
Let x(z) = 4*z**3 + 2*z**2 + 4*z - 4. Let v(w) = 5*w**3 + w**2 + 3*w - 3. Let j(o) = 5*v(o) - 6*x(o). Let g be j(8). Is -1/16 less than or equal to g?
True
Let h be (6/(-15))/(0 - 2/(-20)). Which is smaller: -4/7 or h?
h
Suppose 4*t = 4*m + 3 - 7, m + 4*t = 6. Suppose 2 = -m*v + 4. Let w = 2/79 - 168/395. Which is bigger: w or v?
v
Let o be (-2)/3*(0 - 3/(-1)). Let i be (40/(-14))/2 + 0. Which is greater: o or i?
i
Let k = -0.98 + 1.2. Let y = k + 9.78. Which is smaller: 0.1 or y?
0.1
Suppose -6*j - 2*j - 8 = 0. Which is greater: 2/7 or j?
2/7
Let v be 3/2 + 4/(-2). Which is smaller: v or -7?
-7
Let a = 11 - 11.6. Let l = a - -0.7. Does -4 = l?
False
Suppose -4*x - 27 = 53. Let l be (2/x)/(8/20). Let p = 1.34 - 0.34. Which is smaller: p or l?
l
Suppose -1 = -3*h + 2. Let x = -4 + h. Let m = -7 + 5. Which is bigger: m or x?
m
Let g be ((-2)/(-6))/((-14)/(-12)). Let k(z) = -2*z**3 - 4*z**2 - 2*z + 2. Let l be k(-2). Let n = l + -7. Which is bigger: n or g?
g
Let x = -8 - -13. Let i = 4.9 - x. Which is smaller: i or -1?
-1
Let p = 28 - 21. Is 7 smaller than p?
False
Let s(j) = -6*j + 1. Let i be s(1). Is i less than -2?
True
Let s be (2/8 - (-2)/(-8))/1. Does s = 10/37?
False
Let v = -7/2 - -3. Let g(q) = -q**3 + 2*q**2 + 2*q + 3. Let s be g(3). Is s at most v?
False
Let y = 103 - 104. Is 2 equal to y?
False
Let q = 22 - 32. Which is smaller: -80/7 or q?
-80/7
Suppose 4*m = 9*m - 5. Which is bigger: 2/33 or m?
m
Suppose -4 = -5*h + 3*h. Suppose 3*g + h = g. Suppose -5*b + 2*o = 14, 9 = 4*o + 1. Which is greater: b or g?
g
Let v be (4 - 35/12)*4. Which is smaller: v or -0.1?
-0.1
Let h = 39 - 39.9. Which is smaller: -1 or h?
-1
Let r = -0.009 - 0.091. Let v = -0.01 + 0.13. Which is greater: r or v?
v
Let j = 2.009 + 0.031. Let s = 0.04 - j. Is s equal to 0?
False
Let d be ((-13302)/(-48))/(3/(-2)). Let r = 186 + d. Which is smaller: r or 0?
0
Let l = 11 + -7. Let c = l - 0. Suppose -9 = c*g - 21. Which is greater: g or 5?
5
Let d = 5 + 0. Suppose -1 - 4 = d*s. Which is greater: s or 2/13?
2/13
Let u be 1/((-3)/(-6) - 0). Suppose -x + 54 = 4*x + u*f, -f = -5*x + 63. Is 13 bigger than x?
True
Let s(r) = -r**2 + 2*r + 4. Let y be s(3). Let c = y + -2. Let l be 18/(-8) - (c + -1). Which is smaller: 1 or l?
l
Let q = 6 + -4. Suppose -11 = -3*l + 5*g, q*l + 2*g + 4 = 3*l. Let b be -1*2/6*-6. Is l at most as big as b?
True
Let p(z) = -z**2 + 14*z - 16. Let g be p(13). Is 14 less than g?
False
Let o = 40 + -40. Which is smaller: o or 1/54?
o
Let q = 25/2 - 13. Is -0.06 less than q?
False
Suppose 4*c + 2*a + 4 = 3*c, -3*c + 3*a = 21. Is c > -9?
True
Suppose 4*m - 8 = 0, 3*m + 68 + 10 = 3*q. Is 29 != q?
True
Let g be (-16