w
Let w = -57 + 57. Let b = 0 + 0. Is b at most as big as w?
True
Let n = 4 - 4. Let k be 17/8 - (-2)/(-1). Which is smaller: n or k?
n
Let o(m) = m**2 - m. Let g be o(-3). Does g = 12?
True
Let h = 12 + -11.9. Do h and -3/7 have the same value?
False
Let g(p) = p + 10. Let q be g(-8). Are 2 and q non-equal?
False
Let q be 6/(-4)*(-426)/(-27). Let c = q - -24. Which is smaller: 0 or c?
0
Let i = -3 - -4. Let j be ((-78)/(-9) - 4) + i. Which is bigger: j or 5?
j
Let f be ((-4)/6)/((-11)/(-33)). Which is smaller: -3/2 or f?
f
Let d(m) = -3*m + 17. Let j be d(9). Which is bigger: j or -6?
-6
Let h(n) = n**3 + 4*n**2 + 3*n - 2. Let s be h(-2). Is s at least as big as 1?
False
Let z = 14 - 7. Let b(d) = 5*d + 14. Let w(h) = -3*h - 7. Let n(q) = 4*b(q) + 7*w(q). Let k be n(6). Which is smaller: k or z?
k
Let b = 31/6 + -11/6. Which is smaller: b or 2?
2
Let z = -10 - -18. Let s = 7.4 - z. Let q = s + 0.1. Is q at most -0.1?
True
Let b(n) = -n - 1. Let a be b(-1). Suppose 0 = y - a*y - m, 4*m = y - 12. Is y > -2?
False
Let w be 4/6*(-33)/1243. Are -1 and w equal?
False
Let o = 8 - 6. Let u = o + -3. Let t be (-6)/21*1*u. Is t not equal to -1?
True
Let n(i) = 2*i**2 + 3*i. Let p be n(-3). Do 7 and p have the same value?
False
Let v = -0.24 - -0.14. Is v at least 2?
False
Let d = -89 - -803/9. Let n be 20/(-6)*54/15. Let g = n - -12. Which is greater: d or g?
d
Let u(p) = 2*p - 9. Let k(h) = h**3 - 5*h**2 + 2*h - 4. Let r be k(5). Let f be u(r). Is f > 4?
False
Suppose 0 = u - 4*u. Suppose -1 = h - u. Let a = -56/93 + -2/31. Do a and h have different values?
True
Let b = 0.14 + -0.34. Let a = -2 + 1. Are a and b equal?
False
Let t be (-206)/490 + (-36)/(-90). Which is smaller: t or 0?
t
Let l(o) = o + 4. Let b be l(-4). Let u be (2/4)/((-2)/4). Let g be u*b*(-3)/(-6). Is g less than -1/4?
False
Let f = 0 - 3. Let p = 0.2 - 0.2. Let z = p - 0.1. Which is greater: f or z?
z
Suppose 0 = -2*c - 3*c + 20, -3*n = 2*c + 28. Let t be (0 - (1 + -4)) + n. Which is smaller: -8 or t?
t
Let p(v) = -v**3 - 8*v**2 - 6*v + 6. Let j be p(-7). Let s be 8/20 - 1/15. Which is smaller: s or j?
j
Let c(z) = -2*z. Let v be c(3). Let h = 5 + v. Let n be (-2)/(-12)*(h + -2). Which is smaller: n or 0?
n
Let f = -100 + 305/3. Suppose -j + 3*s - 6 = 0, -2*j + 3*s + 2 = 5. Is f equal to j?
False
Let l = -4 + 3.6. Let r = -0.4 - l. Let o = -0.2 + r. Is -1/3 smaller than o?
True
Let b = -2 - -8. Let a = -5.6 + b. Is 0 at least as big as a?
False
Let p(j) = -j**3 - 6*j**2 - 7*j + 5. Let f be p(-4). Which is smaller: -1/36 or f?
-1/36
Let f = 53 - 53. Which is bigger: f or 8?
8
Let x = 13 - 13.9. Let s = 0.6 + x. Which is smaller: -0.1 or s?
s
Suppose -4*b - 15 = -7*b. Let y = 6 - 3. Is y less than b?
True
Let c be 2/(-8) + (-1659)/(-6540). Let o = c - -1072/4905. Suppose -2*t - 2 = 5*q - 24, -5*t - 15 = -5*q. Which is greater: t or o?
t
Let u = -0.2 + 0.4. Let f = 2.94 + -3. Let d = -0.04 + f. Is u bigger than d?
True
Let u be -2 - (4 + -2 + 2). Suppose 2*d + 20 = 8. Is u < d?
False
Let y(d) = d - 2. Let h be (-8 + 5)*(-1)/3. Let f be y(h). Which is greater: -3/5 or f?
-3/5
Let s be ((-8)/1)/(2/1). Is -3 <= s?
False
Let t = -2/5 + 3/20. Is t < 14?
True
Let h = 8 - 8. Suppose h = c + 4*g + 21, 0 = -c - 3*g + 5 - 21. Is c greater than -1?
False
Let g = 0.137 + -0.037. Which is bigger: -16 or g?
g
Let m = 707/72 - 75/8. Let l = -9 - -10. Do l and m have the same value?
False
Let l(t) = t - 1 - 1 + 6*t - 3*t. Let s be l(6). Which is smaller: s or 23?
s
Suppose 1 + 1 = 2*z. Let h = 42 - 98. Let q = h + 335/6. Is q greater than z?
False
Let x(t) = t**3 + 6*t**2 + 5*t + 5. Let g be x(-5). Is 3 equal to g?
False
Let j(s) = -7*s**2 - 10*s - 18. Let m be j(-3). Which is greater: -50 or m?
-50
Let c(y) = y + 2. Let d be c(3). Suppose 5 + 15 = -d*p. Let g = 4 + p. Is g greater than or equal to -1/5?
True
Suppose 11 = 3*s + 2*a + 1, -5*s = 5*a - 15. Suppose -6*v + 2 = -s*v. Which is greater: v or 0?
v
Let j(l) = -2*l + 7. Let y be j(5). Let b(i) = 2*i**2 - 6*i + 1. Let v be b(4). Let k be (v - 15)*(-2)/(-4). Is y <= k?
True
Let l = -7450/9 - -828. Suppose -5*z = 2*k - 9, -3*k = -8*k + 10. Suppose z = -3*n + 4. Is l at most as big as n?
True
Let g(y) = 2*y**2 + 4*y + 3. Let q be g(-2). Let s(n) = -n + 1. Let z be s(q). Suppose 0 = 2*r - 5*o + 22, -2*o + 6 = -2. Is r greater than z?
True
Let r = 26/11 + -405/176. Let n = 5 + -4.9. Is r >= n?
False
Let s be ((2 + -1)/(-2))/1. Suppose 10 = y - 3*z, z + 26 = -5*y - 3*z. Which is smaller: y or s?
y
Let t be (-813)/18*9/11. Let l = -37 - t. Which is smaller: 1 or l?
l
Let p(n) be the second derivative of n**5/20 + n**4/12 + n**3/3 + n**2/2 + 5*n. Let a be p(-1). Is a at most 0?
True
Let z = 1.1 - 13.2. Let i = 12 + z. Which is bigger: -16 or i?
i
Suppose 70 = -o - o. Let c be (-50)/o - 2/2. Let n = -31 + 61/2. Which is smaller: n or c?
n
Let g be (-72)/27*21/2. Let c = 29 + g. Let l = 307/4400 - 2/275. Does l = c?
False
Let j = 0.73 - 0.7. Suppose 3*d = 168 + 102. Let f be (-12)/d + (-4)/15. Is j >= f?
True
Let f(d) = -d**2 + 3*d. Let r be f(4). Let k = -4 - r. Which is bigger: -2/9 or k?
k
Let y(d) = d + 4. Let o be y(3). Suppose 4*w - o = -3. Let g be (-85)/(-95) + (-1)/w. Does 0 = g?
False
Let t be (-2)/12 + 74/12. Suppose 5*j - 50 = -15. Which is smaller: j or t?
t
Let m(y) = -y - 4. Suppose 0*p - 10 = -2*p, -4*r = -p + 21. Let l be m(r). Suppose 3*j + 5*x + 13 = -l*j, -4 = 2*j + x. Which is greater: -2/3 or j?
-2/3
Let b = 2895/4 - 718. Is 6 not equal to b?
True
Suppose 3 - 12 = 3*j. Are j and -7 unequal?
True
Let d(h) = -h**3 - 3*h**2 + 3. Let r be d(-3). Suppose -5*x = -0*x + 5*t + 5, 5 = -r*x - 4*t. Are -2 and x equal?
False
Let z be (6/(-8))/((-2)/(-8)). Let t be z/(-2*(-6)/8). Let p be -6*(0 - (11 + -6)/(-55)). Is t at least p?
False
Suppose -5*r = -2*r + 4*r. Suppose 0*x + x = 9. Let y be x/(-11) + (-1 - -2). Are r and y equal?
False
Let b be 3/12 + 3286/8. Let g = b - 11923/29. Let i = g - -94/261. Is i smaller than 0.1?
False
Suppose 3 - 11 = -4*j + 3*n, 0 = 5*j - n - 10. Let f be 0 + j + 4/(-6). Suppose 0 = k + 4*g - 5, -3*k + 3 = 2*k - 2*g. Is k at least f?
False
Let y = 43/21 - 12/7. Which is smaller: -25 or y?
-25
Let f = -15 - -22. Let x = f + -6. Is x at least as big as 0.1?
True
Let c = -665881/2113440 - 1/17760. Let t = 1/34 + c. Let p = 0.2 - 0.4. Which is smaller: p or t?
t
Let p = 41 + -40. Let v = -205/4 + 51. Is p <= v?
False
Suppose -3*z - 3*k + 33 = 0, 0*k + k - 47 = -4*z. Suppose -z*u + 9 = -9*u. Which is greater: u or 4?
4
Let d(z) = -2*z**2 + 11*z. Let r be d(5). Is 9 bigger than r?
True
Let d(o) = -24*o**2 - 3*o + 3. Let g be d(1). Is g >= -25?
True
Let m = 1 + -7/9. Suppose -z - 4*p - 39 = 4*z, -z + 2*p = 5. Let o = z + 6. Are m and o equal?
False
Let q be (-8)/(-36) + 282/(-1188). Does -1 = q?
False
Let w = 1.9 + -1.8. Is w smaller than 12?
True
Let l be ((-80)/(-100))/(1172/10). Which is smaller: 1 or l?
l
Let l = -99 - -99. Is 6/5 > l?
True
Suppose -3*x = -3*v - 5*x + 15, -x = -v. Let j(s) = s**3 - 17*s**2 + 16*s + 4. Let b be j(16). Are v and b non-equal?
True
Let n = 8 - 8.3. Let x = -0.5 + 0.3. Let b = 0.2 + x. Do b and n have different values?
True
Suppose -15 = -3*h - 3. Suppose 4*q + 4*v - 4 = 0, -q = -3*v - 1 + h. Let c(n) = n**2. Let g be c(q). Which is bigger: -1/9 or g?
g
Let g(b) = -b**2 - 10*b + 1. Let j be g(-7). Suppose 5*u - j = 3. Suppose -u*m - 10 = 4*o, 2*m + 0*m + 5*o = -4. Is m less than -3/4?
True
Let f = -7 + 1. Let b be 39/306 + 1/f. Let v = -28/153 + b. Are v and 0 unequal?
True
Let c(m) = -m + 3. Let j be c(5). Let w(a) = a + 1. Let b be w(0). Let n be (3 - 1) + b*-2. Which is smaller: j or n?
j
Let o be 4 - (2 - -4) - -13. Is o less than or equal to 11?
True
Let s(o) = -3*o + 2. Let v be s(2). Let r = v + 2. Is -1 smaller than r?
False
Let r = 2.9 - 3. Let d = -124/3 + 41. Which is smaller: d or r?
d
Let d(k) = k + 3. Let m(n) = n + 3. Let u(x) = -4*d(x) + 3*m(x). Let q be u(-3). Suppose q = -8*a + 3*a + 10. Which is greater: a or 1?
a
Let x be 4/(-2) + (6 - 1). Let g be -3 - 2/((-6)/x). Is g at most as big as -1?
True
Let g(u) = -u**2 + u + 2. Let i be g(2). Suppose i = -y + 1. Is y greater than or equal to 1/11?
True
Let i = 2 + 14. Suppose -3*h + 3*z + 15 = 0, 3*h - 5*z - i = h. Which