 26*q + 16. Let g be p(9). Is y at least as big as g?
True
Let m be (-70)/(-20) - (-8)/2. Is 9 equal to m?
False
Let h = -31.82 - -32. Is -1 smaller than h?
True
Let a be 6/1*(-1)/2. Let r be (3/(-4))/((-2)/(-8)). Let k = r + 0. Do a and k have different values?
False
Let q be 1/(-5)*-4 - 6/15. Is 1/19 at most q?
True
Let c = 6 + -4. Let w be (c + (-32)/18)*6. Suppose 0 = 5*x - 3*x - 2. Which is greater: w or x?
w
Suppose -5*s + 3 = 8. Let o be -1 - 4/1*-1. Suppose -1 = 2*b + o. Which is bigger: s or b?
s
Let z = -250792/155 - -1618. Is z equal to 0?
False
Let b = 2 + 3. Let q(p) = p - 10. Let r(o) = 1. Let y(m) = -q(m) - 6*r(m). Let n be y(b). Which is smaller: 1/3 or n?
n
Suppose -c = c - 3*k + 1, -k + 3 = -2*c. Let j be (-2)/(-16)*c/(-2). Which is smaller: j or 0?
0
Let q(b) = -94*b**3 - 2*b**2 + 4*b - 2. Let l be q(1). Is -94 <= l?
True
Let l be -6*(-1 - 1/(-2)). Suppose l*v = -5 - 4. Let q be (3/7)/(v - -4). Is q smaller than 0?
False
Suppose 5*k + 5 = -4*a, -a + 0*a + 2 = -2*k. Is 1/22 < k?
False
Let k be 13/26*(-3 + 1). Is k <= 0?
True
Let d = -1 - -3. Suppose d*j = j + o + 8, -5*j = -2*o - 31. Suppose 3*c - j*v + 7 = 0, 2*c - v = -2*v + 4. Is c greater than -1?
True
Let f = 16 + -14. Let q be f/(-4) + (-6)/12. Let l(w) = w - 2. Let t be l(2). Is t less than q?
False
Suppose 4*z = -5*k + 29, -4*z - k = -5*k + 16. Let g be 3 - ((1 - -2) + z). Which is bigger: g or 2/5?
2/5
Let f(u) = u**2 + 2*u - 1. Let y be f(-2). Let w = -3 + 2. Let s = w - y. Which is smaller: s or 1/5?
s
Suppose 5 + 1 = 2*p. Do p and 3 have the same value?
True
Let y = 17 + -12. Let i be (-4)/(-10) - 13/(-5). Let c be 84/16 - i/12. Is y != c?
False
Let k = 1.4 - 0.7. Let b = 0.6 - k. Is 0 at most as big as b?
False
Let q = -91 - -12. Let v be 6/(-8) + q/(-116). Is v equal to 1?
False
Let c(w) = w**2 - 5*w + 7. Let f be c(5). Suppose -4*k + 5*k = 3*v + f, 4*k + 2*v = 0. Which is smaller: 0 or k?
0
Let l = 7 - 8. Is -3 at most as big as l?
True
Let w = 0 - -14. Which is bigger: w or 15?
15
Suppose -2*b = b - b. Is b < 0?
False
Suppose -3 = -0*u - 3*u. Let l be (-9114)/11 + 2 - 1. Let c = -827 - l. Which is smaller: u or c?
c
Suppose 477 = r + 2*r. Let u = -2227/14 + r. Which is smaller: u or 0?
u
Let k(t) = t - 2. Let i be k(3). Let h be ((-63)/(-6))/((-1)/9). Let j = h + 2091/22. Which is smaller: j or i?
j
Let k(b) = -b**2 + 4*b - 3. Let z be k(3). Suppose 0*x = -5*x. Is z less than or equal to x?
True
Let i(a) = -a - 2. Let j be i(-5). Let w be (1 + 0)/((-1)/(-2)). Suppose -10 = -4*q + w. Is j <= q?
True
Suppose 4*v - 11 = -q, -2*v + 2 + 6 = -2*q. Let d be -3 + 1*(-21)/(-9). Is d equal to q?
False
Let i be 2/(-3) + (-100)/30. Does -3 = i?
False
Let g(m) = -m**2 + 17*m - 1. Suppose -4*z + 6 = -62. Let b be g(z). Let w(n) = n - 7. Let v be w(6). Is v > b?
False
Suppose k = -2*k + 210. Suppose m - k = -0*m. Let s = 349/5 - m. Which is greater: s or 1?
1
Let j(r) = r**3 - 7*r**2 + 4*r - 8. Suppose 5*f + 0*f = 35. Let i be j(f). Let b be (-32)/i + 2/(-5). Does b = 0?
False
Let y be 4 + (28/(-8) - 0). Which is smaller: y or 8?
y
Let q = -0.2 + 0.3. Let x = q - 0.05. Let n = x - 0.15. Do n and 1/4 have the same value?
False
Let z = -3 - -5. Let l = 2 - z. Let o = 11 + -11. Is l not equal to o?
False
Let h = 109 - 72. Which is smaller: h or 38?
h
Let c = -2 + 1.3. Which is bigger: -0.1 or c?
-0.1
Let u be 2/(-11) - (-144)/1518. Which is bigger: 1 or u?
1
Suppose -4*c + 3 = 2*t - 3, 5*t = -5. Suppose 0 = c*v + v - 3. Let w = -12/17 + 19/51. Is w at least as big as v?
False
Suppose 4*i - 3*o - 2*o = -16, 2*i - 5*o = -18. Let d = 955/9 + -106. Which is greater: d or i?
i
Suppose -5*s + 0 = 2*l - 3, 4*l + 5*s = 11. Let i = l - 2. Which is greater: i or 3/8?
i
Let g be (6/(-4))/((-6)/8). Let a = 3 - g. Let h = 0.4 - 0.2. Do h and a have different values?
True
Suppose 0 = 2*v + 5*c + 6, -4*c - 1 = v + 5. Let x be (-1208)/(-20)*v/96. Let s = x - 9/8. Is s less than or equal to -1?
False
Let m = -1 - -6. Let y = -4.8 + m. Is 3 smaller than y?
False
Let r(j) = j**2 + 10*j + 17. Let v be r(-8). Which is greater: 4/7 or v?
v
Let b = 4 - 6. Let k be ((-349)/(-348) + -1)*-83. Let t = 1/87 - k. Is b equal to t?
False
Let q be 14/3 - (-4)/(-6). Suppose 0 = 3*x - x + q. Is x at most as big as -2?
True
Let a = -144/5 - -5606/195. Let q be (-24)/13*(-2)/6. Let x = a - q. Which is smaller: x or 2/7?
x
Let s = 0 - 0. Suppose 0 = 2*a - 3 + 1. Let o be (a*(-4)/(-10))/1. Which is smaller: s or o?
s
Let v be (-3)/2*(-8)/3. Suppose -v = -6*a + 2*a. Which is greater: a or 1/4?
a
Suppose 0*s + 4 = 2*s. Is s bigger than 6/11?
True
Suppose -20 - 20 = 2*a. Let h be (2 - 2 - -14)*51/(-34). Which is bigger: a or h?
a
Let u be 2/(18/24 + (-771)/996). Is u greater than -83?
False
Suppose -3*t = -5*t - 4*n, 4*t - 5*n + 39 = 0. Let b be (-21)/t + 2/(-4). Let k be (-2 - -1)*(0 + b). Which is bigger: -2 or k?
-2
Let i = 11 + -8. Suppose -3*n + 5*m = n + 41, 2*m = 3*n + 22. Let w = n - -7. Is i bigger than w?
False
Let g be 542/(-6)*(-6)/(-14). Let t = -39 - g. Let h(b) = -3*b + 8. Let p be h(3). Which is bigger: p or t?
t
Let w = -0.044 + 9.044. Is w < 2/13?
False
Let b be (-3 + 20/12)*-3. Which is greater: b or -0.1?
b
Let r(x) = -4 - 2 - x - 5*x + x**2 + 0*x**2. Let g be r(7). Is g > 1/5?
True
Let c(d) = d**2 + 9*d + 1. Let q be c(-9). Which is greater: q or 1/7?
q
Let f be 94/18 + -5*(-10)/(-225). Is f at least as big as 32/5?
False
Suppose -5*r = -5*h - 125, 59 = 3*r + 9*h - 4*h. Let o = 47/2 - r. Let f = 2 + -3. Is o at least f?
True
Let k = -13/5 - -153/55. Which is smaller: k or 1?
k
Let u = 2 - 1. Let v = 57 + -283/5. Is v greater than or equal to u?
False
Let x be ((-6)/(-4) + 1)*6. Which is smaller: 16 or x?
x
Let g = 11 - -6. Suppose -3*r - 5*u + g = 5, 3*u = 0. Let s be (-16)/6 - r/12. Is -1 smaller than s?
False
Suppose 0 = -3*a + 6*a. Suppose a = -0*s + 4*s + 12. Which is smaller: s or 2?
s
Let h(i) = -i**2 - i + 6. Let g be h(0). Let w = 10 - g. Let a(t) = 3*t**2 - 3*t - 3. Let y be a(2). Is w at most as big as y?
False
Suppose -w = -5*d - 18, 9*d + 30 = -5*w + 4*d. Let x be (7/w)/(4/(-8)). Suppose -3*j + 8 = -x*j + q, -5*j - 1 = q. Which is smaller: 0 or j?
j
Suppose 4*u + 46 = -2*q - 0*q, -4*q - 89 = 5*u. Let d be 2/(-5)*(-5)/q. Is d <= 1?
True
Let d = 445108/99 - 4496. Which is smaller: d or 1?
d
Let y = 0.075 - 11.975. Let f = 15 + y. Let b = 3 - f. Which is smaller: b or 0.1?
b
Let i be 0 - (0 - (-4314)/(-26)). Let m = 166 - i. Let w = 3591 + -3590. Which is greater: m or w?
w
Let n = 3 + -5. Let r = 1.9 + n. Let t = 5.6 - 6. Is r > t?
True
Let h(g) = g**2 - g - 5. Let c be h(0). Do -5 and c have the same value?
True
Let u be 33/(-54) - (-6)/9. Is -1 > u?
False
Let v be -1 - -1*2/1. Let c = 2 + v. Let g be c/(6/(-4)) - -1. Are 2/7 and g equal?
False
Let o = -14 - -15. Let d(p) = p - 3. Let c be d(6). Suppose 0 = 4*g + 5*q - 10, 4*q - 8 = -c*g + g. Is o < g?
False
Let v be 16/(-6)*(-3)/(-2). Suppose -5*x - 31 = 3*p, -3*x - 4*p - 7 = -8*p. Is x >= v?
False
Let t be 0/1 + 21/161. Let f be (1 - 0)*(1 + -1). Which is smaller: t or f?
f
Let n = 668633/44 - 15197. Let o = 6/11 + n. Which is smaller: o or 0?
o
Let o = 8 - 9. Which is greater: o or 9/4?
9/4
Let b = 54 + -53.9. Let t = 0 - 0.2. Is b at least t?
True
Let p = -17.7 - -19. Let s be 0 - (2 + (-14)/8). Which is smaller: p or s?
s
Let u(n) = n**3 + 6*n**2 - n - 2. Let f be u(-6). Suppose f*p = p. Does p = 0?
True
Let m = 162 - 22516/139. Let n be (-2)/(-1)*272/(-834). Let x = m - n. Does 1 = x?
False
Suppose 131 = -4*q - 17. Which is greater: 1 or q?
1
Let g be (-21656)/20*(-2)/(-44). Let t = 247/5 + g. Which is bigger: 2 or t?
2
Suppose 0 = -c + 6*c - 30. Let s be (-6)/9 + 124/c. Let m be (-7)/s + (-10)/25. Which is smaller: 2 or m?
m
Suppose 0 = -3*y - 3*x + 36, 0*y + 2*y + 5*x - 18 = 0. Is y greater than or equal to 14?
True
Let n be (-4 + 35/14)*(-8)/(-54). Which is smaller: 7 or n?
n
Suppose 0 = -14*o + 11*o + 12. Which is bigger: -1 or o?
o
Let p be (24/(-20))/2 + 162/170. Is 0 at least p?
False
Let t = -19/235 + 2/141. Which is smaller: t or -1?
-1
Let l = 0.1 - 0.1. Let w = -2 - l. Let r = 0 + w. Which is bigger: r or -0.1?
-0.1
Let a = -16928/7 + 2426. Which is bigger: -2/7 or a?
a
Let d(y) = 7*y - 15. Let j be d(7). Which is 