t o = 1.54 + -1.6. Let z = o + -7.94. Is z at least 0?
False
Let l = 1395/11 + -127. Which is greater: l or 1?
1
Let y(p) = 1 + p**2 - 4 + 5*p + 0. Let x be y(-5). Is -3 greater than or equal to x?
True
Let y be -5*2/(-20)*6. Suppose 5*x - 31 = -a, -y*a + x = -2*x - 3. Suppose -4*b + 12 = -a*b. Is b != -6?
False
Let z = 26 - 19. Let d = z - 8. Which is bigger: -0.2 or d?
-0.2
Let p(h) = -h. Let o be p(-1). Is o smaller than -2/21?
False
Let i be (2 - (2 - 2))/(-5). Suppose -2*y = -4*y + 8. Suppose -3*a + y = a. Which is smaller: i or a?
i
Let p = -2 - -5. Suppose 0 = h + p*m - 6, -3*h - 2*m + 9 = -4*h. Let b = 6 + h. Is b less than 3?
False
Let m = -13 - -12. Which is smaller: -3/17 or m?
m
Let n be (-117)/(-189) + 4/(-14). Do n and 10 have the same value?
False
Let d be (636/(-9))/((-1)/3). Let g = 3178/15 - d. Which is bigger: g or 1?
1
Let k(t) = -t**2 + 5*t. Let y be k(6). Is -7 less than y?
True
Let f be 3/18 + (-23)/(-6). Suppose -3*s = -f*l + 16, 2*l - 8 = 4*s + 30. Which is greater: -13 or s?
s
Let g = 27 + -27. Let c be (-2)/8 + (-63)/(-156). Is c < g?
False
Let x = 41 - 167/4. Let i be -1 - (-3)/1 - 23. Let b = i - -21. Do b and x have the same value?
False
Let w = 26 + -26. Let g = -0.12 - 0. Which is bigger: w or g?
w
Let p(h) = h**3 + h + 5. Let m be p(0). Let z be (-6)/(-3) - (-2)/(-2). Suppose m*f + c - 3*c = -2, 0 = 3*f + c - z. Which is greater: f or -1/7?
f
Suppose -4*i - 3 + 9 = 2*f, -4*f = 3*i - 17. Suppose 3*a = -a - 5*u + 14, -32 = -5*a + u. Which is smaller: a or f?
f
Suppose 0 = 4*q + 3*m + 27, 3 = 3*q - m + 7. Is -3 bigger than q?
False
Let f = -47.7 + 47. Let t = -0.77 + -0.03. Let r = f - t. Which is bigger: 2/7 or r?
2/7
Let y = 15 - 28. Let l be 1*(1 + 1) + y. Is -10 < l?
False
Let o(a) = -2*a**2 + 3*a + 2 - 4 + a**2. Let d be o(2). Suppose 3*w + 5*r = 12, -3*r + 5 = 5*w + 1. Which is greater: w or d?
d
Suppose 0 = 4*h - 3*h + 8. Let x be (-19 - -1)/(35/14). Let y = h - x. Does -1 = y?
False
Let b(o) = o**3 + 3*o**2 - 4*o + 3. Let s(l) = -l**2 + 3*l. Let v be s(4). Let z be b(v). Is 4 at least as big as z?
True
Let g = 3 - 3. Suppose m - 10 = -m - 2*q, g = m - q - 15. Suppose d - 8 = 4*f, 5*f + 0*d = -2*d - m. Which is smaller: -1 or f?
f
Let i = 128/11 - 108/11. Is 2 greater than i?
True
Suppose 0 = 5*a - 2 - 3. Is a at least as big as -2/129?
True
Let j = 11.3 + -26.1. Let f = j + -2.2. Which is bigger: 1 or f?
1
Let u = -0.04 - -2.04. Let x = -1.8 + u. Let t = 1.08 + -0.08. Which is greater: t or x?
t
Suppose 2*f - f = 6. Let x be -1 - 3/(6/10). Let z = f + x. Which is smaller: z or 1/2?
z
Let b = -5 + 6.6. Let k = b + -1.4. Is -3/4 equal to k?
False
Let s be (-5 - -8) + (-77)/25. Are s and -1 equal?
False
Let m = 0.112 + -0.132. Which is smaller: m or -3/7?
-3/7
Let t = -9 - -13. Suppose 0 = -f - t*f - 5. Which is bigger: f or 0?
0
Let u = -26 - -26. Suppose 2*w + w - 26 = 4*p, 5*w - 5*p = 35. Which is bigger: w or u?
w
Suppose 3*k = -28 - 44. Let z be 19/k + (-4)/(-6). Are 0 and z equal?
False
Let y = 0.83 - 0.53. Is -0.1 bigger than y?
False
Suppose 4*v + 4 = -2*u, 5*v + 34 + 10 = 4*u. Let i be (-20)/6*u/5. Which is smaller: -5 or i?
-5
Suppose -4*j - 12 = -3*n - j, 5*j + 25 = 0. Suppose -2*d - o + 3*o - 16 = 0, -23 = 4*d - o. Let g be n/d*(4 + -5). Which is smaller: g or 1?
g
Let l be (7 - 10)/(114/(-4)). Suppose -2*g - 5*c + 2 = -5, -2*g + 9 = 3*c. Suppose 3*j - 9 = -o, j = 4*o + 3*j - g. Is l greater than or equal to o?
True
Let k = -131/40 + 27/8. Let n be -2 - 3/(-2 + 1). Which is smaller: n or k?
k
Let p(g) = 5*g - 11. Let y be p(6). Let b be (y + -1)/(1 + 1). Is 9 greater than or equal to b?
True
Let q be (-22)/(-55)*10/(-182). Does 1 = q?
False
Let j(h) be the second derivative of -h**5/20 + 5*h**4/6 - 3*h**2/2 + 4*h. Let m be j(10). Which is smaller: -2 or m?
m
Let w(y) = -y + 11. Let c be w(9). Let u be (-3 - -3) + 0 - c. Is u at most as big as -3?
False
Suppose -5*w - 46 = -o, -5*o + 0*o = -2*w - 23. Is -10 <= w?
True
Let h(s) = 2*s - 2. Let g be h(0). Let u be 5*(3 + -1)/(-2). Is u equal to g?
False
Let j(q) be the third derivative of q**6/120 + q**5/15 + q**3/6 - q**2. Let d be j(-4). Suppose 4 = 2*c, x + c = 3 + d. Do x and -2/13 have different values?
True
Let u(v) be the third derivative of -v**4/24 + 2*v**3/3 + 3*v**2. Let f be u(5). Is f > -2/7?
False
Suppose -35 + 3 = 3*x - y, 52 = -5*x + 2*y. Let n be (-2)/x - 26/12. Is n greater than -2?
False
Suppose -13 = -5*n + 4*u, -2*n + 3 = -5*u + 8. Suppose -4*p + 35 = 2*h - 3*h, -n*h = -3*p + 5. Suppose 5*v - 4*v = -3*g, 3*v = g + p. Is g < 0?
True
Let n(c) = c + 2. Let q be n(-5). Suppose 0 = -f, 2*z - f - 2*f = 0. Suppose z = -k - 2*t + 5, -t + 0*t = -4. Do k and q have different values?
False
Let k be 27/(-6) - (-8)/2. Let o(p) = p**3 - 3*p**2 - 4*p + 2. Let g be o(4). Suppose -g*n - n = 0. Is k >= n?
False
Let x = 0.14 + -0.07. Which is smaller: 0.2 or x?
x
Let x(w) = 4*w**2 - w + 2. Let k be x(-2). Suppose -c + 4*f = -k, -f - 5 = 4*c - 8*c. Let i = -5 + c. Is i > -2?
False
Let h be (-6)/(-2 + (-8)/(-3)). Let l(f) = f**3 + 8*f**2 - 10*f - 7. Let y be l(h). Suppose -2*c + y = -0. Is c != 0?
True
Let w = 39549 + -67358. Let k = 1946541/70 + w. Let v = k + 17/10. Is v equal to -1?
False
Suppose v = 5*s + 2, 2*s = -3*v - 3*s + 6. Let b be 0 + -1*2*-1. Let x = b + v. Is x <= 3?
False
Suppose 0 = -8*z + 3*z + 20. Suppose 4*p + 4*i = p - 1, -z*p + i + 5 = 0. Let d = -0.02 - -2.02. Are d and p equal?
False
Let s be (-2)/(8/4)*-5. Suppose 6 = f - 4*v, 0*f - 2*v = s*f + 14. Which is smaller: -2/3 or f?
f
Let w(s) = s**3 + 7*s**2 + 12*s - 3. Let l be w(-5). Which is bigger: -11 or l?
-11
Suppose -5*u + 4 - 19 = 0. Let l(k) = k**2 + 4*k + 4. Let p be l(u). Let s be (p - (-27)/6) + -2. Is 3 at most as big as s?
True
Let i = -43 - -78. Let v be 8/44 + i/(-11). Let q = -295/156 - 14/39. Which is smaller: q or v?
v
Let d = -8/17 + 90/119. Let x = -2/19 - -7/247. Is d bigger than x?
True
Let z = 1.06 + -1.06. Are 1/3 and z equal?
False
Suppose -4*r = -7*r + 12. Suppose r*v - 6*v - 8 = 0. Which is bigger: v or -3?
-3
Suppose 2*f - 8 = 6*f. Let m be 3 + (2 - (-104)/10). Let b = m - 16. Is b > f?
True
Let n be (-12)/15*(1 + 4). Let s be ((-4)/(-36))/(2/n). Is 0 greater than or equal to s?
True
Let q = -291/950 - -7/25. Is q less than or equal to 1?
True
Let c(j) = -3*j**2 + 15*j + 6. Let y be c(5). Suppose 8*h = 3*h + 25. Which is greater: h or y?
y
Suppose 4*k + 24 = -0*k. Is -13/2 at least as big as k?
False
Let f(q) = -2*q - 5. Let x be f(-5). Suppose 5*u + x*l = 20, -2*u + 8 = -5*l - 28. Suppose 0 = 4*r - u*r + 4. Is -2/5 equal to r?
False
Suppose 2*h + 3 = -5. Let u be (-26)/10 - h/(-10). Let k(d) = 17*d - 105. Let m be k(6). Is m greater than or equal to u?
True
Let s(x) = 4*x**3 - x - 1. Let k be s(-1). Let v be k/14 - (-16)/(-42). Let g = 0 - 0. Which is smaller: g or v?
v
Suppose 8 = -3*m - 7. Suppose 4*c + 22 = x + 5, -21 = 4*c - 5*x. Which is greater: m or c?
c
Let o = -0.05 + 0.25. Let d = 2.8 - -0.2. Is o less than d?
True
Let c be (5/15)/((-1)/(-12)). Let r = 19 - 13. Which is bigger: r or c?
r
Suppose -3*o + 10 = 1. Suppose -52 = -3*f + 2*x + 13, 0 = -5*f + 2*x + 103. Suppose -3*z = 0, 5*a + 5*z + 4 = f. Is o greater than a?
False
Let j(i) = i**3 - i**2 - i - 1. Let m be j(-1). Which is smaller: 1/5 or m?
m
Suppose -8 = 2*a - 3*i, -2*a - a - 5 = -i. Let k be (a/(-4))/((-30)/16). Is k not equal to 1?
True
Let y(p) = p**2 - 10*p + 3. Let b be y(10). Suppose b + 1 = k. Is k smaller than 5?
True
Suppose -2*i + 39 = -s, i + 53 = 4*i + 4*s. Let o = -12 + i. Is o smaller than 8?
True
Let k be 1 + -1 - (0 + 1). Let j be ((-6)/(-120))/((-3)/(-8)). Are j and k unequal?
True
Suppose -j - 9 - 1 = 0. Which is smaller: -9 or j?
j
Let y be (1*-1)/(126/72). Is 0 smaller than y?
False
Let p = 8 - 14. Let d(l) = l**2 + 6*l - 1. Let j be d(p). Is j > -3/7?
False
Let w be (-31)/(-6) + (-3)/18. Suppose -5*g - 11 = w*y - 1, -5*y - 2*g = 4. Which is smaller: y or 6/5?
y
Let z = 7.316 + -1.386. Let j = -0.07 - z. Let a = j + 5.7. Which is smaller: 1 or a?
a
Let i(w) = w + 2. Let t be i(-3). Let f be 0*(-3)/6*t. Let l be 80/102 + (-6)/9. Which is smaller: l or f?
f
Suppose -o + 2*v - 19 = 7*v, -2*o - 2*v - 6 = 0. Which is smaller: -2/61 or o?
-2/61
Let h be 1652/4 - 1