 i(13). Is -9 not equal to z?
True
Let n(i) = 2 - 3*i - 2*i + 6*i. Let v be ((-3)/2)/((-9)/54). Let l be n(v). Is l at most as big as 11?
True
Let h be 1 + (-10)/(-15)*255. Which is greater: -0.2 or h?
h
Suppose 0 = -2*n - 3*r - 721 - 96, 4*n - r = -1655. Which is greater: n or -415?
n
Let g be (39/1573)/(-4 - -6). Does g = 1?
False
Let s = 295.3 - 295. Is 0.48 bigger than s?
True
Suppose -5*j + n + 3 = -9, 3*j - 4 = -n. Do j and 26/11 have the same value?
False
Let m(x) = x**2 + 9*x + 4. Let z be m(-9). Let c = 12 - 5. Which is greater: z or c?
c
Let v be 3/(-7) + 18/(-7). Suppose 2 = -7*u + 6*u. Which is greater: v or u?
u
Let u be 23/69 + (-2)/12. Let a(x) = x**3 - x**2 - 2*x - 1. Let s be a(2). Is s at least u?
False
Suppose 20 = 4*k - 6*k. Let g(j) be the first derivative of j**3/3 - 7*j**2/2 - 4*j + 6. Let w be g(6). Does k = w?
True
Let d = 1081 + -1076. Is d less than or equal to -2/73?
False
Let g = 19 - 14. Let z be (-6)/(-2) + 5/g. Suppose -z*x = x + 5. Is x >= 5?
False
Let j = 1059 - 1058.9343. Is 0.2 bigger than j?
True
Let r = 23 + -8. Suppose -2*m + r = -13. Suppose 4*d + m - 6 = 0. Which is smaller: -6/11 or d?
d
Let m = -19/2 + 37/4. Let b(z) = 5*z**2 + 4*z - 1. Let p be b(-4). Let f be 2/(-7) - (-81)/p. Is m > f?
False
Let g(v) = 8*v**2 + 3*v. Let b be g(2). Let s = b + -39. Is 58 >= s?
True
Suppose 52 = 18*d - 5*d. Suppose -9 = -3*z + d*u, -5*z = 5*u - 0*u - 50. Does z = 7?
True
Let h = 0.3 + -0.5. Suppose 3*x + 6 - 18 = 0. Suppose -1 + 29 = -x*m. Is m less than or equal to h?
True
Let n = 283 + -283.153. Let b = 19.353 + n. Let l = 20 - b. Is l at least 1?
False
Let p = -447 + 432. Suppose 43 = -3*c - 8. Which is smaller: c or p?
c
Let w = -189 + 206. Which is smaller: 1/4 or w?
1/4
Let t be 4/(-12)*1*6. Let i be t/(-6) - (-6)/((-324)/(-9)). Which is bigger: i or -5/2?
i
Suppose 4*l - 198 = -202. Let o be (-2)/(-8) - (-59)/(-284). Is l greater than o?
False
Let g = -1 - -4. Suppose g*w + 15 = -4*o + o, -3*o = -3*w + 15. Let n = 6418/11 + -584. Which is bigger: w or n?
w
Suppose 5*i - 3 - 37 = 0. Suppose -4*j - i = -8*j. Suppose 0 = 6*z - j*z - 12. Which is smaller: z or 5?
z
Let l(n) = -n**2 + 16*n + 9. Let q be l(17). Let v = -10 - q. Which is smaller: -5 or v?
-5
Suppose -49 = -14*x + 133. Which is greater: x or 51/4?
x
Let o = 0.4 + -0.1. Let d = -7.1 + 1.1. Let t = d + 6.2. Is o greater than or equal to t?
True
Let r = 0.8 + 0.2. Let p = -93.1 - -89. Let j = p - -1.1. Which is bigger: j or r?
r
Let l(q) = -9*q**3 - 4*q**2 - 11*q - 2. Let k be l(-2). Is -3/5 greater than k?
False
Suppose -b = 4*u - 8, 2*u + b - 2 = -0. Suppose -3*o + 4*w + w = -15, 2*o - u*w = 9. Which is smaller: -0.8 or o?
-0.8
Let r be (3/(-1))/(-2 + 75/20). Is r greater than or equal to -2?
True
Let a = -27.59 - -27.69. Let t = -0.07 + 0.67. Which is smaller: t or a?
a
Let f = 4 - -1. Suppose -f*u = -0 + 5. Let b be 15/21 - (0 - u). Which is smaller: b or 0?
b
Suppose -3*c + 1 - 4 = 0, -4*c - 904 = 5*x. Let j = x + 102. Are -79 and j unequal?
True
Let h be ((-46)/(-6))/((-8)/(-240)*10). Are 24 and h nonequal?
True
Let a be 16/(-40) - (-17)/5. Suppose -2*n + a*v + 7 = 0, -3*v + 2*v = 1. Suppose -r - 5 = -3*p, -10 = -p + n*r - 0*r. Is 0 bigger than p?
False
Let b = -161 + 163. Is b at least as big as 10?
False
Suppose -3*i = -2*a + 18, -a - a + 4*i + 20 = 0. Is 10 at least a?
True
Suppose -58*i + 21 = 137. Is i less than or equal to -68/21?
False
Let z be 2/6*(0 - 1). Suppose o - 2*a - 4 + 0 = 0, 0 = -2*o + a - 1. Let n be (-5)/(20/8) - o. Which is smaller: z or n?
z
Let j = 12/59 + 58/295. Are -6.5 and j unequal?
True
Let o = -10 + -9. Let y = o + 21. Let u = 23 + -13. Which is bigger: y or u?
u
Let c = -4508 + 6546. Is c less than or equal to 2039?
True
Suppose 28*f = -0 - 84. Which is bigger: f or 1?
1
Let z be (1 - 20/16)*-8. Suppose 4*n - 2*m = 0, 2*n = -3*m + z*m. Which is smaller: n or -3/4?
-3/4
Let a(c) = -2*c**3 - c**2 + 3*c - 1. Let l be a(2). Let v(k) = k**3 + 15*k**2 + 13. Let d be v(l). Suppose -d = -2*g + 1. Which is greater: g or 6?
g
Let v = 1188 - 186514/157. Is -1 < v?
True
Suppose 4*k - 6 = -2*r, 4*r - 2*r - 4*k + 18 = 0. Suppose 3*t - 2*t = 7. Suppose 2*n - 15 = t*n. Is r less than or equal to n?
True
Let z = 39 - 20. Let q = z - 16. Suppose i + 0*i = 3*x + 1, 0 = 4*x + 2*i - 12. Is x bigger than q?
False
Let l(n) = -10*n - 8. Let b be l(-1). Let o(k) = 2*k + 6. Let x(p) = -p - 11. Let a be x(-8). Let y be o(a). Which is bigger: b or y?
b
Let y(x) = -x**3 - 5*x**2 - 6*x. Let j be y(-3). Suppose 3 = -2*w + q + 5, 3*w + 5*q + 23 = j. Which is bigger: w or -1/4?
-1/4
Let p = -2 - -1. Suppose i = 3 + 2, -4*n - 33 = -5*i. Is n < p?
True
Let v = 3 - -4. Let y = 6 - v. Are 5 and y nonequal?
True
Suppose 2*m + 3*d = -d - 26, 3*m + 29 = -d. Let l = 40/301 + -13444/1505. Which is smaller: l or m?
m
Let a(o) = 7*o + 23. Let i(g) = 15*g + 47. Let n(b) = 11*a(b) - 6*i(b). Let y be n(-5). Is y equal to 36?
True
Let r be -2*((-18)/(-4) + 1). Let u(i) = -i**3 + 2*i**2 + i + 1. Let m be u(2). Suppose m*n = -k - 35, 4*k - 24 = 5*n + 23. Are n and r unequal?
False
Let u = -0.163 - 0.047. Let z = -2.01 - u. Which is smaller: z or -2/3?
z
Let l = -0.074 + 0.009. Let n = l - -25.065. Let w(o) = -o - 2. Let g be w(-3). Is g less than or equal to n?
True
Let a = -307.63 - -307. Which is smaller: 1/5 or a?
a
Let f be (-7 - -3)/(-2) - 1. Is f at least 99?
False
Let f(c) = -55*c + 1. Let k be f(-1). Suppose 2*n - 43 = -2*q - 1, 3*q = 4*n - k. Let h = n + -14. Is h at most as big as 3?
True
Let p be (-5 + (1 - 0))*(-154)/(-28). Is 0 < p?
False
Let b be (336/(-200))/(-2 + 16/10). Which is bigger: 4 or b?
b
Let q = -2 - -6. Suppose 0 = 51*n - 40*n - 44. Suppose a - n*z + 14 = -3, 0 = 4*a - q*z + 20. Which is greater: a or 2/57?
2/57
Suppose 0 = 82*i - 99*i. Which is smaller: i or 12/175?
i
Let o = 368 + -367. Which is smaller: o or -2/425?
-2/425
Let p = 176.9 + -177. Which is greater: 1/40 or p?
1/40
Let f = 2/85 + -188/765. Which is greater: f or 6/17?
6/17
Let l be 2*2/(-8) + (-455)/(-10). Let t = 14188/3 - 4684. Let u = t - l. Which is bigger: -1 or u?
u
Let s be 5 + ((-20293)/1449 - -9). Which is smaller: s or -1?
-1
Let f be (-1)/1 - (-5)/(-5). Let u be 2 + -5 + f + 3. Suppose -2*i - 4*n = 2, 3 = -3*i + 3*n - 0*n. Do u and i have the same value?
False
Let y(k) = -k**3 - 3*k**2 + 6*k + 4. Let m be y(-5). Suppose 2*d - m = 5*g, 0 = 3*g + 5*d + 3 - 1. Let u be -3 + (10/(-4) - g). Which is smaller: 2 or u?
u
Let v(p) = p**3 - 2*p**2 + p. Let o(u) = -u**2 - 5*u - 4. Let f be o(-3). Let t be v(f). Suppose -t = y - 3. Is y at most as big as 2?
True
Suppose 0 = 2*i + 24 - 4. Let p be 80/(-198) - i/45. Suppose b - 4 = -3*b. Which is bigger: b or p?
b
Let f = -23 - -2. Let j = f - -21. Let y = 97 + -680/7. Is y at most as big as j?
True
Suppose 4*o = -d - 21, -3*d - 3*o = -6*o + 18. Let h be (8/(-20))/((-1)/20). Suppose 3*q - 7 = h, 4*u + 57 = 5*q. Is d at least u?
False
Let b = -611 - -1831/3. Which is bigger: 3/22 or b?
3/22
Let c(h) = 1 - h**2 + 2*h**2 + 2*h**2 - 2*h**2. Let y be c(-2). Suppose -y*d + 5 - 70 = 0. Is d at most -13?
True
Let t = 170 - 170.042. Is t greater than -0.06?
True
Let b = -30.3 + 30. Let g = 4.89 - 3.29. Are b and g non-equal?
True
Let p = 20 - 18. Suppose 78 = 3*v - 51. Let b = v - 125/3. Do b and p have the same value?
False
Let m = -18305/1082561 + 2/5981. Is -1 <= m?
True
Let x be (-1 + 2)*(-62)/8. Let c(q) = -2*q**2 + 14*q - 32. Let p be c(4). Which is smaller: p or x?
p
Suppose -b - b - 2*p + 8 = 0, 0 = p + 1. Suppose -b*q - 14 = -44. Which is greater: 13/2 or q?
13/2
Suppose r - 6*c = -2*c - 10, -15 = -3*c. Let n be (-1)/r*(-4)/(-22). Is -1 < n?
True
Let i = 1752 + -1610. Which is greater: i or 144?
144
Let m = -9 - -8.99. Let t = m + 0.01. Let k = -0.07 + 0. Which is bigger: t or k?
t
Suppose -5*f + 10*f + 85 = 0. Let n = -21 - f. Let q be -2*(-1 + 5/2). Is n greater than or equal to q?
False
Let p = -14.41 + 14. Let t = 1.69 - p. Let q = t - -2.9. Which is smaller: q or 0.1?
0.1
Let h be (0 + -6 - -6)/2. Which is greater: 27 or h?
27
Let j(u) = -u - 2. Let r be j(-2). Let f = 22/31 - 1536/2077. Which is smaller: f or r?
f
Let l = 128/1269 + -3/47. Is l < 1?
True
Let v(y) = y**3 - 29*y**2 - y + 36. Let o be v(29). Which is bi