. Let q(p) = 3*p + 11. Let d(z) = -2*i(z) - 5*q(z). Let c be d(-10). Let y = 4 + c. Are 2 and y equal?
False
Suppose -4*y - 12 + 1 = 5*w, 0 = 5*y + 2*w + 1. Let h be (-1 + y)/(7 + -8). Are h and 1 equal?
False
Let u be 1134/(-8) - 7/28. Let k be ((-4482)/(-21))/((-6)/(-4)). Let n = k + u. Is -1 not equal to n?
True
Let u = 0.14 - 1.14. Which is bigger: u or 0?
0
Let j be 66/(-13) - 0/2. Let w be (-1 - (-690)/(-182)) + 0. Let t = w - j. Which is bigger: -1 or t?
t
Let g be 0/(2 + 0 + 0). Let t(s) = -s**3 + 7*s**2 + 9*s - 5. Let n be t(8). Let x = -3 + n. Are g and x non-equal?
False
Let w = 0.08 + 7.42. Let p = 0.5 + w. Let y = 6 - p. Is 0.3 less than or equal to y?
False
Suppose -4 = 2*o - 8. Suppose 0 = -v + o. Let g be ((-6)/(-88))/(6/48). Which is bigger: v or g?
v
Let z(i) = -i**3 - 2*i**2 + 5*i + 5. Let k be z(-4). Suppose -k = 5*n + 2*t, 2*n = 2*t - 0 - 4. Do n and -4 have different values?
True
Suppose 3*m = 2*t + 6*m + 56, 48 = -2*t - m. Let n = t + 20. Suppose 3*x = 3, -w - 4 = -4*x - 0. Which is bigger: n or w?
w
Let p = 1416.842 + -1421. Let u = -0.058 - p. Let z = -4 + u. Is -1/2 > z?
False
Let c(j) = 2*j + 10. Let k be c(-4). Are k and 0 equal?
False
Let o = 266/5 - 53. Let u = 17 - 8. Let r = u + -9. Which is greater: r or o?
o
Suppose -4*m + 14*m - 90 = 0. Which is smaller: m or 39/4?
m
Let i(x) = -11*x - 6. Let g be i(-2). Which is bigger: 2/9 or g?
g
Let y = -0.7 - -0.47. Let c = 0.03 + y. Which is smaller: c or -2?
-2
Let b = 4.5 + -4.4. Which is smaller: 37 or b?
b
Let n be ((-10)/12)/1 + 1. Which is smaller: -1 or n?
-1
Suppose 2*r = -4*n - 20, -4*r = 4*n - n + 15. Let s = 12/7 + -3/14. Which is smaller: s or r?
r
Let p be 9/(-18) + -2*6/(-8). Which is smaller: -1/12 or p?
-1/12
Let u = -404/9 + 45. Is u not equal to 0?
True
Let u(h) = -h**3 + 3*h**2 + 1. Let n be u(2). Let t = n + -3. Is t at most 2/9?
False
Suppose -4*x + 3*x + 12 = 4*p, 0 = -4*x - p + 3. Let c be -4 - (5 - (2 + x)). Which is greater: -8 or c?
c
Let d(u) = 5 - 3*u - 2*u - 3 + 0*u**2 + u**2. Let b be d(4). Do b and -2 have different values?
False
Let y = 16.6 + -15. Let r = 0.6 - y. Is -0.2 != r?
True
Let o(a) = a + 6. Let d(t) = t**3 - 6*t**2 - 9*t + 8. Let q be d(7). Let p be o(q). Suppose -3*h + r - 4 = 2*h, 3*r - 2 = 5*h. Which is greater: h or p?
p
Let p = -4 + 5. Suppose -w - 12 = -3*w. Suppose 7 = -4*s + 7*s + 4*l, -w = -s - 5*l. Is p smaller than s?
False
Let i = 1.05 - 0.05. Let q(b) be the second derivative of -b**4/12 + b**3/6 + b**2 + b. Let x be q(2). Which is bigger: x or i?
i
Let b = -0.07 + -5.93. Let c = -5 - b. Let s be 9/7 + 3 + -4. Is s bigger than c?
False
Let i be -3 - (0 - 0) - (-2540)/844. Are 0 and i unequal?
True
Let s be 0 - (-2 - 2781/(-111)). Let f = -23 - s. Let q = f - -60/259. Which is greater: 0 or q?
q
Let j = 2.88 + -3. Which is greater: j or 0.1?
0.1
Suppose -2*b + b = 0. Suppose -2*x - 1 + 2 = -3*v, x = 3*v - 1. Suppose -x*a = -0*a. Is b smaller than a?
False
Let o(a) = 2*a**3 - 3*a**2 + a - 2. Let n be o(2). Suppose -5*u = -0*u + 2*z - 8, -4*z = -n*u - 16. Which is smaller: u or -1/9?
-1/9
Suppose c + 1 = 2*v + 6, 5 = 4*v + 3*c. Which is greater: 0 or v?
0
Let f = -4 - -4. Let b be (-7)/(f - 1/(-2)). Let s be 10/(-14) - (-4)/b. Does s = 0?
False
Let x(q) = q**3 + 10*q**2 + 8*q - 5. Let p be x(-9). Let g = 3 - 3.2. Is p < g?
False
Suppose 3*s + 5*o = 32, -1 = 5*s - 4*o - 5. Suppose -2 = -s*m + 2. Let p be 3/6*m*4. Is 4/3 greater than or equal to p?
False
Let o = -60/13 - -733/156. Are -1 and o equal?
False
Let c be 46*4/(-56) + (1 - -2). Is c not equal to -3/4?
True
Let p be 2/3 - 2/3. Let g = -6 + 5. Which is smaller: g or p?
g
Let a = -12 + 18. Let r = a - 0. Let u be (1 + 0)/(r/(-4)). Is 0 < u?
False
Let q(t) = t**3 - 9*t**2 - 10*t - 1. Let y be q(10). Let h = 11 + 83. Let v = -844/9 + h. Are v and y unequal?
True
Let c(i) = 8*i + 4. Let u be c(3). Is u > 28?
False
Let a be (-18)/30 - 1202/(-1970). Which is bigger: a or 0?
a
Suppose -5*d = -3*q - 4, 2*q - 2 = 5*d - 8. Which is smaller: q or 6?
q
Let h = 11 + -6. Let z = h - 1. Let j = -4 - -7. Which is smaller: z or j?
j
Suppose 7*t - 4 = 3. Is t greater than or equal to -11?
True
Let r be 8/(-3)*(-3)/4. Suppose r*d - 2 = -16. Let u = -4 - d. Which is bigger: 4 or u?
4
Suppose 0 = 6*x - 3*x - 5*g + 20, 4*g - 2 = x. Let t = x + 8. Which is smaller: 2 or t?
t
Let v = -4546/9 - -506. Is v at least as big as 1?
False
Let j = -215 + 644/3. Let u be (-4)/10 - 6/(-15). Which is smaller: u or j?
j
Let b = 5 + -6. Which is smaller: -3 or b?
-3
Let x = -2 - -4. Suppose -x = 5*q + 3*s, 2*q = 4*s - 2*s - 4. Let t = -6/7 - -16/35. Is t greater than or equal to q?
True
Let h be (-2)/(-9) + (-20)/9. Let x = 3 + -5. Let q be ((-1)/h)/(x/4). Is -1/5 at least q?
True
Let d(c) = -c**2 - 2*c + 4. Let o be d(-3). Let b be (-6)/(-9)*1/2. Which is greater: o or b?
o
Let i be 188/(-18) - 32/(-72). Which is greater: i or -15?
i
Let n = 5 - 8. Let g = n - -3.4. Let p = 0.3 - g. Do -6 and p have different values?
True
Suppose 2*m - 50 = -42. Let y(q) = q**2 - q. Let x be y(-3). Suppose m*v = 2*v + x. Do v and 6 have different values?
False
Let a(g) = g**3 - 9*g**2 + 9*g - 9. Let c be 1*((-3 - -9) + 2). Let b be a(c). Let o = -1 + 0. Is b > o?
False
Let j = -0.03 - 0.07. Let i be (-15)/16*(-12)/18. Is i greater than j?
True
Let a = -4 - -3. Let c = 3 + 3. Suppose c = -6*r + 4*r. Which is bigger: a or r?
a
Let a(f) = 3*f - 16. Let k be a(4). Suppose -2*m - 3*r + 4 = 9, -3*m + 3*r - 15 = 0. Is k < m?
False
Let x be (-402)/4*16/120. Is -12 at most as big as x?
False
Let b be (-10)/32 + 1/4. Suppose 4*f = 3*r - 19, 0 = -4*f - r - 0 + 1. Which is smaller: b or f?
f
Let w = -0.118 + 0.018. Is -10 >= w?
False
Suppose 2*x = 5*r - 6, 2*x - 15 = -r + 7*x. Let j = 11 - 6. Suppose -4*v = g + j, -v + 5*v = -4*g - 8. Which is smaller: v or r?
v
Let a(b) be the third derivative of b**4/24 - 5*b**3/6 + 3*b**2. Let w be a(4). Is w smaller than 1/7?
True
Let m = -24 - -28. Let x = -5 + 8. Suppose -2*j + j + x*b = -11, 0 = -3*j + 4*b + 23. Which is greater: j or m?
j
Suppose -2*a = -3*a + 3. Let z be 35/10 + a/(-2). Is z >= 4?
False
Let m = 2183/12 + -182. Let c(y) = y**3 - 8*y**2 + y - 7. Let v be c(8). Is m >= v?
False
Suppose -2*w + 14 = -w - 5*n, 16 = 3*w - 2*n. Let u = 1 - w. Let r(o) = o**2 - 7*o - 20. Let f be r(9). Which is smaller: f or u?
u
Let j = 10 - 2. Suppose -5*m + m + j = 0. Is 2 smaller than m?
False
Suppose -3*h - m + 0*m - 25 = 0, 0 = h + 5*m - 1. Let u be 6/h*6/5. Are -2 and u non-equal?
True
Let n be (-26)/(-13) + 72/(-34). Which is bigger: n or -1?
n
Suppose 0 = 2*n + 3*n + 40. Let p be 35/36 + 6/n. Which is smaller: p or 1?
p
Let w be 2/7 - (-18)/(-14). Is w greater than or equal to -1?
True
Let j = -3.8188 - 0.0712. Let n = 0.11 - j. Is 1/4 != n?
True
Let m(t) = t**2 - 4*t. Let b be m(4). Let a be (-49)/(-4) - 3/12. Let g be a/(-9) + 1 + -1. Are b and g equal?
False
Let k(l) = l**3 + 0*l**3 - 3 - 7*l**2 + 5*l + 6 + 5. Let t be k(6). Let n be (-1)/1 - (2 + -4). Which is smaller: t or n?
n
Let s = -39 + 39.1. Let v = -2935/11 - -267. Which is bigger: v or s?
v
Let d = -23 + 12. Let q = d - -23/2. Is q smaller than 0?
False
Let y = -70 - -61. Is y <= -9?
True
Let i = 38 + -33. Is i less than 3?
False
Let g = 26.05 + -24. Let p = g + -0.05. Let a = 3 - p. Which is smaller: a or 1/2?
1/2
Let s be (2/6)/(2/12). Let f(y) = y**3 - y**2 - 1. Let v be f(2). Suppose -s*w - 25 = v*w. Is -1/4 at most w?
False
Let w = -12895/6 + 2137. Let z = -1219/120 - 27/40. Let h = w - z. Does -1 = h?
False
Let a = 173/480 + -3/32. Let u = 2/5 + a. Which is smaller: u or 1/11?
1/11
Let a = -572/5 - -116. Is -3 greater than a?
False
Let h(m) = -m**3 - 10*m**2 - 19*m + 4. Let b be h(-8). Is b <= 25?
False
Let a be 84*(-4)/(-36)*6. Is 57 less than a?
False
Let x = -15/4 - -4. Is x greater than -1?
True
Let r be (0 - 0) + (-13)/26. Which is bigger: -4 or r?
r
Let z be ((-1)/9)/((-876)/5877). Let r = z + 1/219. Is 1/4 bigger than r?
False
Let a = -5/26 - -33/104. Let n = 13 + -13. Which is bigger: n or a?
a
Suppose -q = -5*b - 0*b + 15, 0 = -2*q - 4*b + 12. Is 2/5 not equal to q?
True
Let h = -7 - -16. Let s = -4 - -2. Let r be s/h + (-14)/18. Which is smaller: r or -1/2?
r
Suppose -17 = -7*b + 6*b. Suppose -2*y - 