 q less than or equal to c?
True
Let k(n) = n**2 - 6*n + 2. Let u be k(6). Suppose 3*o - u*o = 0. Is 3/5 < o?
False
Let b = 197 - 117. Which is bigger: b or 79?
b
Let x = 18 + -27. Which is smaller: -10 or x?
-10
Let f = -4.3 - -0.3. Let k = -4 - -4. Which is smaller: f or k?
f
Let l = -130 + 97. Is l greater than or equal to -35?
True
Let k = -2 + 2.3. Let p = 44 - 41. Do p and k have the same value?
False
Suppose 0 = -4*p + 8, -9*h = -12*h - 4*p + 5. Which is bigger: h or -14?
h
Let q = 19 + -10. Let v be (q/(-18))/((-1)/(-2)). Is 0 > v?
True
Let b be (-12)/27*(-18)/4. Suppose -b*w + 5 - 3 = -4*j, 4*w - 4*j + 4 = 0. Suppose 2*u - 3*q = 2*q - 15, 4*q = -2*u + 12. Which is smaller: w or u?
w
Let x be (-1 - 5/(-3))/((-12)/(-9)). Which is smaller: x or 0.04?
0.04
Suppose n + 2*n - f = 23, -f = 5*n - 25. Is 8 greater than n?
True
Let g = -0.6 - -13.6. Which is smaller: -1/3 or g?
-1/3
Let z(x) = 2*x - 1 - x - 6*x. Suppose 0 = 4*c - 19 + 23. Let r be z(c). Which is greater: r or 2?
r
Suppose 13 = 5*w - 127. Let s = -20 + w. Is s < 9?
True
Suppose q + 3 = -0. Let u be q/(-5) - (-1 - -2). Which is smaller: 1 or u?
u
Let t = -4 + 3. Suppose 4*i + i = -5. Is t at most i?
True
Suppose 7 = -4*h - 3*y, 0 = -4*y - 12 - 8. Let r(f) = -4*f + 4. Let s be r(h). Is s less than -5?
False
Let f = 33/8 - 397/104. Let x = -29/52 + f. Is -1 less than x?
True
Suppose -2*x + 3 = x, -14 = 5*r + x. Suppose 5*a = -3*b - 24, 3*a + 5*b + 16 = -8. Is r < a?
False
Suppose -3*w = 2*w + 5. Let a = 244/9 - 27. Which is smaller: a or w?
w
Let r = -2.135 + 0.135. Do -39 and r have the same value?
False
Let n = 0.18 - -0.52. Which is greater: n or 1?
1
Suppose -9 = -5*s + 11. Let y be s/90*(3 - 6). Is -1 < y?
True
Suppose 0 = 5*s - l + 9, -4*s + l = -0*l + 7. Are s and -6/7 unequal?
True
Suppose 5*g - 3*j - 13 = 0, g - j = -2*g + 7. Suppose 14 - 16 = g*x. Which is smaller: x or -2/23?
x
Let l be (-6)/(9/3 + -4). Which is smaller: l or 4?
4
Let k(w) = -w + 6. Let d be k(5). Is 5/9 >= d?
False
Suppose 0 = 2*p + 5*f - 3, -5*p + 5*f - 6 - 4 = 0. Let w(l) = -l. Let u be w(-4). Suppose -u*r + 3 = 11. Are r and p unequal?
True
Let f = -49 + 341/7. Suppose 4 - 5 = 3*z - h, -3*z = -5*h + 17. Is z greater than or equal to f?
True
Suppose 7 = -3*o + 1. Let i = 6 + -9. Is o less than i?
False
Let k = 43/33 - 18/11. Let a be 4/(-6)*(-30)/(-5). Let u be a - 60/32*-2. Which is greater: k or u?
u
Suppose 5*q - 6 = -o, -2*q = -3*o + 2*q - 39. Is -7 >= o?
True
Let x(q) = -q**3 - 5*q**2 - 2*q + 8. Let u be x(-4). Is -57 at most u?
True
Suppose -33 = h + 5*b - 13, b + 4 = 5*h. Let l be (-5 - -6) + 4 - (0 - -3). Is l not equal to h?
True
Let z be 69/168 + (-4)/14. Let y = -0.29 + 0.17. Let w = -0.22 - y. Which is bigger: w or z?
z
Let p be (13 - -1)*(-1)/(2 + 0). Is -6 < p?
False
Let f = -39.73 + 37.7. Let v = -0.06 + 0.09. Let t = v + f. Which is smaller: t or 0.2?
t
Let h(a) = -a**3 - 7*a**2 + 1. Let u be h(-7). Let g be (-2)/7 - (-133)/(-49). Let i be g + (-1 - -3) + 1. Which is bigger: u or i?
u
Let c = 13.1 - 13. Is 1 greater than c?
True
Let m = -92 + 1289/14. Which is greater: m or 0?
m
Suppose -5*m - 10 = -10*m. Which is smaller: m or 3/4?
3/4
Suppose 3*c + 23 = 4*j - 0*j, 0 = 5*j + 2*c. Suppose j*g + 5 = g + 4*y, 4*y - 8 = 0. Does g = 3?
True
Suppose -5 = 5*y - m + 6, 3 = 3*y - 3*m. Let s be 2 - 0 - y/(-3). Which is bigger: s or 1/7?
s
Suppose -16 = -5*a - 4*j, 2*a + 4*j = 1 + 3. Suppose -4*x - 24 = a*i, -i - 3*x = -2*i - 18. Is i equal to -9?
True
Suppose -2*d = -d - 4. Let y be (2/6)/(2/24). Is y less than or equal to d?
True
Let p(f) = -f + 4. Let s be p(0). Suppose 0 = -s*z + 20, 2*z = 3*o + 1 + 9. Which is greater: o or -2/13?
o
Let a(w) = -3*w - 11. Let y be a(-5). Is -1/3 less than y?
True
Let j = 2 + -2. Let g = j + -1. Let r be 3 + 1 + g + -4. Is r > 2?
False
Let t(i) = -i**2 + 2*i - 1. Let z be t(3). Let n = z - -3. Let o(d) = d**2 - 7*d + 5. Let m be o(6). Is n greater than m?
False
Let y(x) = -x**3 - 9*x**2. Let m be y(-9). Let q be (1/2)/(m + 1). Is q equal to 2?
False
Let h = 11 - 4. Let v(l) = l + 8. Let c be v(h). Suppose -4*r = -r - c. Is r at most as big as 3?
False
Let x = -4.2 + 3.2. Is 5 smaller than x?
False
Let u = -29 + 27.9. Let b = u + -0.9. Is 0.07 > b?
True
Let s = -5.2 - -5. Let u = -0.02 - 0.78. Let d = u - 0.2. Is d > s?
False
Let u(f) = -3*f**2 - 3*f + 2. Let p be u(-3). Let w = p + 14. Which is bigger: w or -0.3?
-0.3
Let m(v) = -v - 1. Let u be m(-1). Which is smaller: u or 2?
u
Let r = -8193373/17 - -481788. Let d = 175 + r. Which is greater: 1 or d?
1
Let j be 0 + 88/30 - 3. Let i(v) = v**2 + 15*v - 16. Let k be i(-16). Does j = k?
False
Suppose 0*z - z = -m + 17, 2*m = -2*z + 22. Let o be m/(-63) + 4/18. Which is greater: o or 1/8?
1/8
Let u(s) = -s**3 - s**2 - s - 1. Let v(r) = 4*r**3 + 2*r**2 + 4*r + 5. Let l(d) = 5*u(d) + v(d). Let k be l(-3). Which is smaller: 4 or k?
k
Let a = -58.3 + 55. Let t = 18.3 + a. Which is smaller: -0.1 or t?
-0.1
Let s be ((-5)/(-80)*-2)/((-1)/(-2)). Is s at least -0.7?
True
Suppose -5*t - 33 = -4*v, 5*t = -v - 3*v - 17. Suppose -v*o - 1 = 1. Suppose -5*x = -3*p + 4, 5*x = -8 - 2. Are o and p equal?
False
Let u be 2/(-4)*2*-1. Let v be 0*(1*-3)/6. Let z = v + u. Which is bigger: z or 2?
2
Suppose 0 = q - 2*q - m - 16, 4*q - m = -39. Which is greater: -12 or q?
q
Let a = 17 + -11. Let y = -1 + a. Which is smaller: y or 1?
1
Let f(c) = 4*c + 4. Let w(s) = 12*s + 12. Let d(b) = -10*f(b) + 3*w(b). Let m be d(-3). Is m at least 8?
True
Let g = -2.85 - -3. Let s = g - 0.05. Is s at most as big as 1/2?
True
Let v = 8 - 5. Let k(c) = -3*c + 3*c - v*c. Let p be k(-1). Which is smaller: p or 2?
2
Suppose 2*w + w + 12 = 0. Which is greater: w or -3?
-3
Let y(u) be the second derivative of -u**5/60 + 5*u**4/12 - 3*u**3/2 - u**2/2 - 3*u. Let q(l) be the first derivative of y(l). Let f be q(9). Is f at least 1/4?
False
Let u be (-6)/14 + 39*(-1)/(-42). Suppose 0*d = -4*d + 32. Let v(j) = j**2 - 7*j - 10. Let h be v(d). Is u at least h?
True
Let l = 318 - 967/3. Is l > -3?
False
Suppose 2*r - 20 = -4*o - 0*o, 2*o + 14 = 5*r. Let s be (4/(-2))/(8/(-12)). Is s smaller than o?
False
Let v = -6.4 - -7. Let o = v - 1.6. Which is smaller: -2 or o?
-2
Let c be ((-4)/(-10))/((-354)/30). Which is bigger: c or 1?
1
Let u = 4 - 6. Let c = -5 + 5. Suppose -r - 3 = -c. Is r less than or equal to u?
True
Let f = 2/247 + 1231/494. Let u = -8 - -11. Which is greater: f or u?
u
Suppose -13*m = -17*m. Which is bigger: 1 or m?
1
Let o = 1.5 + -1.6. Which is smaller: 2/17 or o?
o
Let r(k) = -k + 10. Let y be r(8). Suppose -z + 15 = y*z. Suppose -1 = -z*x + 4. Is 2 less than or equal to x?
False
Suppose 8*o + 24 = 2*o. Let t be 6/(-9)*(-18)/o. Let p(s) = -s. Let x be p(3). Is t at least as big as x?
True
Suppose z = -3*z. Suppose 0 = 4*o, z*k - k + 4*o + 3 = 0. Let b = 1 + -0.9. Is k bigger than b?
True
Let s(j) = -j - 3. Let z be s(-5). Let a be (-1)/z*(-1 - -1). Is 0 at most as big as a?
True
Suppose 0 = -6*m - 0 + 18. Which is bigger: m or -5?
m
Suppose 2*x = 7*x - 15. Let o(j) = -j + 2. Let s be o(0). Let a be (0 - 6/(-3))/s. Is a bigger than x?
False
Let u = -4 - -6. Suppose -u*y - 15 = -5*y - 2*d, -5*y = -5*d. Do y and 5 have different values?
True
Let y(q) = q**3 - 7*q**2 - 11*q + 3. Let m be y(8). Are -21 and m unequal?
False
Let f be (-385)/1176 + (-4)/(-14). Is f equal to -1?
False
Let t = -1783/4 + 441. Which is smaller: t or -4?
t
Let j = -50/239 - 6427/18403. Let r = 455/1749 - -2/159. Let a = j + r. Which is greater: a or 0.4?
0.4
Let s(y) = -4 - 8 + y + 6. Let l be s(5). Which is greater: l or 2/5?
2/5
Let c = 10 + -17. Let j = c - -7. Suppose 2*x - 5*m - 13 = 0, -x - 16 = 3*m + 2*m. Which is smaller: x or j?
x
Suppose -2 + 6 = -5*j - c, j + 4*c = 3. Which is smaller: -2 or j?
-2
Let h = 3 - 4. Let g be -1 + h/(-1) + 3. Let p be (0 - (-1)/12)*g. Which is smaller: p or 1?
p
Let m(k) = -k**3 + 3*k**2 + k - 2. Let p be m(3). Let q = -10 + 5. Let g be 3/q + (-13)/(-30). Is p bigger than g?
True
Let u be (-1 - (-2 + 0))*-1. Let d = -11 + 1. Let k be (d + 11)*4/(-10). Which is bigger: k or u?
k
Let m = -1/19 - -2/19. Is 1 at least m?
True
Suppose 3*p + 6*a = 4*a - 82, 0 = 5*p + 2*a + 130. Let n be -3 + p/(-21) - -1. Which is greater: n or -1/3?
