(132/15)/i + -2. Which is bigger: s or -1?
s
Let r = -0.05 - -0.038. Are -0.1 and r nonequal?
True
Let w be (-8 - -4)/(2/4). Is -5 equal to w?
False
Let a be 3/16*1*(-30)/(-9). Are a and 0 non-equal?
True
Let z be 98/(-21)*3*3. Let b be 1/3 + 7/z. Is 0.2 bigger than b?
True
Let h(i) = 3*i + 3. Suppose 0 = -2*l + 4*d - 4, -2*d - 7 + 17 = -5*l. Let u be h(l). Are u and -2 equal?
False
Let m(b) = b**3 - b**2. Let w be m(1). Let u = 17/70 + 1/140. Are u and w non-equal?
True
Let t(b) = -b**2 - 10*b - 17. Let q be t(-8). Is q equal to -1/19?
False
Suppose g = 4, -g = -s + 3*g - 18. Which is bigger: -5 or s?
s
Let p = 3 - 2. Which is greater: p or 11?
11
Let b = 139 - 829/6. Which is bigger: 0 or b?
b
Let m = -6.7 + 0.7. Let c = m + 4. Which is bigger: -1 or c?
-1
Let t be 0*2*(-5)/20. Which is smaller: 2/147 or t?
t
Let h(y) = -y**2 - 7*y - 6. Let o be h(-6). Let u be 10/(-45) + (-22)/(-18). Do u and o have the same value?
False
Suppose 12*w - 10*w - 2 = 0. Let i = 3/68 - 157/476. Is i bigger than w?
False
Suppose f + 3*q = -5, 0 = -3*f + q - 5 - 0. Suppose -7*t = -2*t + 15. Which is smaller: t or f?
t
Suppose -4*n = -0*n + 3*u + 79, 3*n - 4*u + 28 = 0. Let z = 22 + n. Is 7 equal to z?
False
Let q be 10*(0 - -2)*-1. Does 0.2 = q?
False
Let p = 111 - 111. Which is smaller: p or -4?
-4
Let f = 133/15 + -23/3. Is f at most as big as 0?
False
Suppose -a = 5 + 6. Let x(f) = f + 15. Let k be x(a). Is k > 5?
False
Let s = 0.58 - 0.48. Which is smaller: s or 0.25?
s
Let o be (-1)/(-1) - 4/6. Let g = -3 + 11. Let q = 8 - g. Which is smaller: q or o?
q
Suppose -3*g + 3*b = -15, 4*g = -5*b + 38 - 9. Is 4 greater than g?
False
Let f = 8 + -4. Let c be 4/(-33)*(-6)/f. Do 0 and c have the same value?
False
Let n be 4/18 - 25/18. Let f be (0 + (-3)/(6/(-4)))/(-2). Is n greater than f?
False
Let v(m) = m**3 + m**2 + m + 1. Let k = 2 + -3. Let g = 1 + k. Let l be v(g). Which is greater: l or 0?
l
Let l = 5 + -3. Suppose -3*i + 9 = 3*x, l*i = -5*x + 1 + 5. Let h be 3/(-9) + (-3 - 10/(-3)). Is x smaller than h?
False
Let h be (3/(-3)*1)/2. Suppose -5*o = -13*o - 8. Which is smaller: o or h?
o
Let a be (-3)/(-27) - 565/4680. Let x = a - 205/312. Is x != -1?
True
Let d = 0 - -1. Suppose y - 1 = d. Which is greater: 1 or y?
y
Let u be -1 + (-106)/(-20) - 4. Which is bigger: u or 0?
u
Let s = -18 + 18.1. Let c(x) = -x**2 - 6*x - 6. Let h be c(-4). Is s at most h?
True
Suppose 3*c + 15 = -2*c. Let f(s) = s**2 + 4*s - 3. Let m be f(-5). Suppose 3*t - 6*t - 10 = -m*n, -3*t + 4 = 5*n. Is t at most as big as c?
False
Let k be 35/2*(-8)/(-10). Suppose 0 = -3*b - 1 - k. Are b and -1/2 equal?
False
Let i = -22 + 26. Suppose i*c + 5*g = -37, -5*g - 9 = -2*c - 2*g. Let r be (6/4 - 1)*-2. Is c at least as big as r?
False
Let d(o) = -2 + 3 - 12*o**2 + 0 + o. Let y be d(-1). Let h be 1 - (-2 - 33/y). Which is bigger: 0.1 or h?
h
Let a = -1.95 - 0.05. Let u = a + 4. Does u = 2?
True
Let v be -2 + 18/6*18. Is 52 at most v?
True
Suppose 2 + 2 = t. Suppose -5*p - 5*q = -20, t*p + 0*q - 11 = -3*q. Is 3/8 equal to p?
False
Let t(m) = 2*m + 7. Let x be t(0). Which is smaller: x or 5?
5
Let t be (-50)/(-16)*(-2)/5. Suppose m = -3*x + 1, 0 = 5*x - 3*m - 3 + 6. Is x less than t?
False
Let g(s) = -s**2 - 12*s - 12. Let y(l) be the third derivative of -l**4/4 + l**3/6 - l**2. Let m be y(2). Let f be g(m). Which is smaller: f or -2/5?
f
Let x be -1 - (66/30 - 4). Is x bigger than 2?
False
Let w(h) = 2*h**3 + h**2 - h. Let k be w(1). Let t be (-56)/21 + -1 + 10/6. Is t < k?
True
Let g = 0 - -0.2. Let f = -1.26 + -0.04. Let n = 1 + f. Is g != n?
True
Let s be (-56)/6 + (-6)/9. Let q = 10 + s. Is q at most -2?
False
Let q = 16 + -10. Suppose 2*d - q = -2. Suppose -14 - d = 4*o, 0 = -2*w + 2*o + 10. Is w bigger than 1?
False
Let d(p) = 2*p - 12. Let v be d(6). Suppose -11*f + 7*f = v. Which is greater: -2/31 or f?
f
Suppose -4*l = -39 + 11. Let n = l - 13. Which is bigger: -5 or n?
-5
Let c = 5 - 1. Suppose -5*w - 5*m = -2*m - 21, -12 = 4*m. Is w at most c?
False
Let i(v) = -v. Let h be i(-2). Let c be -2 - (h - 10/3). Let b = 0.765 - 0.765. Is b at most as big as c?
False
Suppose -32 = 4*d - 4*f, -d + 16 = -0*d + 5*f. Suppose 4*i + 28 = -3*w, -16 = 2*i + 3*i - w. Is d greater than or equal to i?
True
Suppose -a = -0*a + 6. Is -5 equal to a?
False
Let m = -395 + 11453/29. Which is bigger: 1 or m?
1
Let b be 8/(-4) + 2 + 5. Which is smaller: 3 or b?
3
Let j = 55 - 160/3. Does 2 = j?
False
Let d be (-56)/3 + -1 - (-2)/3. Which is smaller: -20 or d?
-20
Let q(k) = -1 + k - 2 + 2. Let g be q(-3). Does g = -3?
False
Let l = -33.88 + 28.8. Let u = l - -5. Which is smaller: u or -1?
-1
Suppose 0 = 5*s - 66 - 54. Let c = -18 + s. Which is greater: 7 or c?
7
Suppose 2*y - 2 = 4. Is y equal to 13/6?
False
Suppose 4*h - 12 = -3*n, 4*n + 2*h = h + 16. Suppose 0 = -g - 5*f - 8 - 9, 5*g = -n*f - 1. Suppose 12 = 4*a + 4*c, -5*a - 3*c - 3 = -4*c. Is g smaller than a?
False
Let i = -15 - -13. Which is greater: i or -2/5?
-2/5
Let v = 0.3 + 3.7. Is v smaller than 1?
False
Let y = -24 + 42. Suppose 0 = -5*r + 2*r + y. Is -1/2 bigger than r?
False
Let k = 0 - 1. Suppose -4*w - 3*z - 14 = 0, 0*w = -5*w - 2*z - 21. Let l be (2/5)/(1/w). Are k and l equal?
False
Let s = -0.01 - -4.41. Let a = s - -1.6. Which is bigger: 3 or a?
a
Let f = -5 + 2. Let k = 2 + f. Let y = -2/161 + -155/483. Is y less than or equal to k?
False
Suppose -3*v - 6 = -6*v. Let f be (-6)/21*(4 - v). Does 1/2 = f?
False
Suppose -a = -3, 4*m + 3*a - 2*a = -9. Let t = m + 4. Do t and 2 have different values?
True
Suppose 0 = 3*a - a - 6. Let w(c) = -c + 2*c + c**2 + 2 + c**3 - a. Let z be w(0). Which is bigger: 0 or z?
0
Let u = 7 - 3. Let a = -5 + u. Let g be (a/(-16))/(1/(-2)). Which is bigger: g or 1?
1
Let r(p) = p + 6. Let m be r(-6). Let q = m + -2. Is -2 at most as big as q?
True
Let c = -1/112 - 771/1456. Which is greater: -1 or c?
c
Let y = -11 - -7. Which is smaller: -0.3 or y?
y
Let g = 22.9 + -23. Is 12 less than or equal to g?
False
Let z be (-15)/20*4/7. Are z and -0.1 equal?
False
Let w = -6 - -9. Let c = w + -3.1. Let g = 5/3 + -1. Which is bigger: g or c?
g
Let q = 0.5 + -1. Let o = 3.6 + -0.1. Let m = o + q. Do -1 and m have different values?
True
Let y(m) = m**2 - 13*m + 17. Let j be y(12). Which is smaller: 11/2 or j?
j
Let t = 116 + -116. Suppose -5*i + i = 0. Let v be (i/(-2))/(-2*1). Is t at most as big as v?
True
Let a be 7/30 - 6/15. Which is smaller: -1 or a?
-1
Let m = -5103 - -55569/11. Let d = 38 + 13. Let k = d + m. Which is smaller: k or -1?
-1
Let i = 5 - 4.4. Let l = i + 2.4. Let s = l + -3.1. Is s < 1/3?
True
Let f(x) = -2*x + 2. Let t be f(2). Which is smaller: t or 0?
t
Let q(h) = h - 1. Let b be q(0). Suppose 0 = -3*n + 9, 4*x - 3*n = 2*x - 21. Let j be (b/6)/(3/x). Which is smaller: 0 or j?
0
Suppose -2*x = 3*q + 2*q - 19, 4*q = x + 10. Is x > 5/7?
True
Let m be 51/(-6) + (-4)/(-8). Let i = m + 8. Suppose 0 = 2*h + 6, -2*y + 3*h + 17 = 2*y. Which is greater: i or y?
y
Let n = 11.045 - 0.045. Is n greater than 3/4?
True
Let u be 3/(-2)*(-8)/6. Let o be ((-36)/(-144) + (-6)/(-8))*-1. Which is smaller: u or o?
o
Let h be -3*2/(-13)*1. Let u(o) = o**2 + 3*o - 3. Let n be u(-4). Which is bigger: n or h?
n
Let i(n) be the second derivative of -13*n**4/12 - n**3/6 - 4*n. Let k be i(1). Is k < -14?
False
Let j be (-1)/(-4) + 198/(-24). Let f = 7 + j. Which is greater: f or 4/11?
4/11
Let m = 0.18 + 6.82. Are 2 and m equal?
False
Let k be (2/8*2)/(9/45). Is k < -0.1?
False
Suppose -4*s + 0*s - 16 = 0. Which is bigger: s or 0.6?
0.6
Let y be (3*(-1 + -1))/(-2). Suppose -11 = -4*p - i, 3*i + 2 = y*p + 5. Suppose -p*x + 2 = -x. Is 2 not equal to x?
False
Suppose 2*v + 0*v = 2*p, 2*p + 8 = -2*v. Let r be p/((-56)/90) - 3. Which is smaller: 0 or r?
0
Suppose 4*p - 5*l - 8 = 0, 2*p = -0*p - l + 18. Suppose -4*a + 24 = 2*x, -5*a - 1 - 8 = -4*x. Is x greater than p?
False
Let j = -0.9 - 0.1. Let q = -6.9 - -8. Let d = j + q. Which is bigger: -3 or d?
d
Suppose 4*w + 5*h = 1173, 3*h - 552 = -3*w + 330. Let u = 3269/11 - w. Let s(r) = -r**2 - 3*r + 4. Let f be s(-4). Is f less than u?
True
Let r(s) = s**3 + 8*s**2 + 6*s. Let m be r(-7). Let p = -6 + m. Which is smaller: p or 2?
p
Suppose -4*c = -4*a + 8, -4*c + 2*c + 3*a - 3 = 0. 