551/17. Is q less than or equal to -1?
False
Let o(f) = -f**3 + 5*f**2 - 5*f + 4. Let y be o(4). Is y greater than 0.4?
False
Let z = -1/24 + -11/24. Which is greater: z or -3?
z
Let a = 935 - 4658/5. Which is bigger: 4 or a?
4
Let h = 8 + -12. Let t(u) = u**2 + 2*u - 3. Let i be t(h). Does i = 0?
False
Let r = 108 - 109. Is r equal to -1?
True
Let d(p) = -7 - 3*p + 8 + 2 + 7. Let r be d(4). Is r greater than or equal to -2?
True
Let z = 0 + 0. Suppose z = 3*q - 4*h + 19, -5 - 5 = 5*h. Let i(c) = -c - 10. Let n be i(q). Is n less than -1?
False
Let r(z) = -3*z - 27. Let p be r(-6). Which is smaller: p or -7?
p
Let p = 5278/15 + -352. Is p at most as big as -0.2?
False
Let r be (-6 - -6) + (-8)/26. Which is greater: r or 0?
0
Let s = 1.16 + 0.14. Let h = s - 1.5. Which is smaller: 0.1 or h?
h
Let l(c) = c - 2. Let p(z) = 0*z - 2 + 4*z + 1 + z**2 - 2*z**2. Let u be p(3). Let f be l(u). Which is smaller: f or -2/9?
-2/9
Let y be (-12)/(-24) - (1 + (-2)/(-4)). Which is smaller: 6/19 or y?
y
Let a = -2115 - -14508/7. Let p = a + 43. Suppose 0 = 4*v + c + 3, v + 2*c = 3*c + 3. Which is greater: v or p?
p
Suppose 44 = -3*d + 2*s + 3*s, 0 = -2*d - s - 12. Let c(h) = 2*h + 16. Let p be c(d). Which is smaller: p or 1?
p
Let o be (-2)/5 + 3106/7940. Let c = o - 261191/3970. Let v = c - -66. Is 1 less than v?
False
Let k be (-148)/(-48) - (2 + 1). Let a = -1/4 - k. Let p = -0.1 + 0.2. Which is smaller: a or p?
a
Let o(j) = j**3 + 7*j**2 - j + 1. Let z be o(-7). Are z and 29/4 unequal?
True
Let x(q) = q**3 + 8*q**2 + 5*q - 13. Let c be x(-7). Is -1/46 <= c?
True
Suppose -16*y + 32 = -12*y. Let m = -16 + 25. Is y not equal to m?
True
Let u = -0.5 - -0.7. Let i = -12.8 + 15. Let g = u - i. Is g < 0.2?
True
Let b = -0.02 - -0.05. Let t = b - 0.03. Let v = -0.3 + 0.5. Which is smaller: v or t?
t
Let z be 287/(-135) + 4/2. Let t = z - 1/135. Is t < -1?
False
Let d = 125/6 - 58/3. Suppose -496*q + 491*q = -5. Which is bigger: q or d?
d
Let k = 13 + -23. Let x = k + 9. Is x at least -2?
True
Suppose 0 = -3*y - 0 - 9. Suppose -17 = 4*d - 5. Is y at most as big as d?
True
Let t = -6925/28 - -234. Let l = 88/7 + t. Which is bigger: l or 0?
0
Let n(k) = -9 - 2 + 2*k - k. Suppose 3*z = 3*g - 1 + 22, 5*z - 44 = -4*g. Let x be n(z). Do -3 and x have the same value?
True
Let n(d) = d - 10. Let j be n(7). Let x be (12/(-8))/((-1)/(-2)). Does j = x?
True
Let m = 104 - 33. Is 70 equal to m?
False
Let c = 10 - 11. Which is greater: 0.2 or c?
0.2
Let v be ((-6)/152)/((-2)/16). Let n = 531502/540645 + -6/9485. Let z = n - v. Which is greater: 1 or z?
1
Let m be ((-9)/12)/(-1 - 14/8). Which is greater: m or 2/7?
2/7
Suppose 0 = -2*l - 1 - 1. Let t be l/((-15)/6 - -1). Is t bigger than -2/7?
True
Let z = -0.041 + -0.059. Which is bigger: -5 or z?
z
Let r(v) = 2*v + 1. Let j be r(-1). Let k(w) = w - 18. Let h be k(11). Let x = h + 4. Is j less than or equal to x?
False
Let z be 16/(-40) - (-58)/(-5). Does z = -14?
False
Let k(w) = w**3 - 22*w**2 + 23*w - 15. Let m be k(21). Is 25 at least m?
False
Let c = 29 - 40. Is c < -12?
False
Let o(n) = 2*n**2 - 3*n + 3. Let d(p) = -2*p**2 - 4 + p**2 - p + 3. Let h(y) = d(y) + o(y). Let w be h(3). Which is bigger: 0 or w?
0
Suppose 3*r - 3*m + 9 = -0, 3*r + 2*m = -4. Let d(v) = -v + 2. Let b be d(7). Is r at least b?
True
Let c(m) = -2*m - 12. Let h be c(-7). Suppose 0*l - 2*l + h = 0. Which is greater: l or 3?
3
Let m(b) = b - 12. Let l be m(0). Let z be -3*1 + (-39)/l. Which is bigger: z or 0.3?
0.3
Let g = -0.25 + -1.75. Suppose 3*f + a = -12, 0*f - 3*f - 5*a = 12. Let l be (-8)/6 + f/6. Does g = l?
True
Suppose 0*w + 20 = -2*w. Let r be 2/w - 6/15. Do -2 and r have the same value?
False
Let x = 2.01 - 2. Let o = x - -1.99. Let w = 11.1 - 11. Is o bigger than w?
True
Let s = -0.1 - -0.2. Is 0.2 greater than or equal to s?
True
Suppose -a = -0*a - 1. Let u be 2 - (0 + -1 + 13). Let t be (6 + -4)/(1 + u). Do t and a have different values?
True
Let z(y) = -4*y**2 - 8*y. Let l(a) = 3*a**2 + 7*a - 1. Let f(t) = 3*l(t) + 2*z(t). Let u be f(-5). Let i = -15 - -11. Are i and u nonequal?
True
Let c be 0/(-2*(-3)/(-6)). Let y(a) = -a**2 - a + 3. Let p be y(c). Is 2 >= p?
False
Suppose -5*a + 3*a - 14 = 0. Let i(p) = 2*p**2 + 7*p - 15. Let m(z) = -z**2 - 4*z + 8. Let j(o) = -2*i(o) - 5*m(o). Let f be j(a). Is -1 < f?
False
Let w be ((-18)/(-8))/3*-4. Let j = -2 - w. Let d be (-52)/(-60) - 2/(-15). Do d and j have different values?
False
Let p = -1102/3 - -367. Let z be 5/4 - 1/4. Which is smaller: p or z?
p
Let o = 18 + -13. Suppose n = p + 3, n - o*p = 4*n - 17. Let c be 3/((9/n)/(-3)). Is -3 at most c?
False
Let q = 1/4 + 0. Are q and -1/2 equal?
False
Let d = -1/166 + -661/498. Let a be 0*(-3)/(-1 - -7). Which is smaller: d or a?
d
Let f = 0.2 + -0.25. Let v = f + -1.95. Let h = -0.5 + 0.6. Is v < h?
True
Let j be -3 + 992/650 - -3. Let z be 1 + -1 - (-84)/(-50). Let l = j + z. Is l greater than -2/5?
True
Let w = 14 - 9. Which is greater: w or 3?
w
Let r = -0.8 + 0.8. Is -30 <= r?
True
Let p = -23 + 25. Is -0.2 greater than or equal to p?
False
Let b = 26 + -31. Suppose 2*i + 12 = -i. Is i < b?
False
Suppose 0 = 2*j - 43 - 9. Which is smaller: 49/2 or j?
49/2
Let g = 5/26 + -29/117. Are g and 0 equal?
False
Let x = 8 + -9. Is x bigger than -0.34?
False
Suppose -5*j = -4*j - 1. Let a = j - 2. Which is greater: a or -2/7?
-2/7
Let t be (6/9)/((8/(-9))/(-4)). Is t greater than -20?
True
Let v be (0 - -2)/(0 + -1). Let w = -0.1 - -1.1. Let q = -2 + w. Which is smaller: q or v?
v
Suppose 3*a = -5*p + 19, 3*p + 5*a + 15 = 4*p. Suppose v - 12 = -5*d, -4*v + 1 = -p*d + 3. Suppose 4*u - 3*f = -4, -36 + 10 = -5*u - 4*f. Is v at most u?
True
Let t = -63 - -18. Is t smaller than -44?
True
Let z = 111 - 1442/13. Let g = 23/39 + z. Which is greater: 4 or g?
4
Let k = 0 + -0.2. Let s = 3.5 + -0.5. Which is smaller: k or s?
k
Suppose -5*u = 4*j - 8, 5*u + 2 = 3*j - 2*j. Suppose -13 = f - j. Is f greater than or equal to -12?
True
Suppose 3*o - 3 = -4*l - 0*l, -3 = -3*l - 2*o. Suppose -f = -6*f + l*z + 26, 4*f - 20 = 2*z. Let s be (6/(-28))/(f/16). Is s > 0?
False
Let s(b) = -b + 9. Let j be s(7). Suppose 3*d + 3*k + 12 = 0, 0 = -2*d - 3*d + j*k + 1. Let r be d/(-3)*4/(-6). Which is bigger: 0 or r?
0
Let w = -9 - -10. Which is smaller: w or -25?
-25
Let y = -7.043 - -0.043. Is -1 at least y?
True
Suppose -2*a + 4 = -6. Suppose k - 5*k = 2*y - 20, 22 = y + a*k. Suppose -4*r = r - s - 11, 2*s = -y. Is r greater than or equal to -1/4?
True
Let h = 50 + -51. Is h <= 13?
True
Suppose -9*s + 17*s - 144 = 0. Is 18 < s?
False
Suppose -2*u + 2 = -0. Is 4/31 >= u?
False
Suppose 3*h + 4 = 4*h. Let p(i) = -i**3 + 3*i + 2. Let b be p(-2). Is b greater than or equal to h?
True
Suppose -5*m = -4*r - 18 - 12, 15 = 3*m - 3*r. Suppose 0*j + 5*j + m = 0. Let a(g) = g**3 + 6*g**2 - 5*g + 10. Let h be a(-7). Which is greater: h or j?
j
Suppose 4*c + c = -4*m, 2*m + 6 = -c. Let d be (5/m)/(2/10). Is d greater than -4?
False
Let i(o) = -3*o + 5*o - 3*o. Let c be i(-4). Which is bigger: 3 or c?
c
Suppose 3*r + f = -0*f + 6, 3*f - 11 = -2*r. Let d be (-1)/4 + 13/4. Suppose -2*b = d*b. Is r less than or equal to b?
False
Let m = -17.3 - -18. Let s = -1.7 - -1.1. Let p = m + s. Is p at most as big as -0.1?
False
Let t = 7 - 5. Let q be (6/(-5))/(12/(-40)). Is t equal to q?
False
Suppose 0 = -0*s - 4*s + 40. Let w be s/28 + (-2)/4. Let y = -1/7 + w. Is 1/3 at most y?
False
Let c = 69 - 68. Let f = 0 - 0.1. Are f and c nonequal?
True
Let v be (-1)/(-63)*658/60. Let h = 2/27 - v. Which is greater: h or -1?
h
Let p = -3 + 3.8. Let t = p - 1.8. Which is bigger: 2 or t?
2
Let z = 6 - 5. Let k = -56 + 60.9. Let x = k - 5. Is z greater than x?
True
Let t be -8*(-3)/(-12)*-2. Suppose y + 10 = 2*b, 6 + 1 = -3*b - t*y. Suppose 15 = -0*v + v - 4*g, 3*v = b*g + 18. Which is smaller: -1 or v?
-1
Suppose 6 = 4*g + 2. Let o be (1/5)/(48/(-20)). Are g and o non-equal?
True
Let h(r) = 2*r - 13. Let b be h(14). Which is greater: 16 or b?
16
Let c = 22163/27 - 821. Which is smaller: -1 or c?
-1
Let t(r) = r - 2. Let i be t(4). Let k = -39/2 - -20. Is i bigger than k?
True
Let h = 1/4 + 1/4. Which is smaller: -3/8 or h?
-3/8
Let j = 0 + 0. Which is smaller: j or -0.5?
-0.5
Let x be (389/(-2))/(15/6). Le