+ i. Let z be a(s). Is -1 != z?
True
Suppose 0 = -13*z + 16*z - 48. Suppose -2941 - 1203 = -z*v. Which is bigger: v or 260?
260
Let u(v) = 517*v + 5 - 261*v - 258*v. Let b be u(1). Let t = -17.3 + 16. Which is smaller: t or b?
t
Let c(s) = 7*s**2 - 70*s - 30. Let b be c(13). Is 238 at least b?
False
Let i(r) = -2*r**2 + 12*r + 3. Let l(t) = -t + 1. Let h(o) = -i(o) - 5*l(o). Let c be 4*1*56/32. Let d be h(c). Which is bigger: d or 40?
d
Suppose 3*q + q = 68. Suppose -20 = 4*c, -2*b + q - 3 = -2*c. Suppose 1 = -b*f - 3*s + 46, -4*s = -5*f + 55. Which is smaller: 16 or f?
f
Suppose 29 = -3*n + 2*k, 0 = 4*n - 0*k + 4*k + 12. Let y(l) = -l**2 + 8*l + 8. Let m be y(8). Let p = m + -17. Which is bigger: p or n?
n
Suppose -r - 1005 = 20*o - 21*o, -12 = 4*o. Which is smaller: r or -2?
r
Let u = -242020 + 1216542/5. Let k = u - 1296. Which is bigger: -7 or k?
-7
Let d = -195.0482 - 1.9518. Is -0.04 bigger than d?
True
Let m be (-36)/4 - (0 + 440/(-50)). Is m bigger than 13/21?
False
Let u(z) = -z**3 + z**2 + 1. Let v be u(0). Let w be (-8)/(-15)*(-752)/(-200) - 2. Are v and w equal?
False
Let u = -29006 - -29008. Let m be (-3)/(-2) - -1 - 1. Are m and u equal?
False
Let y be (268/(-6))/(6/18) - 1. Let w be ((y/6)/9)/((-1)/2). Suppose 4*i + 0*i = p + 3, -2*p - 6 = w*i. Is 2 less than i?
False
Let j = -48 - -66. Suppose -198 = 6*n - j. Let p be (-10)/4 + n/20. Do p and -3 have the same value?
False
Let l = 2/3727 - 70873/111810. Which is smaller: -1 or l?
-1
Let l = 217 + -228. Let g(q) = q**2 - 3*q - 6. Let u be g(l). Does u = 148?
True
Let b = -62 - -65. Suppose 4*z = 9*z + b*q + 9, 3*q = -9. Suppose -2*g - 17 + 15 = z. Is -4/43 bigger than g?
True
Let c be (2/15*492)/(16/40). Let i = -304 + c. Which is smaller: i or -279/2?
i
Let w be (-5)/2*(-4)/(-6). Let i = -578.0295 + 578. Let u = i + -0.1705. Is w at least u?
False
Suppose -8 = -13*c + 11*c. Suppose -c*t + 64 = 4*t. Suppose t*k - 798 = 27*k. Which is smaller: -40 or k?
k
Suppose 0*v = 3*v - 27. Suppose 4*z - 25 = v*z. Let x be 4 + 17/z - (-62)/5. Which is smaller: x or 11?
11
Let k = 206 + -137. Suppose 7*h - 10*h - k = 3*j, -2*j - 41 = -3*h. Which is smaller: -27 or j?
-27
Suppose 75*w - 468 = 23*w. Let x(b) = 5*b - 34. Let u(l) = -10*l + 67. Let h(s) = 3*u(s) + 7*x(s). Let g be h(w). Which is bigger: g or 12?
12
Let s(r) = -r**2 + 269*r - 1050. Let x be s(4). Let t = -3 - -11. Is x < t?
False
Let p(a) = 592*a + 3. Let n be p(1). Suppose 26*d + n = 19*d. Is d > -84?
False
Let g(v) = -v**3 + 2*v - 2. Let q(t) = 3*t**3 + 23*t**2 - 32*t - 92. Let c(a) = 2*g(a) + q(a). Let k be c(-24). Is k < 3/533?
True
Suppose -81*x + 80*x - p + 10 = 0, -9*x + 27 = 2*p. Let r(q) = 2*q**3 + 3*q**2 - 5*q + 4. Let v be r(3). Let d be -2 - v/(-22) - 1. Which is bigger: d or x?
x
Let o be 940/(-304) + 3 + (-4)/(-16). Let v(f) = -4*f + 20. Let g be v(5). Let p be 3*(g + (-6)/63). Is p less than or equal to o?
True
Let c = 1834.482 - 1838. Which is greater: c or 0?
0
Suppose 4*a - 2876 + 40776 = 4*h, 5*a = h - 47383. Is a <= -9479?
False
Let v = 619 - 29713/48. Let l be ((-342)/72 - -7)*60/135. Which is smaller: l or v?
v
Let a = 708 - 131689/186. Suppose -5*i = j - 9, 5*i + 2*j - 1 = 3*j. Which is bigger: a or i?
i
Let i be 235/(-10) - (-833)/(-238). Let o(l) = -l**3 - 5*l**2 + 6*l - 2. Let s be o(-5). Is s < i?
True
Let w = -216 + 216.226. Let p = -0.106 + w. Is p equal to 1/6?
False
Suppose 63*p + 52*p = 95*p - 60. Let l = 967/551 - 115/29. Which is smaller: l or p?
p
Let p = -1564.987 - -1564. Let s = p + 1.0236. Which is smaller: s or 1?
s
Let a(d) = -2*d**3 + 13*d**2 - 36*d + 167. Let s be a(6). Which is bigger: s or -313?
s
Let a = 6307 + 1943. Do 1 and a have the same value?
False
Let d be -2*1/(-2) - 0. Suppose 37 + 39 = 2*v + 3*r, -156 = -5*v + r. Which is smaller: d or v?
d
Let b be (-6)/36 + 2/(72/26295). Let c = b + -614. Let o = 116 - c. Which is greater: o or -0.14?
-0.14
Let u = 0.0211 - -0.0789. Is 720 not equal to u?
True
Let b be 12/70*4 + 2/(-5). Let y = 2564 + -2515.21. Let a = y + -0.79. Is a bigger than b?
True
Let m = -17379 - -17385. Let s = 604361/9 + -66984. Let a = 167 - s. Is a less than m?
True
Let n(v) = -2*v**2 + 79*v + 858. Let x be n(-9). Let k(i) = i**2 + 7*i. Let z be k(-5). Which is greater: z or x?
z
Let q(n) = n**2 + 21*n + 60. Let t be q(-13). Let g = -3 + 6. Suppose -g*z - 128 = a, 3*a = -3*z - 75 - 51. Is z at least as big as t?
True
Let o be (-3 - -2 - -24)/1. Let k(q) be the first derivative of q**4/4 - 3*q**3 + q**2/2 + 13*q + 49. Let i be k(9). Which is greater: i or o?
o
Let c = 198 + -72. Let n be ((-1)/3)/(6 + (-753)/c). Are -101/8 and n nonequal?
True
Let l be (1 - 1/5)/(34/510*-2). Are l and 40 unequal?
True
Let p = 5986 + -5988. Which is greater: 889 or p?
889
Let t = 14113 + -14250. Is 13 at most t?
False
Let w be (-49 - 3) + 3 - 1. Let v be (-2)/(-11) + (-608)/(-44) + -1. Let t = -13 + v. Are w and t equal?
False
Let v(x) = -x**3 + 10*x**2 - 21*x + 10. Let p be v(7). Suppose 7656 = 19*t + p*t. Is 264 != t?
False
Let f(u) = -u**3 - 3*u**2 + u + 6. Let d be f(-2). Let m be (d + 1)/(10/670). Let k = 15 + 52. Is k greater than m?
False
Let z = 3407 + -374773/110. Is -1 smaller than z?
True
Let o = -10 + 15. Let w = 1 - 2.12. Let x = w - -1.12. Which is smaller: x or o?
x
Suppose -25*u - 9*u = -13*u - 2478. Which is smaller: u or 823/7?
823/7
Suppose 0 = 8*l - 3*l - 15. Let r(s) = s**3 - 2 - l + 1 - 2*s. Let z be r(3). Which is smaller: z or 18?
z
Let j(d) = -d**3 - 158*d**2 + 183*d + 696. Let z be j(-159). Is z >= -3120?
True
Suppose -3*k - 4*p = -12, 8 = 6*k - 4*k + p. Let y be -4 - (k - 2)*-7. Let x be (7/(-5))/(9 - y). Which is smaller: x or 2?
x
Suppose 0 = -8*q + 13 - 37. Let v be 7*q/(-1638)*-8. Let b(l) = l**3. Let k be b(0). Does v = k?
False
Let a(f) be the third derivative of -5*f**4/24 + 53*f**3/3 + 16*f**2. Let w be a(21). Do w and 2/463 have the same value?
False
Let q = -35 - -39. Let i be (-1)/(q/(-6168)*3). Let x = i - 2552/5. Is x > 3?
True
Let c = -20 + 23. Let h(r) = r**3 - 3*r**2 + 5*r + 12. Let z be h(-5). Let s = -218 - z. Is s smaller than c?
True
Let h = -1116.3 - -1117.5. Is h greater than or equal to -50/11?
True
Suppose -j = -5*y + 33, -y + 3*j - 27 = -4*y. Let z(p) = 7*p - 5. Let l be z(y). Does 45 = l?
False
Suppose 4 = -2*t + w + 5, -2*t + 5*w - 3 = 0. Suppose 5*j + 3097 = 3*l - 2*l, 5*j - 9351 = -3*l. Let r = 647297/208 - l. Is r > t?
False
Suppose -5*c = -2*m - 83 + 9, 3*c - 38 = -2*m. Let d(p) = 4*p - 36. Let f be d(c). Is f less than or equal to 18?
False
Let u be ((-1349)/71)/(2/4 - 1). Which is greater: u or 54?
54
Let z = 5.53 + -6.53. Let y = 2.1 - 2.86. Let s = y + -0.04. Which is smaller: z or s?
z
Let l be (-2)/14 + (-8205)/(-105). Suppose -l + 15 = -21*c. Do -12 and c have different values?
True
Suppose -3*x = -2*x - 52. Suppose 0 = -83*g + 78*g - 50. Let v be (((-400)/(-15))/g)/((-4)/78). Does x = v?
True
Let o = 1/11069 + 21777/3995909. Let q = -333/5054 - o. Is 0.04 <= q?
False
Suppose -41*f + 43*f = -4*n + 3726, -n = -f - 936. Is n at most 932?
False
Let c = 0.0788 - -36.0212. Let h = c + -36.1. Which is greater: -339 or h?
h
Let t(c) be the third derivative of c**4/24 + c**3/2 + 17*c**2. Suppose 3 + 12 = -5*j, 2*m - j = -5. Let d be t(m). Is d < 0.5?
True
Let s(a) = a**3 - 2*a**2 + 9*a - 11. Let v(c) = -c**2 - 20*c + 48. Let h be v(-22). Let u be s(h). Let l = 97 + -41. Are l and u nonequal?
True
Suppose 2*d = 4*d + 13*d. Which is smaller: d or 1/3094?
d
Let j be (-38)/(-114) - 42/297*3. Which is smaller: j or -54?
-54
Let j(l) = -l**3 - l**2 + l + 52. Let r be j(0). Suppose 5*y = -2*h + 250, 5*y - h = 104 + 131. Suppose -r*b - 232 = -y*b. Is -58 less than or equal to b?
True
Let q = -10104 - -10260. Which is smaller: q or 2351/15?
q
Let a(g) = 2*g**2 - 18*g + 40. Let p be a(5). Let r = -7.81 + 4.35. Is r at most as big as p?
True
Let x = -51068/59241 + 169/196. Which is smaller: -1 or x?
-1
Let t(k) = -k**2 - 14*k - 54. Let z be t(-21). Let s = z + 201. Let c = -2/493 - -733/59160. Which is smaller: s or c?
s
Suppose 4*t - 32 = -28. Let i = 474 - 3301/7. Are i and t nonequal?
True
Suppose o = 53 - 50. Suppose -h = -3, q + 2*h = -o*q + 10. Is -2/105 at most q?
True
Suppose -2739 = 6*k + 23*k - 18*k. Is 6/7 smaller than k