 9*x + 6. Let c be l(4). Let p = -13 + c. Is p >= -11?
True
Let p be -1 + 2 - (-334)/4. Let x = p - 87. Which is smaller: x or -4?
-4
Let s = 675 - 24973/37. Is s less than -1?
False
Let b(d) = d**3 + 6*d**2 - d - 2. Let c be b(-6). Let o = 3 - c. Is -1/5 at most as big as o?
False
Let z = -0.6 + 2.6. Let w = -28.1 - -30. Let c = w - z. Do c and 1/3 have different values?
True
Let h = -18 + 19.8. Let t = -1.2 - h. Which is bigger: 2/5 or t?
2/5
Suppose 0*c = 5*c. Let o = -8 - -11. Are o and c non-equal?
True
Let q = 90 + -83. Which is greater: -0.08 or q?
q
Suppose 4*c + 5 - 1 = 0. Which is smaller: 1/31 or c?
c
Let m = -25 + 24. Let u = 149/14 + -21/2. Which is smaller: u or m?
m
Let p(x) = x**3 + 21*x**2 + 16*x - 29. Let t be p(-20). Are t and 52 nonequal?
True
Let t = 1.227 - -11.953. Let v = t + -13. Let q = v + -0.08. Is q less than or equal to 2?
True
Suppose 0 = -3*o - 0 + 3. Suppose -2*p = 1 - 7. Suppose 0 = k - u + o, 0 = k - 2*u - 0 + p. Is 4/5 < k?
True
Let v = -5 - -2. Let w be 38086/(-1496) - v/12. Let y = w - -276/11. Which is bigger: -1 or y?
y
Suppose 0 = -6*v + 18*v. Is -7/10 < v?
True
Let c = -8 - -9.5. Let d = c - 1. Is d at least 0?
True
Suppose 3*n - 4*f + 19 + 30 = 0, 0 = -n + 5*f - 31. Which is smaller: -9 or n?
n
Suppose o - u = -15, 0 = -u - 4*u + 10. Which is smaller: -12 or o?
o
Let w be (-11 - -8)/((-2)/(-2)). Let m be (-1 - (-2)/6)*6. Let x = m - w. Which is smaller: x or 0?
x
Let f(r) = r**3 - 3*r**2 - 6*r + 9. Let p be f(4). Let a = 21 - 29. Which is smaller: p or a?
a
Let g = 11 - 15. Let r = 1 + g. Let a be r/(-2)*2/3. Which is smaller: 2/15 or a?
2/15
Suppose 0 = -p - 2*p + 12, 3*a - 7 = -p. Suppose -a = -v - 0. Let f = -119/6 + 20. Which is bigger: f or v?
v
Suppose 0 = 2*m - 3*m + 10. Suppose -3*q - 3*g - 5 = 1, -5*g = 4*q + m. Which is greater: -2 or q?
q
Let g(s) = 2*s - 2. Let q(z) = -5*z + 5. Let k(b) = -8*g(b) - 3*q(b). Let a be k(5). Is -5 less than or equal to a?
True
Let z(h) = h**3 - 2*h**2 - 2*h + 1. Let q be z(2). Let a(w) = w**2 + 4*w + 4. Let s be a(q). Let j = 4/11 - 34/33. Is s < j?
False
Let p = 362 - 3972/11. Is p smaller than 0?
False
Let y = -44 + 43.9. Is -2.5 at most as big as y?
True
Let o be (2/(-1))/((-6)/(-9)). Let m(i) = -i**2 - i + 1. Let t be m(-3). Let n = o - t. Is 3 smaller than n?
False
Suppose h - 5*z = -z + 7, 0 = 3*h + 5*z + 13. Let y = -2 - h. Let u = 2270/9 - 252. Which is greater: u or y?
u
Let l be 2*2/(-4) + 1. Suppose 0 = -l*r + 2*r. Is r greater than or equal to 1/14?
False
Suppose 2*b - 5*b + 33 = 0. Suppose 0 = r + 2*r + 4*v - b, 2*r - 14 = 4*v. Does r = 5?
True
Let w be 2/6*12/3. Let c = -3 + 1. Let q = c + 4. Is w > q?
False
Suppose 0 = -3*z - z - 4. Suppose -w + 0 + 1 = 0. Let k be z - (36/(-15) + w). Which is greater: k or 1?
1
Suppose -2*a = 2 - 8. Suppose 0 = 3*k + g - 6*g - 1, -k = g - 3. Which is smaller: a or k?
k
Suppose 13 + 3 = 4*z. Let u be 8/(-12)*(-3)/2. Let a = u - -2. Is z > a?
True
Let n be (-45)/12*(3 - 245/15). Is n at least 52?
False
Let r(t) be the first derivative of -t**4/4 + 4*t**3/3 + t**2 + 7*t - 9. Let z be r(5). Which is smaller: z or 2/7?
z
Let w = 311 - 6532/21. Let i = 11/21 - w. Which is bigger: i or 1?
1
Let w = 29/3 + -34/3. Is -3 less than or equal to w?
True
Let h = -5 + 6. Suppose -h = -3*t + 2*t. Is 2/11 at most as big as t?
True
Let w = 170 + -170. Let u be 278/(-6) - 1*-1. Let l = -45 - u. Is w < l?
True
Let c(i) = i**3 + 16*i**2 + 14*i + 18. Let s be c(-15). Which is smaller: -0.1 or s?
-0.1
Let o be -5 + 1 - (-1 + 3 + -47). Is 42 >= o?
True
Suppose 7*h = 3*h + 4. Let p = -10 + 7. Let i be 3/p + h*-1. Is -0.1 at least as big as i?
True
Let j = -17 + 18. Let x = -1384/11 + 126. Which is greater: x or j?
j
Let b be ((-4)/8)/((-3)/(-6)). Which is smaller: 0 or b?
b
Let h be 24/60 - (-6)/10. Is h greater than or equal to 1?
True
Let l = 5 + -2. Let j be 1/((-76)/20 - -4). Do j and l have the same value?
False
Let p(c) = 2*c - 6. Let k be p(9). Let m(q) = -q**3 + 13*q**2 - 13*q + 12. Let r be m(k). Let z be (-2)/((-58)/27) - 1. Is z at most as big as r?
True
Let o = 90 + -91. Is o at most -5?
False
Suppose 5*q + 9 = 2*q. Is 0 < q?
False
Let o be (-40)/60*9/(-42). Let h(r) be the third derivative of r**6/120 - r**5/30 - r**4/8 - r**3/6 + r**2. Let g be h(3). Which is bigger: o or g?
o
Let w be (-76)/(-8)*3 - 2/4. Is 27 != w?
True
Let v = -9/851 + 154166/12765. Let p = v + -35/3. Which is greater: p or -1?
p
Let w = 2.8 + -3.8. Let g be 8/(-10)*3/4. Which is greater: g or w?
g
Suppose -7*m = -4*m - 12. Suppose m*s - 5 = -1. Are 2 and s nonequal?
True
Let h = -32 + 25. Is -7 != h?
False
Let a be 6/(-22)*(-44)/(-66). Suppose -7*y - 4 = -3*y. Is a greater than y?
True
Let j be 21*((-125)/135 - -1). Which is smaller: j or 3?
j
Let i = -8 - -5. Let x = i + 0. Do -5 and x have different values?
True
Let c = 122 - 121. Which is greater: c or 12/7?
12/7
Let l = 43 + -45. Is l > -5/4?
False
Let k(s) = -2*s + 12. Let n be k(6). Let w be (-1)/21 - 10/35. Is w at most as big as n?
True
Let v = -0.81 - -18.81. Is 0.2 <= v?
True
Let r be (-8)/(-36) - (-98)/(-522). Which is smaller: r or -1?
-1
Let r(v) = v**3 + v. Suppose -2*f = 4*n - 4 - 16, 2*n = 5*f + 10. Let t be r(f). Which is bigger: t or 2/7?
2/7
Let n = -39 + 65. Suppose 0 = -5*p + n + 4. Are p and 6 equal?
True
Let k = 17 - 18. Which is smaller: k or -5/6?
k
Suppose 0 = 5*v - 0*v + 15. Are v and -3 unequal?
False
Suppose -2*h + h - 4 = 0. Let z be h/(-14) + 10/(-35). Are z and 2/17 equal?
False
Suppose -4*n - 58 = 2*t - 0*t, -2*n - 5*t = 41. Does n = -15?
False
Let p = 662 + -17876/27. Which is smaller: -1 or p?
-1
Let d(c) = -c**2 + 7*c - 1. Let z be d(3). Let a be -4 - -1 - z/(-3). Is a equal to 0?
False
Suppose -8 - 34 = 3*z + r, -z - 4*r - 14 = 0. Which is smaller: z or -12?
z
Suppose -4 = -o - 3. Suppose 5*r - 27 = -4*x, 4*r = x + 17 - 8. Let z be (5 - 9/r) + -2. Is z at most o?
True
Suppose -5 = 5*o, 4*v + 4*o - 25 = 5*o. Let h be (-1)/2 - (-15)/v. Let r = -4 + h. Is r less than -4?
False
Let i = -119 + 118. Let n = -2 - -5. Suppose 2*b - 4*b = -n*q + 1, q + 3 = -b. Is q <= i?
True
Let c(o) be the second derivative of o**3/3 - 2*o**2 + 10*o. Let a be c(2). Which is smaller: 1/26 or a?
a
Let r be (-5 + 6)/(2/(-6)). Let z = -11 + 7. Is z <= r?
True
Let l = 89 - 715/8. Let x = -1 - -1. Suppose x = -4*m + 4*o, 0*m + 3*m = -o. Is m > l?
True
Let s = -56.75 - -63. Let n = -6 + s. Let t = 0.05 + n. Is t at least 1/2?
False
Let y be (10 + -11)/((-1)/(-4)). Which is bigger: -5 or y?
y
Let t = -45 - -31. Let x be t/(-10) - 4/10. Let n be 8/(-12) - (-1)/3. Which is smaller: n or x?
n
Let r(n) be the first derivative of 1/3*n**3 - 1 + 5/2*n**2 + 5*n. Let v be r(-4). Which is smaller: v or 2/7?
2/7
Let x = 2 - 2.2. Let g = x + 0.2. Are g and 0 nonequal?
False
Let t(q) = -q + 5. Let i be (-58)/(-10) - 2/(-10). Let j be t(i). Are j and -6 equal?
False
Let g = 47 + -422/9. Let w(t) = 4*t**2 - 46*t + 10. Let f(z) = -3*z**2 + 31*z - 7. Let c(h) = 7*f(h) + 5*w(h). Let q be c(-13). Are q and g unequal?
True
Suppose 0 = 36*m - 40*m. Let b = -19/4 + 17/4. Which is smaller: m or b?
b
Let a = 6 + -5. Let x = a - 3. Is -1/4 less than x?
False
Let a = 4 - 10. Let w = a + 10. Let x = -3.7 + w. Which is greater: x or 0?
x
Let n be (-4)/(-6)*30/4. Suppose -3*q = n*d - 6, 0*d = -3*q - 2*d - 3. Which is smaller: q or -4?
-4
Let s = -0.02 + 1.02. Let r = 0 - -1. Let u = r - 3. Which is bigger: u or s?
s
Let g = 28.9 + -29. Which is bigger: -0.6 or g?
g
Let r(d) = -d**3 - 8*d**2 + d + 13. Let w be r(-8). Do 2/3 and w have the same value?
False
Let m be 1/(4 - 10 - -5). Is m < 2/141?
True
Let l(y) = y**2 + 5*y + 4. Let u be l(-5). Let p be 7/21 + 15/(-27). Which is greater: u or p?
u
Let y = -427/65 + -29/13. Do y and -10 have the same value?
False
Let x = 11661/34 - 343. Does x = 1?
False
Let a = 36 + -73. Which is greater: a or -38?
a
Let z be (15 + -13)/(10 + -1). Is 0 smaller than z?
True
Suppose -1 = m - 0. Let r = m - -1. Let d = 1857/11 + -169. Does r = d?
False
Suppose -3*s + 5*o = -s + 4, -2*s + o + 4 = 0. Suppose -r = -0*r - s. Let t be ((r + -4)*-1)/3. Which is greater: t or 1?
1
Let g = 4 - 4.2. Which is smaller: g or 10?
g
Suppose -3*l + 4*d + 1 = -d, 3*l + 49 = -5*d. Let j be (-22 - 0)/2 - -1. 