p + 7*p - 10 = a. Is 3 less than or equal to p?
False
Let f(z) = -z**2 - 4*z. Let d be f(-5). Let x = d - -8. Let i = 4 - x. Which is greater: -2 or i?
i
Let y = -0.5 - -0.9. Let w = -0.6 - y. Let x = w + 0.9. Is -0.1 > x?
False
Let h = -7.1 + 10.13. Let i = -0.05 + 0.08. Let s = h - i. Does s = 1?
False
Let o = -1 + -5. Let a be 1/(1 - (-4)/o). Let l(t) = -t**2 + 3*t + 1. Let h be l(a). Is 2 less than or equal to h?
False
Let s be (-2)/(-4) - 31/38. Is 1 > s?
True
Let b = 12 + -17. Let n(u) = 2*u**2 + u - 2. Let i be n(-2). Suppose -y + 2*j - 1 - 3 = 0, -8 = 2*y + i*j. Is b < y?
True
Let f be -38 - 1/((-1)/2). Let v = 110/3 + f. Let n = -1/3 + v. Is 1 greater than n?
True
Let d be (3 - 2)*(-234)/10. Let h = d + 23. Are h and 1 nonequal?
True
Let v = -107444/2223 - -918/19. Which is smaller: -1 or v?
-1
Suppose -2 = 2*v - 8. Let w = v - -2. Suppose z = w*z. Do -1 and z have the same value?
False
Let h(t) = t + 2. Let d be h(-4). Suppose 4*z = -3*a + 7, -4*a + 0*z + 2*z = 20. Let u be 10/12 + d/a. Is 2 greater than u?
True
Suppose 3*t - 5*n = -32 + 75, -4*t - 5*n + 34 = 0. Let x be 1/4 - t/12. Let c be 0/((-2)/(-2)*-1). Which is greater: c or x?
c
Let d = 0.6 + -1. Let o = -4.8 + 4.7. Which is smaller: d or o?
d
Let k be (7 - -3) + 1*-2. Let l = 8 - k. Is 0 at most l?
True
Let j = -3 + 7. Let g be j*(-3 - -1 - -1). Let d be -2 + 2/g + 2. Is 1 != d?
True
Let t(a) = 4*a**2 + 2*a - 3 + 2*a + a**3 - 3*a. Let u be t(-3). Is 5/2 smaller than u?
True
Let a = 25 - 42. Which is greater: -2/7 or a?
-2/7
Suppose -5*t + 25 = 0, 0 = -4*x - 0*t - 4*t - 28. Let i = 0.142 - 0.042. Is x bigger than i?
False
Let f = 0.5 - 0.46. Let c = f + -4.04. Let g = 4.1 + c. Which is smaller: 3/2 or g?
g
Let l(n) = n**3 + 4*n**2 + 4*n - 1. Let u be l(-3). Suppose 2*s - 6*s = -3*z - 19, z = -s + 3. Let w be (-1 - -1 - z)/3. Which is bigger: w or u?
w
Let m = 6 + -1. Suppose -m*c = 2*f + 6, f - c - 2 - 2 = 0. Let x be -5 - -6 - f/(-2). Which is bigger: x or 1?
x
Let m = -1 + 1. Let g = -17 + 16. Is g <= m?
True
Let t = 0.2 - 0. Let l = t - 0.1. Let z = 8.9 + -7.9. Is l < z?
True
Suppose u - 3 = 2*u. Let k(h) = h**2 + 3*h + 2. Let g be k(u). Is g at most 2?
True
Let h = 71 - 96. Which is bigger: h or -26?
h
Let z be -3 + 2*21/6. Let b be 1 - 2 - -2 - -1. Let v be b/z + 3/(-2). Are -1 and v non-equal?
False
Let l = 31.76 + -32. Which is bigger: 0.1 or l?
0.1
Let k be (-319)/(-1650) - 2/(-24)*-2. Is k != -1?
True
Let j(k) = -k**3 - 5*k**2 - 5*k - 3. Let a be j(-4). Let y be 3*a*(-1)/(-3). Let r = -21 + 171/8. Is r greater than y?
False
Let l(i) = i**3 - 8*i**2 - 11*i + 7. Let o be l(9). Let z = 8 + o. Does 0 = z?
False
Let u = -1.62 + 2. Let f = 0.08 - u. Let o = 0.5 + -0.4. Which is smaller: f or o?
f
Let u = -170 + 135. Do u and -34 have the same value?
False
Let k be -1 - -4 - (-4 + 10). Let r be (-6)/k - 11/5. Is r less than or equal to 1?
True
Let k = 124/17 + -5298/731. Let t = -64/473 - k. Are 0.2 and t nonequal?
True
Suppose 43 - 11 = 4*d. Which is smaller: d or 2?
2
Let l be (-2)/(0 - (-4)/14). Let u = l - -12. Is u at least as big as 5?
True
Let h = 0.01 - -0.59. Let m = -3.4 - h. Does -0.1 = m?
False
Suppose 3*i + 3 = -x, -3*x - 3 = -5*i - 2*x. Let k = 2 - 1. Let h = -1 - k. Are h and i non-equal?
True
Let l(s) = s**2 - 4*s - 3. Let f be l(5). Suppose f*x = -0*x + 2. Is 1 != x?
False
Suppose -3*w = -5*g - 7*w - 6, -4*w = -2*g + 20. Let l(v) = 5*v**2 - 2*v + 1. Let z be l(1). Suppose a + 3 = -n, -z*n - a = g - 5. Which is greater: n or -2?
n
Let r be (-85)/25 + (-1 - -4). Let d(p) = -p + 9. Let f be d(7). Let g be (-1)/(-1) - (f + -2). Which is greater: g or r?
g
Let h = -25 + 25.01. Is h >= -9/5?
True
Let t = 201/7 + -29653/1050. Let j = t - -2/75. Which is smaller: 1 or j?
j
Let q be 54/13 - ((-126)/26 - -5). Which is bigger: q or 25/7?
q
Let z(s) be the third derivative of s**6/120 - s**5/12 + s**4/8 + 2*s**3/3 + 3*s**2. Let h be z(4). Let v be h/(3/(6/4)). Is v greater than or equal to 0?
True
Let w = 61 - 62.07. Let a = w - -0.07. Suppose 9 = -3*u - 2*h + 37, 0 = 2*u + 2*h - 22. Is a <= u?
True
Let f = -88 - -88. Are f and -11/8 equal?
False
Suppose 0 = -5*s + s + 32. Suppose -4*t - 6 + 38 = 0. Are t and s equal?
True
Let f be (-101)/(-11) + -9 - (-2)/(-11). Suppose u + 15 = 3*d, u + 0*d - 25 = -5*d. Let k = u - 0. Is k greater than f?
False
Let f = -0.076 - -1.076. Let c = 3.3 - 3. Let q = -0.2 + c. Do f and q have different values?
True
Let r(t) = -8*t**2 + 2*t - 2. Let n be r(-5). Let x = n + 1906/9. Do x and 0 have different values?
True
Let t be 5 + -2 - (-5782)/17. Let b = 343 - t. Is -1 < b?
True
Suppose -5*l + 3*l = -14. Suppose -2*g = -5*g + 180. Let h be g/(-112) + 2/l. Which is smaller: h or 0?
h
Let y be 2 + 10702/(-2590) + 2. Let i = -2/185 + y. Suppose l - 24 = 5*b, 0 = 3*l - b - 4 + 2. Is l greater than i?
False
Suppose v - 2*w = -4*w, -5*v - 2*w = 0. Let r(j) = j**3 - 4*j**2 + 3*j + 3. Let n be r(3). Is v at least n?
False
Suppose 2*c + 10 = 0, 4*b - 4*c - 17 - 19 = 0. Suppose 2*z + b*k - 7 = -1, 3*k = -5*z + 36. Which is bigger: z or 10?
10
Let q = -58 + 60. Which is smaller: q or 42?
q
Let c be (4/24)/(3/(-9)). Is c at most -0.1?
True
Let i be 2/6 - 32/(-12). Suppose -v = -i*v. Suppose 4*j - 4 = -v*j. Is 1/2 at most j?
True
Suppose -5*q + 2 = -4*q. Suppose 3*b = -15, d = -2*b - 2 - 2. Let t = 9 - d. Is t smaller than q?
False
Suppose -f + 25 = 4*f. Is f at most 6?
True
Let z be 0 + (-2)/7 - 162/21. Is z less than or equal to -8?
True
Let d(s) = -s**2 + 13*s - 10. Let u be d(9). Let p be u/(-45) + 8/(-36). Which is smaller: p or 0?
p
Let g(r) = -r**2 - 13*r + 17. Let c be g(-14). Which is smaller: 11/7 or c?
11/7
Let z = 4.98 - -0.02. Let k(m) = 2*m**3 - 4*m - 3. Let c be k(-2). Let g be 4/18 - c/(-9). Which is bigger: g or z?
z
Suppose 3*k + 0*k = 3. Let h be (-15)/54*(246 + -2). Let w = h - -68. Is k < w?
False
Let m(t) = -1 + 12 - 5*t - t**2 + 14*t. Let w be m(10). Which is smaller: 3/5 or w?
3/5
Suppose 7 = -2*n + 3*c + 27, -4*n - 5*c + 40 = 0. Suppose -5*q = 5*w + n, w + 0*q - 4*q - 13 = 0. Let m(z) = z - 8. Let b be m(7). Which is greater: b or w?
w
Let l be ((-20)/8)/1*-2. Which is smaller: l or 1?
1
Let i be 26/30 - (0 + 1). Suppose n + 3*d + 9 = 0, 3*d + 18 = 3*n - 15. Let o be (-3)/n*(2 + -2). Which is smaller: i or o?
i
Let r = 5 - 1. Let i be -2*(2/r - 1). Let d be 1/(-4) + i/4. Which is bigger: d or -1?
d
Let p be 12/(-8)*(-2)/5. Is 0 < p?
True
Let i be (-2)/(-4)*(-6)/(-10). Let m = i - 1/2. Suppose 16*b - 12*b - 4 = 0. Is m < b?
True
Let r = 4 - 4. Suppose -4*v = 4*h - v - 53, 2*h - 3*v - 31 = r. Let j = 71/5 - h. Are 0 and j equal?
False
Let g = 20 - 21. Which is smaller: -6/25 or g?
g
Let d(w) = 3*w**2 + 7*w + 1. Let h(l) = l**2 + l + 1. Let j(q) = -d(q) + 4*h(q). Let i be j(2). Let t be 3/36*-2*-3. Is i at most t?
False
Let i be (15/5 - -1)/(4/(-62)). Which is greater: i or -61?
-61
Let v = 28 + -27. Is 2/19 greater than v?
False
Let m(s) = -s. Let n be m(4). Let j = n - -5. Suppose -6 = -2*k - 4. Is j greater than k?
False
Let m = -1.2 - -11.2. Let o = m - 10.4. Which is smaller: o or 0.1?
o
Let c be 12/((-14)/(-6) - 3). Is c greater than -18?
False
Suppose 5*n - 2*n - 21 = 0. Is 7 greater than or equal to n?
True
Let n = 4.9 + 0.1. Let k = n + -3. Let m = 2.9 + -3. Is m at most k?
True
Let q = 191 + -191. Is -4 smaller than q?
True
Let t(g) = 2*g**2 - 2*g. Let m be t(0). Which is bigger: m or -1?
m
Let u = -6 - -7. Let b = 1.2 - 1. Let d = -0.2 + b. Which is greater: u or d?
u
Let j = -15 + 8. Let l = j - -8. Which is greater: l or 4/5?
l
Let p = 2 - 3. Let j = -4709/4 - -1228. Let f = -51 + j. Which is smaller: f or p?
p
Suppose 0 = 3*s - 3*q + 24, -2*q + 6 = -5*s - 28. Is s smaller than -6?
False
Let o = 59/2 + -291/10. Is o bigger than 6?
False
Let q = 74604/73 - 1022. Which is greater: 0 or q?
0
Let m = -7/12 + 1/12. Which is greater: m or -1?
m
Suppose -6 = -4*p - l - 9, -5*p - 8 = -3*l. Which is bigger: 85 or p?
85
Suppose 25 = -5*p + 5. Let t = -11 - -8. Let f = p - t. Which is smaller: 0 or f?
f
Let r = 25 - 24. Is -4/9 less than or equal to r?
True
Let c = 1.9 + 0.1. Let l = -6 - -7.06. Let t = l + -0.06. Which is greater: t or c?
c
Let l = 12 - -10. Let g = l + -16. Suppose 4*o - 3*a - 20 = 0, 2*o + 0*a - 10 = -a.