non-equal?
True
Let x(g) = -64*g - 948. Let b be x(-13). Which is bigger: -121 or b?
b
Let i(w) be the third derivative of -2*w**4 + 115*w**3/6 + w**2 - 41*w. Let z be i(3). Which is smaller: z or -2/5?
z
Let s(u) = -1828*u + 3578. Let x be s(8). Which is greater: -11048 or x?
x
Suppose -4*k = o + 23, 5*k - 2*o = -12 + 6. Is k not equal to -905?
True
Suppose -8 = -59*m + 51. Which is greater: m or -4/193?
m
Let g = -27 + 97. Let j = g + -68. Let v(f) = -f + 10. Let r be v(9). Which is smaller: r or j?
r
Let i = 7597 + -7460. Which is smaller: i or 19?
19
Suppose 3*y + 325 + 95 = 0. Let j be 3*(1 - y/(-15)). Which is bigger: j or -19?
-19
Suppose -g + 5*y - 368 = 0, -4*g - 5*y = 1546 - 149. Which is smaller: -355 or g?
-355
Let u(o) = 4*o**2 - 2*o - 9. Let m(j) = -7*j**2 + 3*j + 19. Let h(l) = -3*m(l) - 5*u(l). Let i be h(7). Let z = i + -44. Which is smaller: z or 3/22?
z
Let w = -91.8227 + -0.1773. Which is greater: w or 0.4?
0.4
Let s = -737 + 265. Let c = s - -451.4. Which is smaller: c or 1?
c
Suppose 1336 - 3625 = 3*k + 5*z, -2*k - 4*z - 1528 = 0. Are k and -2275/3 unequal?
True
Let v = 8 - -19. Let j(r) = -r**3 + 32*r + 63. Let d be j(-4). Let u be (-3)/d + (-90)/v. Which is bigger: u or 64?
64
Let j = 1/17453 + -18580/19669531. Which is smaller: -1 or j?
-1
Let g = 12666 + -12617. Is g smaller than 28?
False
Let s be 128/(-22) + 1 + 80/(-440). Let v be 1/(s*1/1130). Are -225 and v non-equal?
True
Let g be (-21)/6*24/(-18) + -4. Which is smaller: g or 38/15?
g
Suppose r + 330 = 12*r. Let b(i) = -i**3 + 17*i**2 + 38*i + 1. Let w be b(19). Which is bigger: r or w?
r
Let h(r) = 3*r + 16. Let o be h(-4). Let m be (-5)/(2*o/(-8)). Suppose m*q - 33 - 42 = 0. Is 15 <= q?
True
Suppose 86*s + 5*s = -178*s. Which is bigger: 1/5880 or s?
1/5880
Let q = 594 + -573. Suppose -n = 8*c - 4*c + q, -n + c = 21. Is n bigger than -165/8?
False
Let w(v) = -v**3 - 6*v**2 + 17*v + 174. Let d be w(-6). Let r = -91 + d. Which is greater: -71/4 or r?
-71/4
Let t be ((-8)/(-78))/(3/(-1476)) + -22 + 28. Is -44 equal to t?
False
Let l = -58 + 175. Let o be (-2)/3 - (726/l)/(-11). Which is bigger: o or -1?
o
Let x be 2*(-39)/3*-2. Suppose -b - 28 = 4*s, x = -2*b + b + 4*s. Let d = b + 53. Which is bigger: 14 or d?
14
Let b(a) = -a + 1. Let m(s) = -2*s**2 - 2*s + 12. Let n be (20/30)/((-6)/9). Let u(g) = n*m(g) + 12*b(g). Let d be u(6). Is 13 bigger than d?
True
Let d = 4197 + -4149. Let y = 23 + -14. Let p be (-6)/y - 429/(-9). Which is smaller: p or d?
p
Let y be (-7)/(-21) + 14/(-6). Let x be ((-4)/y)/(5*(-12)/4650). Which is bigger: -154 or x?
-154
Let k(b) = -7*b + 53. Let s be k(3). Is 9 < s?
True
Let a be 7/(4/(-42) + (-91)/(-931)). Do a and 1 have the same value?
False
Let k(t) = -t + 703. Let y be k(30). Is 674 > y?
True
Let h = -1 + 5. Suppose 3*w - h*w = 1. Let c be 0 + 309/1881 + 64/(-352). Which is smaller: w or c?
w
Let n(r) = -2*r**2 - 65*r + 102. Let p be n(-34). Is p not equal to -0.2638?
True
Suppose 0 = -t - 2*k - 1, 6 = 3*t - 3*k - 0. Are 4/313 and t non-equal?
True
Let n = 8080 - 8080. Which is smaller: n or 619?
n
Suppose 0 = -5*m - 2*h + 7, 4*h = -36*m + 40*m. Suppose w + 3 = -3. Is m < w?
False
Let d be 168/140*55675/(-10). Does d = -6682?
False
Let t(s) = 23*s**2 - 26*s - 168. Let m be t(-6). Is 816 less than or equal to m?
True
Let r = -1009939549/6586092075 - 28/782475. Let v = 2/443 - r. Which is bigger: v or 1?
1
Let q be 17*-3*(-60)/(-9). Let z be q/6*12/(-10). Is 67 equal to z?
False
Let x be (15/9 - 1) + 715/39. Suppose 16*o - 9 = x*o. Is o greater than 7?
False
Let m = -6904772/29 - -238096. Suppose 0 = -x - 0*x. Which is greater: x or m?
m
Let y = 34 + -8. Let p be 6/21 + y/14. Let u(r) = 56*r**2 - 167*r + 112. Let n be u(2). Which is smaller: p or n?
n
Let y(m) = 2*m**2 + 55*m + 74. Let h be y(-26). Let r be ((-2)/(h + 8))/(2/(-316)). Which is bigger: 76 or r?
r
Let o = 0.0974 + -50.0974. Let u = -50.17 - o. Is -20 at most as big as u?
True
Let n = 216.7 - 234. Let k = n - -17.1. Is -2/7 at least as big as k?
False
Let w be 12*(-1)/2 + (-165)/(-3). Suppose -w = 4*j - 5*o + 19, -5*o + 46 = -3*j. Are -22 and j equal?
True
Let g be (-2 - 41/(-16))*120/(-4). Let l = 2613/152 + g. Let t(h) = -h + 21. Let q be t(20). Is l smaller than q?
True
Let f = -99 + 694/7. Let u = f + 16/35. Suppose -4*g = -2*g. Is u less than or equal to g?
False
Suppose m + 12 = -4*m + 3*o, 3*o - 12 = 0. Suppose m = 2*u - 2*w - 21 + 1, 0 = -2*u + 4*w + 30. Let k = -25 - -18. Is u <= k?
False
Suppose 2*n - 5*w - 21107 = -8162, 2*w - 12938 = -2*n. Which is smaller: n or 6471?
n
Let y = 774.93 + -770. Let b = y - 2.93. Suppose -1 = -4*o - 93. Which is bigger: o or b?
b
Let k = 11104 + -154999/14. Which is bigger: 32 or k?
k
Suppose 735865 - 738653 = -297*d + 1512803. Which is smaller: 15313/3 or d?
d
Let x(y) = 2*y + 55. Let v be x(0). Let p = -96 + 151. Let c = p - v. Which is bigger: 1/70 or c?
1/70
Let j = 0.11 + 0.06. Suppose 0 = -16*g + 18*g - 4. Let i be -2*(-3)/g - (-50)/(-18). Which is smaller: i or j?
j
Suppose -91*a - 6*a + 33110 = -19464. Is a <= 543?
True
Suppose 1 = 2*w + 4*f - 1, 0 = 2*w - f - 2. Let g be (1 - (w + -15)) + -3 + 4. Is g at least 17?
False
Let p = 324.82417 + 0.17583. Is p not equal to -20?
True
Let x(n) = -14*n**2 + 107*n + 4. Let l be x(12). Let v be 1/(-1 + l/(-720)). Are 91 and v non-equal?
True
Let p be (-51)/18*-2 + 4/(-6). Suppose 0*r = p*r - 35. Let j = r - 40. Is -32 at most as big as j?
False
Let h = 459 + -646. Let x = -325 - h. Is -139 not equal to x?
True
Let z = 2.97 + 0.03. Let n = -1140 - -842. Let m = n - -277. Which is bigger: z or m?
z
Let o be -14 - (-1665)/120 - (266/144 - 2). Which is greater: 22 or o?
22
Let o = -43 - -89/2. Let p be 67 + (-24)/(-12) + 8. Is o greater than or equal to p?
False
Let g(f) = -13 + 168*f - 85*f - 81*f. Let j be g(7). Let u be (4/(-3))/(2/(-24)*j). Is u less than 1?
False
Let r be (-295944)/(-78) - (3 + 3). Let t = r - 3790. Is -1 equal to t?
False
Let n be (-4 - (-4 - (-2)/6))*-60. Suppose 0 = n*v - 99 + 419. Which is bigger: v or -15?
-15
Suppose 5*x = 2*x + 42. Suppose g = -4, 0 = 2*b + 2*g - 6*g - x. Let o be ((-6)/60*-5)/(b/(-24)). Is o not equal to -1/4?
True
Let g = -194 - -169. Suppose 5*r - 3*z = 10, 4*r = -4*z + 4 + 4. Suppose 5*d + r = n, 18 = -4*n + d - 69. Is g < n?
True
Let n = 10.66 - 10.16. Let j = -61.3 - -92.3. Which is smaller: j or n?
n
Let y be -7 - 32142/(-2572) - 6. Let z = y + 2/643. Is z smaller than -0.79?
False
Let n be (19512/54)/((-6)/(-9)). Is n greater than 2714/5?
False
Let a(d) = -2*d**2 - 173*d + 7514. Let s be a(38). Which is bigger: -1949 or s?
s
Suppose 124 = 3*p - 4*w, -5*p + 28 = w - 171. Let z = -277 + 277. Suppose z = 4*b - 4*j - 148, 5*b - j - 216 + 15 = 0. Is p less than or equal to b?
True
Let s be 1414/(-3) - 72/(-54). Let j be s/1020 - 1/(-2). Is j at most -1?
False
Let f be -3 - (460/(-30))/(5082/999). Is 1 <= f?
False
Let c(i) = 5*i**2 - 426*i - 95. Let j be c(87). Which is smaller: -0.3 or j?
-0.3
Let b = 2030/64343 + 1/2738. Let l(w) = 25*w + 51. Let j be l(0). Let q be 6/(-96) - j/(-48). Is q bigger than b?
True
Let q be 1/(-9) + ((-804)/297 - (-162)/(-891)). Let p be 32/(-10) + (1 - 2). Do p and q have the same value?
False
Let c be 2/(-7) - 24644/(-112) - (22 + -16). Are c and 214 nonequal?
True
Suppose 10*z - 4*z = 4*z. Suppose z = 3*m - 2*c - 4, m = 4*c - c - 1. Suppose 2*t = -6 + m. Is -6/7 <= t?
False
Let k(f) = f**3 - f**2 + f - 2. Suppose 0 = -3*h - 0*h. Let q be k(h). Let n(p) = -4*p**2 - 5*p - 1. Let c be n(q). Is -8 > c?
False
Suppose -131*w + 32021 - 28401 = -38955. Is w > 337?
False
Let w(n) = -38*n**2 - 245*n + 32. Let h be w(-6). Is 124 > h?
False
Let m = -188 - -195. Let r = -37 - -42. Suppose 19 = 2*p + r. Are m and p equal?
True
Suppose -27*x - 37027 = 4175. Is -1525 less than or equal to x?
False
Suppose 0 = 8*w - 3*w - 125. Let z(d) be the first derivative of d**4/4 - 8*d**3/3 - 4*d**2 + 16*d + 31. Let s be z(9). Is w not equal to s?
False
Let z = 9.441 - 13.454. Let y = z - -0.013. Which is bigger: y or 12?
12
Let g(i) = -i**3 - 5*i**2 + 2. Let u be g(-2). Let h(a) = 2*a**2 + 25*a + 35. Let q be h(u). Is q greater than 10?
False
Let n = -1520 - -1596. Let v = -1 + 4. Suppose v*o = -o - n. Is -17 less than o?
Fals