105 - 8/56. Is z equal to k?
False
Suppose 0 = 7*v - 4*v - 6. Which is smaller: -2 or v?
-2
Let z = 4.7 - 0.7. Which is bigger: z or -1?
z
Suppose -2*d - 2*g - 154 = 514, 0 = -4*d - 2*g - 1344. Let s = 230 + d. Let n = s - -542/5. Which is greater: n or -1?
n
Let z(m) = m**3 - 4*m**2 - 5*m. Let o be z(5). Let l = 0.8 + -0.87. Is o less than l?
False
Let f = -150 + 121. Which is smaller: -2 or f?
f
Suppose 1 = d - 7. Let i = 5 - d. Which is bigger: -2 or i?
-2
Suppose -3*p + 5*t - t = 75, 133 = -5*p + 4*t. Let m = 59/2 + p. Suppose 0 = 5*i - 8 - 2. Which is smaller: i or m?
m
Let h(u) = u**2 + 9*u - 12. Let r be h(-10). Let p be 3 - r*83/(-54). Is p greater than -1?
True
Let l(d) = -d + 32. Let k be l(6). Is 26 equal to k?
True
Let a = 68 + -117. Is 1 at most a?
False
Let d(q) = -q**2 + 2*q + 2. Let t be d(3). Let n be 2 + 1089/3 - 3. Let y = n + -3254/9. Is t equal to y?
False
Let r = 121/63 + -15/7. Suppose 3*c + 3*g = -9, 3*c + 0*g = 3*g + 3. Is r less than c?
False
Let x = 11 - 7. Let n be 38/8 - 12/16. Suppose -n*w = -2*w. Are w and x non-equal?
True
Let t = 10 + -14. Is t at most as big as -4?
True
Let b(o) = 6*o**3 + 7*o**2 + 7*o + 5. Let f(l) = 5*l**3 + 6*l**2 + 6*l + 4. Let q(h) = 6*b(h) - 7*f(h). Let a be q(2). Which is bigger: 9 or a?
a
Let p = -4 - -5. Are 1/2 and p equal?
False
Let p be -30 + 35 - (1 - 52/(-14)). Let u = -8 - -9.6. Is u at most p?
False
Let d be -2 + (-3)/(3/(-4)). Let g be d*-1 - (-40)/(-8). Is -7 less than g?
False
Let x = -1.216 + -72.884. Let z = x + 79. Let a = z + -5. Is a at least as big as -1/5?
True
Let p = -6.2 - -9.2. Is 1.3 greater than or equal to p?
False
Suppose 0 = 2*v - 4*v, -5*u = 2*v - 5. Let s(n) = -2*n**3 - 11*n**2 - 5*n + 2. Let k be s(-5). Which is bigger: k or u?
k
Let x = -11 + 10. Is x less than -12/23?
True
Let y be 2 - (0 + -1 + 0). Suppose -4*t + 5*p = -27, 4*t + 0 - 24 = 4*p. Suppose -g + 2*w + 0*w = 5, t*w = -3*g + y. Do g and -1 have the same value?
True
Suppose 6*s - 2*s = 16. Let r(j) = j**3 - 5*j**2 + 4*j - 2. Let f be r(s). Let m = f - -3. Is m less than or equal to 2?
True
Suppose -i + 20 = -4*q, 3*i - q + 10 = -3*q. Let k(c) = -2*c + 4. Let u be k(2). Is u <= i?
True
Let x = -0.63 - -0.43. Is -0.04 not equal to x?
True
Suppose 5*k = 2*n - 63, 0 = k + 4*k - 3*n + 62. Let v(p) = -p**2 - 13*p + 2. Let c be v(k). Let q = 11 + -8. Which is bigger: q or c?
q
Suppose 9*x - 10*x = 0. Which is bigger: -1/8 or x?
x
Let g(n) = 5 - 2 - 3 - n + 1. Let l be g(3). Which is smaller: -1/3 or l?
l
Let f = 60 + -30. Is f at least 30?
True
Let s = -2 - -2.04. Let r = 1 + 3. Suppose -2*x - 3*v = -14, 18 = 4*x - 2*x + r*v. Is x < s?
False
Suppose 5*w - 50 = -4*d, -7*w + 40 = -3*w - d. Let j be 183/21 - 2/(-7). Which is bigger: j or w?
w
Let u = -114/55 + 14/11. Suppose 0*x + 5 = 5*x, 0 = -5*k + 5*x - 5. Which is bigger: u or k?
k
Let i = 395846/181 + -2187. Let k = i - -369/1267. Which is smaller: k or 1?
k
Suppose 5*u = 4*m + 46, -5*m + 0 - 2 = 3*u. Suppose u + 0 = -q + z, -2*z = -2. Does q = -4?
False
Let l = 0.05 - -0.35. Let d = 0.2 + 0.3. Let z = l - d. Is z less than 1?
True
Suppose -208 = -8*n + 6*n + 4*z, 2*z + 304 = 3*n. Which is smaller: n or 101?
n
Let z(u) = -u**2 - 6*u - 5. Let s be z(-5). Suppose -p = -0*j - 5*j + 9, 0 = -2*j + p + 6. Which is bigger: j or s?
j
Suppose -2*l - 3*q = -8 - 4, -5*q = 3*l - 20. Let s = -0.3 - -0.32. Let k = s - 0.02. Is l < k?
False
Let l = -6/113 + 4099/2712. Let v = l - 17/8. Let i = 167/3 - 55. Which is smaller: i or v?
v
Let t(n) = n + 4. Let i be t(0). Let x be (-1)/4 - 3/i. Do x and 1/3 have the same value?
False
Let y = -7 - -8. Let o = 0 + y. Let j = 107 + -857/8. Which is smaller: o or j?
j
Let t = 328 + -199. Are t and 130 unequal?
True
Let h(y) = -y**2 + 5*y - 4. Let b be (-5)/10 - (-14)/4. Let n be h(b). Let r = -2 - -3. Which is greater: n or r?
n
Let c be 3/6*(2 - 6). Let l = c + 4. Let f be ((-1)/l)/((-2)/(-4)). Is f at most -1/5?
True
Let g = -3 + 7. Let t = 5 - g. Is 1 less than or equal to t?
True
Let g be ((-8)/(-78))/(4/6). Let c be -2 - (-3)/3*2. Suppose c = -f + 1. Is f > g?
True
Let n be -3*((-9)/(-18) + (-3)/5). Is n bigger than -1?
True
Let o = 65 + -27. Is o bigger than 37?
True
Suppose 3 = -y - 2. Let t = 3.9 + -1. Let w = 3 - t. Which is bigger: w or y?
w
Let p = 29/40 - -1/40. Let v be (0 - 1)/((-2)/4). Which is smaller: p or v?
p
Let c(r) = r + 4. Let v be 3/(-2)*(-20)/(-6). Let y be c(v). Is -1/3 not equal to y?
True
Suppose -3 = -0*x - 3*x. Is x bigger than 2/11?
True
Let z be (-2*3)/(96/30). Let d = 71/40 + z. Is 0 greater than d?
True
Suppose 2*u + 0 - 3 = o, o = -2*u - 7. Is u >= 3/16?
False
Suppose 0 = -7*u + 2*u - 160. Let p = -95/3 - u. Which is bigger: -1 or p?
p
Suppose 0 = -4*n - 1551 - 285. Let z = -2747/6 - n. Which is smaller: z or 0?
0
Suppose 39 = 3*v + 9. Suppose -2*s - 14 = -2*w, 0 = -4*w - 2*s + 4 + 12. Suppose -3*h - v = w*t, t + 19 = -0*h - 4*h. Is 0 != t?
True
Suppose 2*y + 39 = 5*n - 0*y, -5*y = -3*n + 12. Is 10 <= n?
False
Let y be (-45)/(-3) + 3/3. Let o be 342/21 + (-4)/14. Is y < o?
False
Suppose 4*m + 0 = 12. Suppose -m*s = -2*s + 3. Are -4 and s non-equal?
True
Let z(y) = -2*y - 1. Let t be z(-2). Is 3 < t?
False
Let m = 4.97 - 5. Let p = m + -2.97. Does 0.1 = p?
False
Let x(u) = u**2 - 3*u - 5. Let v = 8 + -4. Let j be x(v). Which is smaller: j or -3/10?
j
Let i(o) = o**2 + 6*o. Let g be i(-6). Suppose g*q = q. Suppose 4*v = -q*v + 20. Which is smaller: 6 or v?
v
Let d = 31 + -29.9. Are d and 0.2 unequal?
True
Let d = -17 + 97. Let j be (2/(-5))/(d/(-25)). Which is smaller: 1 or j?
j
Let s = 1.9 + 0.1. Which is smaller: s or 0.2?
0.2
Let h be 148/18 + (136/36 - 4). Which is bigger: 4 or h?
h
Let d = -57 + 56. Is -7/6 > d?
False
Let i = -7 - -1. Let f(b) = b**3 + 6*b**2 + b + 7. Let s be f(i). Suppose s = 2*m - z - 2, -2*z = 6. Is m greater than -1?
True
Let k = 14 + -15. Is k less than 1/110?
True
Let q = -1847/9 + 205. Let s = 0.2 - 0.1. Does s = q?
False
Let r = 343 + -6519/19. Which is bigger: -0.2 or r?
r
Let h = -11 + 7. Let n be (-84)/49 + h/14. Let b(s) = 3*s**3 - s**2 - 2*s - 1. Let d be b(-1). Which is greater: d or n?
n
Suppose 0 = -y + 3*l - 2, -4 = y + l - 6*l. Suppose f + 0*f = 0. Let j = 3 + f. Which is smaller: j or y?
y
Let f be (-6 - -4) + 1 + 4. Let i = 1 - 1. Which is bigger: i or f?
f
Suppose -4*i - 11 = -3. Let f(r) = r**2 - 4. Let y be f(0). Let c = y + 3. Is c <= i?
False
Let n be (-10)/35 + (-10)/28*2. Which is smaller: n or 28?
n
Let m be ((-2)/2 - -2) + -3. Suppose s = -3*s. Let w be s/8 - (-2)/(-3). Do w and m have different values?
True
Let z = 0.06 - 1.06. Let w = 11 + -11.9. Let n = w - z. Which is bigger: -0.1 or n?
n
Let v(l) = 2*l + 25. Let h be v(-13). Let o be 174/(-21) + (-2)/(-7). Let c be 2/o*24/(-39). Which is smaller: h or c?
h
Suppose -3*v = -9*v - 18. Let j be -2 + 2 + (v - -2). Is -4/3 at most as big as j?
True
Let v = 10704/530351 + -2/5251. Are v and -1 unequal?
True
Suppose -5*i + 2*i = 9. Let p be 4/(-6)*i/(-5). Is p at least as big as -0.1?
False
Let b = -61/35 + 15/7. Let a be (-1 + -1)*(-25)/10. Is a less than b?
False
Let p be ((-7)/(-3) + -1)/((-4)/6). Which is bigger: p or -5/6?
-5/6
Let b = 5109695/164073 - -1/23439. Let f = -31 + b. Is -1 not equal to f?
True
Let w(d) = -2*d + 39. Let j be w(16). Which is bigger: 6 or j?
j
Let h = 3 - 5. Let u be ((-8)/20)/((-4)/h). Which is smaller: 1 or u?
u
Let m be 27/(-207)*2/3. Is 0 != m?
True
Suppose 2*k = y - 2, -5*k = y - 3 + 8. Is 0 at most k?
False
Let h(x) = 9*x + 3. Let c be h(-1). Is -4 less than or equal to c?
False
Let j(v) = -2*v + 0 - 9*v**2 + 2 + 8*v**2. Let z be j(-2). Which is greater: 0 or z?
z
Let y be 1*4 + (12 - 30). Let p be ((-18)/(-30))/((-3)/y). Which is smaller: 4 or p?
p
Suppose 0*b + 1 = b. Suppose -2*q = -4*q - k + 7, 3*q - 3*k = -12. Let c be -2 + -13*q/(-4). Which is smaller: c or b?
b
Suppose -h + 2*i = 3, 3*h - i + 0*i = -4. Which is greater: -0.1 or h?
-0.1
Let g = 64 - 65. Are g and 0 non-equal?
True
Let s be (-12)/(-3)*3/(-6). Let o be s/(-3)*18/132. Which is bigger: 0.1 or o?
0.1
Suppose 2*k + 3 = k. Let w be (-1)/k + (-10)/66. Which is smaller: w or 0.1?
0.1
Let r = -387 - -13931/36. Is r not equal to 0?
True
Suppose r - 5*j - 20 = -0, 3*j + 5 = 2*r. Is -7 != r?
Tr