alse
Suppose 0 = 3*l - 4*l. Is 2 > l?
True
Suppose 0 = -7*f + 2*f + 25. Suppose 5*n - r - 7 = -1, 4*n = -f*r + 28. Is 4 greater than n?
True
Let x = 4 - 7. Let i = x - -6. Let g = i - 3.1. Is 1 less than or equal to g?
False
Let l be (-10 - -21)*(-2 - 0 - -3). Which is greater: l or 13?
13
Suppose 3*f - 7*n + 3*n = 35, -3*n = -4*f + 35. Is f > 5?
False
Let c = 35 + -15. Let d be ((-36)/30)/(6/c). Which is bigger: d or -6?
d
Let d = 11 + -6. Let o = 4.6 - d. Let q = o + -0.6. Which is smaller: q or 2/5?
q
Let t be (-3)/(-15)*(4 + 1). Which is greater: 8/15 or t?
t
Suppose h + 3*m = -8, -h = 3*h - 3*m - 13. Is 2 greater than or equal to h?
True
Let v = -49322/23 + 2144. Is v at most -1?
False
Let t(i) = i**3 - 2*i**2 + i. Let k be t(2). Let d = 4 - k. Let f(n) = -2*n - 2. Let a be f(0). Is d less than a?
False
Let d = 32 + -23. Are 0.1 and d nonequal?
True
Let g be ((-3496)/(-1164) - 3)*6. Which is bigger: g or 0?
g
Let g(y) = -y**2 - 2. Suppose 3*k - 5 - 2 = -p, 3 = k. Let o be g(p). Let d(c) = -c**3 + 8*c**2 + 7*c + 13. Let j be d(9). Which is greater: j or o?
j
Let v(g) = -g**2 + 3*g + 1. Let s be v(4). Let x be (-5)/(-3) - 30/9. Which is smaller: x or s?
s
Let v = 353/679 + 5/97. Which is smaller: -2/5 or v?
-2/5
Let y = -7.4 - -1.4. Let m = -5 - y. Is -12 < m?
True
Let g = 12 - 11. Let r = 1.1 - 0.3. Let n = g - r. Which is greater: -1 or n?
n
Let g = -18 - -31. Suppose 0 = 4*n - g + 41. Which is greater: -8 or n?
n
Let t be (6/8)/(7/(-336)*2). Does -19 = t?
False
Suppose -14*a = -15*a - 35. Which is bigger: a or -0.3?
-0.3
Let s = 7/2 - 4. Suppose 0 = 5*v + 4*f + 5, 5*f + 42 = 4*v + 5. Suppose -4 = -w, 0 = -0*b + b + w - v. Does s = b?
False
Suppose l + 2 - 10 = 0. Which is smaller: l or 9?
l
Suppose -5*x = -2*b + 1 - 7, b = -3*x + 19. Suppose 18*g = 19*g + 8. Let k = g + b. Is k bigger than -2/5?
False
Let z = 23 - 23.1. Is z < -31?
False
Let b = 3/8 + 1/8. Suppose 0*z = 3*z - 5*k - 45, 5*z - 38 = -4*k. Let i be 1/3 - z/(-6). Which is greater: i or b?
i
Let y(p) = p + 4. Let o be y(-2). Suppose 6 - 4 = o*i. Are -1/17 and i equal?
False
Let q = -255 - -256.79. Let t = 0.51 + q. Let p = -2 + t. Which is smaller: 0 or p?
0
Let h = -67/2 + 33. Let t = 21.82 + -22. Let g = t - -0.08. Which is smaller: g or h?
h
Suppose -14 = 5*h + 1. Let r be -4 - ((h - 0) + 1). Which is bigger: -1 or r?
-1
Suppose -u = -0*u - 61. Let q = -233/4 + u. Let l = q - 5/2. Which is smaller: 1 or l?
l
Let z(a) = 4*a**3 + 2*a**2 - 8*a + 10. Let d(n) = 11*n**3 + 7*n**2 - 23*n + 29. Let t(v) = -3*d(v) + 8*z(v). Let w be t(-6). Is w at most as big as -1?
True
Let z = -15 + 15. Is -1 bigger than z?
False
Suppose 3 = 2*j - 3*k, -8*k + 3*k = -5*j + 5. Let w be 1/4 + (-110)/504. Which is smaller: w or j?
j
Let h be (18/(-6))/(3/(-4)). Suppose 5*r - 11 = 9, h*i - 3*r = 0. Let x be 12/(-8) + i/4. Which is bigger: -2 or x?
x
Suppose 6*u - 9*u = -18. Let k be 58/u - (-4)/(-6). Let t be (3/4)/(k/8). Which is smaller: t or 1?
t
Suppose 3*d - 7*d - 1 = -3*v, -5 = v + 4*d. Let x be (-3 + -1 + 1)*v. Let m(l) = l**2 - 4*l + 3. Let a be m(x). Is 2/11 > a?
True
Suppose -2 = -3*k - s - 3, -1 = -5*k + s. Let d be 6*((-1)/(-10) + k). Which is bigger: d or 1?
1
Suppose 3 = -4*a - 3*g - 3, -5*a + 2*g = 19. Let i be 1*7 + 9/a. Suppose -16 = i*n - 0. Is -4 > n?
False
Let q = 2768 + -44321/16. Let r = 101/80 + q. Let v(f) = f + 2. Let t be v(-3). Is r not equal to t?
True
Let x(z) = z**2 + 2*z - 11. Let s be x(-5). Let f be (6 - s)*(-1 - 1). Do f and -4 have different values?
False
Suppose 12 = 4*f - 2*p + 6*p, 4*f - p - 17 = 0. Suppose -3*r = -2*s + 12, 0*s + 13 = 3*s - 2*r. Is s smaller than f?
True
Let x(d) = d**3 + 3*d**2 + 1. Let r be x(-3). Is r <= 15/8?
True
Let q(b) = -b**3 - 6*b**2 - 2*b - 3. Let s be q(-6). Which is smaller: 11 or s?
s
Let r(i) = -i + 7. Let s be r(5). Let p(d) = d**3 - 2*d**2 + 4*d - 2. Let u be p(s). Let b be 1/7 - (-11)/(-28). Is u at least as big as b?
True
Let t = 2 - 0. Let f(c) = c + 4. Let p be f(-4). Which is smaller: p or t?
p
Let d = 2 + 3. Suppose d*c - 6 = -c. Is c <= 12/5?
True
Let i(g) = g**3 + 4*g**2 + 3*g - 3. Let d be i(-3). Let t be d + -6 + 8/4. Is t at least as big as 0.2?
False
Let l = 1745/2 - 399609/458. Let y = 683/458 - l. Do 1 and y have different values?
True
Suppose 3*r = 2*k + 22, -3*r + 2*k = -7*r + 6. Suppose 5*h = 4*m + r, m + 0*m + 1 = 0. Let c be 3 - (0 + h)/1. Is 3 at most c?
True
Let o = -7 - -8. Which is smaller: -1/34 or o?
-1/34
Suppose -2*n = -m - 2*m + 9, 0 = -5*n. Is 5 != m?
True
Let h(w) = 6*w + 3. Let t(q) = 5*q + 3. Let i(k) = 5*h(k) - 4*t(k). Let f be i(11). Let a = f + -567/5. Which is greater: -1 or a?
a
Suppose 5*f = -2*t + 12, -3*f - 3*t + 32 = -8*t. Let m be (-4350)/(-1095) - f*1. Are -1 and m equal?
False
Let c be (2 + (-21)/18*4)*6. Is c smaller than -17?
False
Let m = -2 - -1. Let f = -1 + -1. Let y = 0 + f. Which is smaller: y or m?
y
Suppose -t = 2, 3*h + 3*t = 32 - 11. Is 7 less than or equal to h?
True
Let r(f) = -10*f + 5. Let z(s) = -20*s + 11. Let d(c) = 13*r(c) - 6*z(c). Let o be d(-1). Let g be 2/9 - 11/o. Which is greater: g or 0?
0
Let g be 5/6 - (16/(-6) - -3). Is g less than or equal to 0.5?
True
Suppose -5*o + w = -0*w - 2, -3*w - 6 = 0. Let c be 3 - (-3)/(-12)*4. Which is smaller: c or o?
o
Suppose -24 = -4*p - 4. Is p greater than 7?
False
Let m = -2 - -1. Let s be 0/((0 + -1)/m). Does s = -1/8?
False
Let c = -2.2 + 1.3. Let m = 1 + c. Are m and -0.8 equal?
False
Let p = 12 - 5. Let u = -4 + p. Which is greater: 0.1 or u?
u
Let h = 0.05 - -5.95. Let s = h - 7. Does 0.3 = s?
False
Let r = -202 + 216.3. Let m = -15 + r. Let o = 13 - 14. Is m > o?
True
Let r = 618 - 1888/3. Which is greater: r or -11?
-11
Let k be (2/(-8))/(1/(-4)). Let y = k + 3. Let q = y + -5. Is q greater than or equal to 2/9?
False
Let b = -7 - -10. Suppose 42 = b*f - 0*f. Let r be f/(-8) - 6/(-3). Which is greater: -2 or r?
r
Let d = -5.11 - -5. Let x = -0.22 - d. Let z = 0.01 + x. Which is greater: 3/7 or z?
3/7
Let t = -10 + 28. Let w(h) = -9*h**2 - 4*h - 3. Let u be w(-3). Let a be 4/t - (-16)/u. Is 2 greater than a?
True
Let u = 2 - 2.2. Let m = 0.03 - -0.37. Let f = m + u. Does f = 0.1?
False
Let k = -2 + 2. Which is smaller: -1/2 or k?
-1/2
Let d be 4/(1 + 3 + 0). Let t = 365 - 2551/7. Does t = d?
False
Suppose 31 - 91 = -5*q. Suppose 2*k - q = -k. Suppose -a = 5 - k. Which is smaller: a or 1/4?
a
Suppose -4*v + 8 = -0*v. Suppose 3*a + v*a - 15 = 0. Suppose 3*g = a, -4*r = 3*g - g + 6. Is 0 > r?
True
Suppose 0 = -3*l + l + 4*u + 46, -5*l + 143 = -3*u. Let k = l + -17. Is 13 <= k?
True
Let c = -6.1 - -5. Let j = c + 0.6. Which is smaller: j or -1?
-1
Let b = 99 - 33. Which is bigger: -2/3 or b?
b
Let l = 3/10 - 21/20. Let a(x) be the first derivative of x**2/2 - 4*x + 2. Let m be a(5). Is l smaller than m?
True
Suppose -16*d = -13*d. Suppose z = -d*z. Is 2 at most as big as z?
False
Let l = -14 - -15. Which is greater: l or -2/131?
l
Let p(t) = t**2 + 5*t - 20. Let j be (-4 - -1) + 6/(-2). Let s be p(j). Are -12 and s equal?
False
Let c = 58 + -75. Is 1 smaller than c?
False
Suppose 0 = -h - 5*k + 32, -5*h + 0*h = 3*k - 204. Let z be (18/h)/(4/14). Suppose -2*f = 3*q - 12, 4*f - f = 3*q + 3. Are f and z non-equal?
True
Let j be 5*(33/(-15) + 1). Let o = j - -3. Let a be (-2 + 1*-2)*1. Which is greater: a or o?
o
Let u = -24 + 22.9. Let s = 0.9 + u. Is 0 < s?
False
Let a be (-46)/4 + (-4)/8. Let s be (9/a)/(9/2). Let h(x) = x**2 - 2*x - 2. Let d be h(3). Which is smaller: d or s?
s
Suppose 64 = 2*b - 5*y - 13, -3*y = -5*b + 145. Is b < 27?
True
Suppose 5*u - 7 - 3 = 0. Is u less than -74?
False
Let o(p) = 3*p**2 + 5*p - 1. Let s(a) = -5*a**2 - 8*a + 2. Let m(b) = 8*o(b) + 5*s(b). Let q be m(0). Which is bigger: q or 1?
q
Let y(b) = -b**3 - b**2 + b. Let i be y(0). Suppose i = 4*m + 33 - 9. Let v = -11 - m. Do -5 and v have the same value?
True
Let i be (33/4)/((-1)/20*-3). Which is greater: i or 1?
i
Let y(h) be the third derivative of h**5/60 - h**4/4 - 5*h**3/6 - 5*h**2. Let u be y(4). Let t be (-3)/(u/1 + 3). Which is smaller: 1 or t?
t
Suppose -3*t = -0*t - 231. Let c = t - 53. Which is smaller: 23 or c?
23
Let c = 6 + -5. Let z(p) = -p**3 - 3*p**2 + 3*p - 1. Let v be z(-4). Let u = v - 3. Are u and c equal?
False
L