 b(x) = -x**2 - 7*x - 7. Let p be b(-5). Suppose -5*n + 1 = -p*i, -5*n - 2*i - 2*i - 13 = 0. Is -2/9 at most as big as n?
False
Let v be (2/(-4))/(4/8). Let j be (-3)/2 - 1/2. Which is smaller: j or v?
j
Let c be 4/6 + 10/(-6). Let p(g) = g + 3. Let f be p(-3). Suppose 1 = -f*h + 4*h + w, 2 = -5*h + 2*w. Is h bigger than c?
True
Let h = -5045645/92 - -54846. Let v = 18/23 - h. Let g = -21 + 19. Is g smaller than v?
True
Let p be (-1)/3*6/(-2). Let b(a) = -a**3 - 9*a**2 - 11*a - 3. Let z be b(-8). Suppose 4*q - 5*q + 5*y - z = 0, -2*y = -q - 9. Is q at most as big as p?
True
Let q = 54 + -52. Let z = 1 + 4. Let g be 3 - 1 - z/4. Do g and q have the same value?
False
Let b be (-1 + 1)*(2 - 10/4). Does b = 10/17?
False
Let c be ((-202)/(-5))/(2/10*2). Is 102 greater than or equal to c?
True
Suppose -3*u - 4 = -1. Are u and 0.02 nonequal?
True
Let b be 1*-1*(4 - 3). Is b not equal to 1/15?
True
Let o = -0.3 + 0.4. Let d(c) = 4*c - 12. Let t be d(-3). Let y be 3/(-4)*t/(-27). Which is bigger: y or o?
o
Suppose -13 = m - 58. Suppose m - 10 = 5*l. Which is bigger: 6 or l?
l
Let p be (42 - 4)/((-6)/3*1). Which is bigger: -91/5 or p?
-91/5
Let h = 20 + -22. Let u be (0 + h)*2/(-4). Is 1/4 < u?
True
Let j = 15 + -9. Let a = j + -5. Which is bigger: a or 0.3?
a
Let p be 3 + (-2)/(2/5). Let c(g) = -g**2 - 4*g - 3. Let n be c(p). Let i(s) = 2*s - 2. Let f be i(2). Is f smaller than n?
False
Suppose 0 = 2*p - 10*p + 8. Which is bigger: p or 17/13?
17/13
Let i be -3*2*4/12. Let h = -1 - i. Let p be 0 + ((-4)/(-3))/2. Is h greater than p?
True
Let p(a) = -a - 1. Let l be p(-1). Suppose 0*s - 3*r = s - 3, 3*s + r + 23 = l. Let q be s/3*2/(-6). Which is smaller: q or -2?
-2
Suppose 0 = -5*d + 5 + 10. Suppose -4*l = l - 5*f, -18 = -d*l - 3*f. Let s = 5 + -2. Is s greater than l?
False
Let a = -108 + 98. Which is bigger: -7 or a?
-7
Suppose 0 = 5*n - 4*k - 291 - 256, -2*n + 212 = -5*k. Are 111 and n unequal?
False
Let v be (-2)/10 - 8*1/10. Is v > 2/5?
False
Let v(r) = 0*r - 5 + r + 0 + 3. Let a be v(7). Is a < 4?
False
Let d(a) = -a - 4. Suppose -2*r = 8, -4*s + 0*r - 28 = 3*r. Let t be d(s). Let k = 6 - 8. Which is bigger: k or t?
t
Let x(j) = -j + 4. Let h = 10 - 6. Let p be x(h). Is p bigger than -1/2?
True
Let z = 21.13 - -32.14. Let y = -53 + z. Let f = y + -0.07. Which is bigger: 1 or f?
1
Suppose -h + 8 = 3*h. Let q be -1*(0 - (-1)/h). Let j = 1/6 + q. Which is smaller: j or 0?
j
Suppose 0 = -t - 31 + 95. Suppose -5*r - 25 = -3*s + 34, 0 = 3*s - 4*r - t. Let u be 4/(-10) - s/(-35). Is 0.1 greater than u?
False
Let z = 527/26 + -287/26. Let k = -10967634/65 + 168724. Let n = k + z. Which is bigger: n or -1?
n
Let j = 115 + -151. Is j at most as big as -106/3?
True
Let w(f) = -f - 3. Let k be w(-5). Suppose -k*r = -r. Which is bigger: -3/11 or r?
r
Let c = -96 - -95.8. Which is smaller: c or -14?
-14
Let z = 564 + -2832/5. Is z at most as big as -3?
False
Let z = 17 - 9. Let r = -17 + 12. Let t = z + r. Which is greater: -1 or t?
t
Let w be 0 + (-7)/(14/(-8)) + -3. Let p be 2/4 + 10/(-12). Is w less than p?
False
Let l = -19 - -13. Let a be -1 + 2/l*-6. Is 0 at most a?
True
Let i(v) = -v**3 - 3*v**2 - 3. Let g be i(0). Which is smaller: -4 or g?
-4
Let y be (-688)/70 - (11 - 13). Let m = 52/7 + y. Which is bigger: 0 or m?
0
Let c be -4 + 48/21 + 2. Let d be 0/(-2) - (-1 - -1). Let u = d - 1. Which is smaller: c or u?
u
Suppose -o - 3*o = 4*x - 20, -2*x + 10 = -2*o. Suppose -4*h - x*p - 32 = 0, -19 = -0*h + 5*h + p. Is h != -6?
True
Let d(a) = 2*a - 10. Let t be d(9). Let p(c) = c - 6. Let s be p(t). Let n(l) = -l. Let r be n(s). Which is greater: 0 or r?
0
Let f be -3 - -1 - (-2 - -1). Let p be 10/(-8) - 15/(-20). Is f != p?
True
Let k be (14 - 19)*((-8)/2 + 1). Let c be (-2)/(1 - -1) + 15. Is c at least k?
False
Let i = 22 + -23. Which is bigger: i or -2?
i
Let m = -0.9 + 1. Let r = 0 + -2. Let y be (-2)/r*(-3)/(-6). Which is bigger: m or y?
y
Let n = -2.6 + 0.6. Let g = n + 3. Let b = -14 + 13. Which is bigger: g or b?
g
Suppose -3*c = -c - 6. Which is smaller: 0 or c?
0
Let r(m) = -m**2 - m - 1. Let n be r(-1). Let c be (n - 0)*(-6)/(-2). Let i = 0.1 - 0. Which is greater: i or c?
i
Let d = 148 + -147.6. Is d < 6?
True
Suppose 0 = -2*p - 3*d + 49, -3*p + 2*d + 2*d + 48 = 0. Suppose 4*u = f + p, -3*f + u - 5 = -6*f. Let y = 110 + -772/7. Do y and f have different values?
True
Let d = -67 + 65. Let m = 3 + -5. Do m and d have the same value?
True
Let a = -990029652387/3527841905 + 7748829/27821. Let k = a + -20/3623. Let c = k + 12/7. Which is smaller: 0.1 or c?
c
Let h(f) = -f**2 + f. Let x(t) = 5*t**2 - 18*t - 1. Let l(r) = -6*h(r) - x(r). Let b be l(-12). Which is bigger: 1/17 or b?
b
Let i = 21 - 24. Let q be (-3)/2*i/(-36). Which is smaller: 1 or q?
q
Suppose 204 = -82*a + 80*a. Is -102 not equal to a?
False
Let v = -19 + 31. Let f = v - 10. Which is smaller: 4/5 or f?
4/5
Suppose -11*i - 14 = 8. Is i > 37?
False
Let v(l) = -11*l**3 - 1. Let n(q) = -q**2 + 2*q + 2. Let g be n(3). Let w be v(g). Are 10 and w non-equal?
False
Let w(l) = -l**2 + 5*l + 14. Let v be w(7). Let t(f) = -f**3 + 5*f**2 - 2*f - 2. Let c be t(3). Suppose -5*i = -0 - c. Is i less than v?
False
Let x be (0 - 3) + (-1324)/(-444). Let p = x - -88/777. Which is greater: p or 0?
p
Let y be 2 + -5 - 12/(-2). Suppose -y*g + 2 = -1. Which is smaller: g or -1/8?
-1/8
Let f be (1 + 0)/(-3 + 2). Let d = 26 - 43. Let j = d + 49/3. Is j equal to f?
False
Let o = -0.02 - -0.22. Which is smaller: o or 2/3?
o
Let n = -20 - -18. Is n smaller than 1/2?
True
Let p be -1*4 - 10/(-5). Let s(a) = -a**3 - a**2 + 2*a + 2. Let m be s(p). Suppose 0 = -m*b + 3*b. Is 5/6 bigger than b?
True
Suppose -3*x + 9 = 0, 0*d - 3*x + 6 = d. Let u be 13/(-6) + 4/24. Which is bigger: d or u?
u
Let f(k) = k - 1. Let i(c) = -c**3 + 5*c**2. Let z be i(5). Let a be f(z). Is a at least as big as 2?
False
Suppose -9*b - 6 = 3. Is b at least as big as -3?
True
Let m be (-356)/(-465) + 3/(-9). Let t = m - 1/31. Let f be 7 + -5 + (-3)/1. Which is smaller: t or f?
f
Let t(n) = -n**3 + 5*n**2 - 3*n - 1. Let r be t(4). Is 4 less than or equal to r?
False
Let p = 46 + -10. Let z = p + -107/3. Which is bigger: z or 0?
z
Let h be 0/(-1)*4/4. Suppose 3*m = m - 4. Which is smaller: m or h?
m
Let g(i) = -i**2 + 2*i + 8. Let r be g(-6). Let w be (r/25)/((-1)/(-5)). Let y = w + 12. Is 4 > y?
False
Let i(z) = z**3 - 2*z**2 - 2*z - 1. Let r be i(-1). Suppose 5*j + 15 = 4*x, 12 = -j - 3*j - 2*x. Is r at most j?
False
Let w = 81/77 + 18/77. Is w at least as big as 2?
False
Suppose 5 - 15 = -4*j - 2*v, 5*j - 25 = -5*v. Does -3/7 = j?
False
Let m = 76/11 + -8501/1232. Which is smaller: m or 0?
0
Let l = 366 + -6220/17. Which is greater: l or -1?
l
Let b be (2*-1 - 5) + 2. Let i(w) = w**3 - 5*w**2 + 4*w + 4. Let t be i(4). Suppose 16 + 4 = -t*p. Is b equal to p?
True
Let v = 0.1 - 0.3. Let r = -6 - -6. Let z = r - 0.1. Which is smaller: v or z?
v
Let b = 1400/153 - 85/9. Does -1 = b?
False
Let a = -0.6 - -0.54. Let f = a - 0.94. Suppose 3*l - 6 = 3*b + 2*l, -b + 2*l - 2 = 0. Are b and f nonequal?
True
Suppose -2*k + 4*k = r + 7, 0 = -5*k + 3*r + 18. Let i(v) = -2*v + 5. Let m be i(0). Which is bigger: k or m?
m
Suppose -h + 0*h + 2*o = 8, -5*o = 20. Which is smaller: -19 or h?
-19
Let i be (3/(-9))/(-2 + 1)*6. Is 27/13 <= i?
False
Let y be 1/(-6)*3/(-7). Let a(p) = 3 - p + 7 - p. Let s be a(5). Is y > s?
True
Let w = 4 - 10. Let c be ((-3)/10)/(w/5). Is -3 at most as big as c?
True
Suppose 0 = 2*s - 4 + 34. Let o be (-11)/(-10) - s/(-25). Let m = 3225/11 - 293. Is o > m?
True
Suppose -5*r - 25 = 3*k - 9, -6 = 5*r - 2*k. Suppose -5 = p - 4. Let x = -1 + p. Is x bigger than r?
False
Let i = 17 + -18. Is 2/5 < i?
False
Suppose 0 = -3*d - r - 162, -162 = 4*d - d + 3*r. Let t be d/15 - (-1 + -3). Which is bigger: t or 0.2?
t
Let c be 4*(1 - (-1 + 0)). Let y be 2/(-3) + c/3. Is y less than 1/4?
False
Let j(l) = 2*l - 3. Let o be j(8). Let n = o + -2. Suppose -c = 2*r + 6 - 0, 2*c + n = -3*r. Is -2 at most r?
True
Suppose 48 = z + 3*z + 5*d, 5*z - 60 = 2*d. Let m = z - 12. Is m < -1?
False
Suppose -5*p - 30 = 3*m - 0, 5*p + 40 = -5*m. Let q = p + 2. Let s = 0 + q. Is -2 < s?
True
Let n be (0 + (-3)/(-9))*9. Let p(l) = -l**3 + 3*l**2 - l + 3. Let f 