not equal to z?
True
Let z = -4482.67 - -4503. Let n = 20.2 - z. Which is greater: n or -3?
n
Let m = 3443 + -24135/7. Let j = 68 + -74. Does m = j?
False
Let x = -17 - 20. Let a = 108 - x. Is 0 > a?
False
Let w be 290/(-294) - (-2)/2. Let r(p) = -p**3 - 27*p**2 + 58*p + 11. Let n be r(-29). Suppose -n*t - 3*i + 8 = -9*t, -4*i = 2*t - 10. Is w equal to t?
False
Let i be 240/405*(-12)/(-32). Are i and 2/165 equal?
False
Suppose -31*t = -0*t + 1860. Let g(m) = 2*m - 17. Let d be g(-22). Which is bigger: t or d?
t
Let l = -2762.13 + 2762. Which is smaller: l or 10.8?
l
Suppose h + 216 = 215. Which is greater: 9/224 or h?
9/224
Let t be (-9)/((-2052)/8)*-6. Let y = 2159566/7791045 - -1/136685. Let c = t + y. Which is smaller: c or -1?
-1
Let c = -8087/12558 + 1/897. Let j = c - 227/28. Let i = -1 - 7. Is i less than or equal to j?
False
Let i(n) = -6*n + 41. Let l be i(7). Let y be (6 - 7)/(l + 0). Suppose 0 = -3*j - 5*s + 8*s - 84, -4*j + s = 103. Are y and j equal?
False
Let f(b) = 21*b**3 + 7*b**2 - 36*b**3 + 42 - 8*b + 14*b**3. Let k be f(5). Are k and 51 nonequal?
True
Let c be -381 + (5 - 117/9). Let k = c + 393. Which is bigger: k or 6?
6
Let f(p) = p**2 + 318*p - 184. Let s be f(-160). Which is smaller: s or -25463?
s
Let w = 3/305 - -17321/37515. Are w and -1 equal?
False
Let q = -1200 + 1191.47. Let j = q + 9.13. Do 30 and j have different values?
True
Let a = 2 + 1. Suppose 0 = -4*g + p + 76, 0 = -0*g - a*g - 5*p + 57. Suppose -g*j + 6 = -17*j. Which is greater: 12 or j?
12
Let i = -13137 + 13137. Which is bigger: -2/42201 or i?
i
Suppose -2*k - 14 + 37 = 17. Suppose -5*t = -m - 25, 5*m + 59 = 3*t - 0*t. Let c = 11 + m. Are c and k equal?
False
Let u = 13 - 24. Let g = -12 - -3. Which is greater: u or g?
g
Let c(s) = -s**3 + 15*s**2 - 27*s + 15. Let r be c(13). Suppose 0 = -n + r. Suppose -n*h = -5*h + 24. Which is smaller: 11 or h?
h
Let s = 204489 - 349062733/1707. Which is bigger: 1 or s?
1
Suppose 0 = 8*d - 321 + 81. Let k be ((-2)/6)/((-11)/2871). Suppose -4*y + k = -y. Which is smaller: y or d?
y
Let s = -7204 - -7203.9. Is -901 smaller than s?
True
Suppose -3*r = 3*j - 2*j - 1529, r = j + 515. Let l = r - 558. Which is smaller: -43 or l?
l
Let l(n) = n**3 - 133*n**2 - 672*n - 2493. Let f be l(138). Let q = -6.4 - -6. Let b = 3.4 + q. Which is greater: f or b?
b
Let o be -7 + -4 + 14 + -320. Let r = -317 - o. Let v = 2 - 3. Are v and r non-equal?
True
Let b = 406.984 + -407. Let q = b + 2.016. Are q and 1.5 non-equal?
True
Suppose 5*v - 30*v - 24373 = 163877. Which is bigger: v or -7529?
-7529
Let o = -345689348/2271555 + -2/206505. Is o greater than -152?
False
Let v = 41633 + -83269. Let w be (2*21/v)/(6/8). Which is smaller: w or 1?
w
Let q = 0.0044 + 80.4956. Let d = -80.4441 + q. Is d greater than 0?
True
Let h(n) = 9*n**2 + n + 2. Let c be h(-2). Suppose -c + 16 = 4*i. Let u be (i/(-25))/(1/10). Is 11/7 at most u?
True
Suppose -4*u + 42 = -2*t, -5*t - 1091*u = -1094*u + 133. Let x(g) = -8*g + 1. Let h be x(4). Is t not equal to h?
True
Let c be -3 - (-1 + 1 - -2). Let m be 36/30 - 4/c. Suppose -3*u = 4*a - 87, 0*a = m*a + 4*u - 46. Is a at most 0.1?
False
Let i be (7 - -22) + 5/(1 + -2). Let l be (i/380)/(8/30*2). Which is smaller: 0 or l?
0
Let s = 39485.077 + -39521. Let g = -0.077 + s. Let c = -37 - g. Is -0.06 greater than or equal to c?
True
Let m = -3328 - -4356. Is m <= 1027?
False
Suppose -2*a + 3*m + 75 = 0, 0 = -6*m + m - 15. Let y be (a/(-55) + (-42)/(-20))*-2. Let j = -4 - -3.97. Which is smaller: j or y?
y
Let w(a) be the third derivative of -2*a**4 - 5*a**3/3 - 26*a**2. Let g be w(-3). Is g < 133?
False
Suppose -3*o + 6*o + 18 = 0. Let h be 16/24 + 2/o. Let r = -2.6 - 0.4. Is r >= h?
False
Let b = 293 - 144. Suppose 4*k - 15 = b. Is 42 greater than or equal to k?
True
Suppose 72*s = 3613 + 9591 + 1916. Which is smaller: s or 212?
s
Let n = -1595 - -1496. Is -76 >= n?
True
Let f(j) = 22*j + 273. Let w be f(-12). Are w and 137/5 non-equal?
True
Suppose -5*s = -0*s. Let k(u) = 4 + 7*u**2 + 0*u + 2 - u - 9*u**2 + 3*u**2. Let c be k(s). Are c and 6 non-equal?
False
Let j = -229 - -372. Let v = j - 40. Which is smaller: v or 0.1?
0.1
Let r(v) = -16*v**2 - 38*v - 116. Let g be r(-4). Are -214 and g nonequal?
True
Suppose 0 = 3*x + 5*l - 22 - 57, 0 = 2*x - l - 70. Suppose 0 = -21*t + x*t - 1020. Which is smaller: 84 or t?
84
Let z = -8012 - -8106. Which is smaller: -9 or z?
-9
Suppose 29746 = 72*v - 27638. Which is greater: 799 or v?
799
Let o(u) = -u**2 + 7*u + 2. Let m be o(7). Suppose 5*p - f = -13, 3*p + 0*p + m*f = -13. Are 4/11 and p nonequal?
True
Let i be 14/4*2 + (-25 - -30) + -8. Which is greater: i or 11/4?
i
Let p be (-3)/(-6)*18*1. Let u be (-7)/p*12/(-2562). Do u and 0 have different values?
True
Let x = 20 + 1. Let y be 32 - ((-4 - 0) + 5). Suppose 0 = 8*z - y*z + 483. Is x at least as big as z?
True
Let n = -450792222223681/10542924 - -726882578/17. Let c = n - -7/963. Which is smaller: c or 0?
0
Let u(i) = -i**3 - 31*i**2 - 5*i + 45. Let a be u(0). Do 160 and a have the same value?
False
Let k be (5 + -4)*0/2. Suppose 7*c + 1 = 22. Suppose -c*d + d - 2 = k. Is d >= -1/9?
False
Let t = 0.4 - 0.3. Let v(a) = a**2 - 16*a + 40. Let p = -181 - -196. Let b be v(p). Which is greater: b or t?
b
Let h(g) = -39*g + 625. Let u be h(16). Is u > 903?
False
Let a be 21697353/13268 - (-4)/(-62). Let q = -1619 + a. Let l be (20 - 0)*4/5. Is q smaller than l?
False
Suppose 3*h = -4*h + 651. Let k = h + -94. Is -7/12 <= k?
False
Let l = 0.137 + -0.095. Let t = 0.858 + l. Which is smaller: 2/25 or t?
2/25
Let k = -1876 + 1875.9. Which is greater: -104 or k?
k
Let u = -165506/9 - -18860. Are 470 and u equal?
False
Let j = 379 - 406. Let c be 1*(-11 + 7) - (0 + 21). Which is bigger: j or c?
c
Let c be 163/489 - (-1 - (-1442)/6). Let v = -252 - c. Do 0.3 and v have different values?
True
Let s(g) = -125*g**3 + 2*g**2 + g. Let t be s(-1). Let p = 128 - t. Let z be (-1)/6 + (-111)/(-126). Which is greater: z or p?
p
Let p = -232 - -162. Suppose -12*w + 17*w = 35. Suppose -6*o + w*o + 4*q = -74, -4*o - q = 281. Do o and p have the same value?
True
Let u = 2269 + 476. Which is greater: 2746 or u?
2746
Let m be 17196/(-6)*14/(-21). Let d = -1917 + m. Let f = 1 - 7. Is d <= f?
True
Let s = 169 - 186. Let b = 6 + -23. Is b smaller than s?
False
Let u = 1.713 + -1.6. Let y = -0.126 + u. Which is bigger: y or 0.1?
0.1
Let t(l) = -l**3 + 6*l**2 - 4*l + 3. Let z be t(2). Let p(s) = 4*s**2 - 7*s - 52. Let y be p(5). Does y = z?
False
Suppose -3*d = 2*j + 3, 4*j = -5*d - 5 - 0. Let f = 114.8 + -106. Let k = -0.2 - f. Which is bigger: d or k?
d
Suppose 80*i = 75*i + 1230. Let t be 0 + 3/(-6)*i/(-3). Suppose -5*h - 2*n + 200 = 0, -5*h + 107 + 93 = 4*n. Which is bigger: t or h?
t
Let u(a) = a**2 - 49*a + 1. Let g be u(0). Is g greater than 8/4651?
True
Suppose -3*d + 416 = 143. Let c = -1616872 + 1616964. Are c and d nonequal?
True
Let u be 3/6 + 1*4/(-8). Suppose k + 3*y - 30 = u, 5*k + 3*y - 90 = -0*k. Let x be (-4)/28 - (3 + k/42). Is x greater than 2/13?
False
Let c(b) = -43*b + 492. Let x be c(12). Let z be 0 + (1 - 0 - 24). Which is greater: x or z?
z
Let g be -4 + ((-3)/54)/(6/1962*-2). Which is greater: g or 4?
g
Let f = 9158 - 9155.2. Is -62 >= f?
False
Let r = -115/50997 + 2/267. Which is bigger: r or -1?
r
Suppose 15*x - 162 = 3. Suppose -y + 8 = 3*y. Suppose 10 = -c + y*c. Which is smaller: x or c?
c
Let i = -2573 + 90043/35. Is i equal to -1?
False
Let f be (-1 - 2)*(-100)/(-15). Let o be (3 - (0 - 2 - -3)) + f. Let q be (4/18)/(o/36). Is 1 != q?
True
Let u be 169884/(-145170) + ((-208)/(-190) - (-6)/57). Is 1 < u?
False
Let p(f) = 103*f - 1985. Let u be p(19). Which is smaller: -25 or u?
u
Let f = 22635 + -22615. Is -158 at most as big as f?
True
Let w = -2871 + 2872. Does -12/653 = w?
False
Suppose -22*s - 12*s - 14398 = 12*s. Which is greater: -308 or s?
-308
Let f be ((-6)/6 - 5) + -1. Let c = -30 + 32. Let n(j) = -2*j**3 + 2*j**2 + 3*j - 4. Let z be n(c). Is z at least as big as f?
True
Let q be (-730)/(-150) + (-4)/(-30). Let s be (-3)/(-30)*q*-94. Let n = 46 + s. Is n at most 2/41?
True
Let o(f) = f**2 - 20*f + 68. Let v be o(16). Suppose 20 = 5*t - 5*a, -3*t - 14 = v*a + 9. Is t at most 12/97?
True
Suppose -978*m 