 37*v + 518, -4*v = -5*k - 511. Is -2/7 < k?
False
Let o(x) = -x**3 + 20*x**2 - 34*x - 24. Let c be o(18). Suppose -16*s + 14*s = -c. Suppose j - 2 = 0, -3*j = -s*k + 11*k - 101. Are 0 and k nonequal?
True
Let g = 46 + -26. Let k be -1 - 195*(-42)/420. Is g at least k?
True
Suppose -2*p - 5 = w, 3*w = 5*p - w + 32. Let n = -1794 + 1781. Are n and p nonequal?
True
Let d(c) = -c**2 - 7*c + 42. Let v be d(-9). Let i be v/48 - 30/16. Is i greater than -0.1?
False
Suppose 291*z = 304*z. Which is smaller: -2/2897 or z?
-2/2897
Suppose -v = 11*v - 480. Let a be (v/(-35))/((-4)/14). Suppose 5*y + a + 18 = 2*k, -4*y - 15 = k. Which is smaller: 4/5 or k?
4/5
Let n(c) = c**3 + 9*c**2 - 7*c + 11. Let u be n(-8). Let i = 523/4 - u. Are 1 and i non-equal?
True
Suppose 25*i = -26*i + 17595. Let v = i + -339. Is 9 not equal to v?
True
Suppose 4*o + 169 = 261. Let q = o - 24. Which is bigger: q or 4/99?
4/99
Suppose -66 = -8*x + 2*x. Let w(b) = -10 + 26 - 1 + b - x. Let r be w(0). Which is bigger: r or -7?
r
Let k(g) be the third derivative of g**4/2 + 38*g**3/3 + 14*g**2 + 2*g. Let r be k(-8). Is r less than -182/9?
False
Let f(o) = -o. Let k(g) = -8*g + 1. Let z(h) = -22*f(h) + 2*k(h). Let l = 55 - 56. Let c be z(l). Is c at most -7/2?
True
Let x = -246 + 129. Let k = -117 - x. Let c be (-21)/(-12) + 1/4. Does c = k?
False
Suppose 0 = 2806*d - 2780*d + 229970. Is d greater than or equal to -8846?
True
Let p = -341 + 16. Let y = p - -980/3. Is y not equal to 1?
True
Let h = -729.8 + 665.8. Is h at most as big as 94?
True
Suppose 6081 + 959 = 55*a. Which is greater: a or 129?
129
Let g = 325.8 + -339.8. Which is smaller: -16 or g?
-16
Let b = -240.1 + 141.4. Let r = -97 - b. Are r and 0.3 equal?
False
Let i(a) = 2*a**2 + 340*a + 1390. Let o be i(-4). Which is greater: o or 55?
o
Let b be 171348/218*3/(-2). Is -1179 equal to b?
True
Let a = -169 + 174. Suppose 5 = a*x + n, 10*x = 14*x - 2*n - 18. Which is smaller: x or -68?
-68
Let d = -18 - -18. Let b be (d + 1)/(8 - 90/12). Let m be b/5*20/(-24). Is m at least as big as 0?
False
Let o = 21848 - 6467001/296. Which is greater: 0 or o?
o
Let g be 18/6*((-7266)/(-9) + -1). Which is smaller: g or 2418?
2418
Suppose 0 = -18*l + 26*l - 40. Let t = 19 + -6. Let o = l - t. Is -7 > o?
True
Let r be (-6)/7 - ((-44601)/21 + -3). Which is smaller: 2123 or r?
2123
Let j be (227/454)/(-2*2/4). Is j > -16.7?
True
Suppose -33365 = 25*i - 99865. Let x be ((-3)/4 + 1)/((-931)/i). Does x = 1/3?
False
Let h = 3197 - 3231. Does h = -36?
False
Let l = -3/12607 + -150903/1601089. Which is greater: 1 or l?
1
Let i be 5 + -8 - (-1228)/424. Let z = i + 1313/2438. Is 0 less than or equal to z?
True
Let j = -1583 + 1584. Let h be (-1661)/(-18) + (-6)/4. Let y = h - 363/4. Is y at most j?
True
Let v = 79.02 + -79.0448. Which is smaller: v or 4?
v
Let l = -243 + 104. Let x = l + 142. Which is greater: 54/13 or x?
54/13
Let f be (918/(-227970))/((-2)/(-5)). Which is smaller: -0.07 or f?
-0.07
Suppose i = -3*c + 4, 4*c - 12 = -i - c. Let t = 78 + i. Let r = t - 628/9. Which is smaller: r or 2/11?
2/11
Let b = -17199/4 + 4309. Let t be 2/(-6) - (-185)/24. Let q = b - t. Is q equal to 2?
False
Suppose 68 + 28 = 6*g. Let r be 105/(-21) - g/(-3). Which is greater: 82/3 or r?
82/3
Suppose 5*l = -15, -d + 3*d - 2*l - 78 = 0. Let y be -4 - (-4 - (-15788)/d). Let o = y - -439. Which is smaller: 1 or o?
o
Suppose 971 + 72 = -28*k + 35*k. Are k and 149 unequal?
False
Let a = -0.08 - 0.548. Let i = 0.128 + a. Let x = 0.1 + -1.1. Is x smaller than i?
True
Let x = -545 + 525. Let g be 3 + (2 - 2) - 13. Let r be 4/x + g/25. Is r < 3/2?
True
Let n = -258 + 40. Let a = -217.13 - n. Let x = -0.17 + a. Which is smaller: x or -2/5?
-2/5
Suppose 0 = -34*k - 0*k + 19040. Suppose 10*s = 5*s - k. Which is bigger: -114 or s?
s
Let v = 189 + -190. Let r be v/((2/4)/(11/(-2))). Is 10 > r?
False
Suppose 0 = 3*f + 3*s - 102, 3*f - 8*s - 114 = -7*s. Let y = f + -40. Let r = 653 - 2627/4. Is r equal to y?
False
Let d(o) = 4*o**2 - 34*o + 30. Let r be d(1). Are 27/133 and r unequal?
True
Let f(h) = 1213*h - 16908. Let m be f(14). Which is greater: -129 or m?
m
Let r(p) = -p**3 - 7*p**2 - 10*p. Let f be r(-5). Suppose f = -28*t - 8 - 20. Is t smaller than 2/255?
True
Let u be (-60)/(-50)*(-20)/6. Suppose s = 5*x - 77, -4*x + 31 = -3*x + 5*s. Suppose -3*a - 22 = -2*b, 0 = -4*a - 4*b - x - 0. Which is smaller: a or u?
a
Let g be (19 - 5 - -19)*(-1)/74. Is g greater than or equal to 1?
False
Suppose -8*s - 3*c = -3*s - 88, -3*s - 5*c + 56 = 0. Suppose 7*u = s*u - 6*u. Is 22/19 less than u?
False
Suppose 2*t + 27 = -7*t. Let w be (-3)/((3/2)/t - 0). Suppose 4*z = 6*z - w. Which is smaller: z or 2?
2
Let l be (-4528)/96 - 6 - -14. Are l and -38 non-equal?
True
Suppose -18*c - 66 = -7*c. Suppose 10 = -5*j - 5*v, -2*v = j - 3*v. Let a = j + c. Which is smaller: -8 or a?
-8
Let z be ((-5)/(-4))/(260/16 - 15). Does -41/405 = z?
False
Let a be -19 + 19 + (-4)/(-2)*2. Suppose r - 5*j = 2*r - 193, -4*j = a*r - 820. Is r <= 209?
True
Suppose 5*a + b - 45 = -2*b, 0 = 2*a - b - 18. Let w be (6 + (-64)/12)/(6/a). Is 29 smaller than w?
False
Let u = 13143/62 + -212. Let q = u + -117/434. Which is smaller: q or 12?
q
Let c be ((-1)/(-37))/(2 - 3). Suppose -8 = -2*p, -6 = -103*f + 105*f - p. Is c < f?
False
Let c be (-1477)/(-35) + ((-35)/25)/7. Let i = c + 210. Which is smaller: i or 251?
251
Let u = 0.046 + -0.161. Let c = u + 2.665. Let s = 0.15 - c. Is s < 2/7?
True
Let k(o) = -11 - 361*o - 362*o + 731*o + 4*o**2. Let p be k(5). Which is greater: p or 131?
131
Let s = 10241 + -6441591/629. Let m = 175/252858 + s. Is m at most as big as 1?
True
Let c be 36/2 + (-6)/(-2). Let q be 1 - (1 - (3 - 216/c)). Which is bigger: -6 or q?
-6
Suppose 11*o = -3*o - 196. Suppose 2*z - 3*z + 4 = -2*g, -5*z + g + 56 = 0. Suppose -9 = -2*b + 5*n, 2*b + 3*n + 19 = -z. Is o less than or equal to b?
True
Let w = -3372.6 + 13685.6. Is w <= 0?
False
Let s = 17944 - 126260/7. Let i be (-1668)/27*6/4. Let x = i - s. Is 1 not equal to x?
True
Suppose -7*p - 21*p = -23520. Suppose -33*c = -13*c + p. Is -29 smaller than c?
False
Suppose -12*i = 9*i - 151 + 1180. Are i and -30 nonequal?
True
Let u be (-2)/(-2) - (-2)/(-2). Let d be 1170/146 - ((-64)/48)/((-12)/72). Is u smaller than d?
True
Let h = 653/8 + -92057/1128. Which is smaller: -2/3 or h?
-2/3
Let p = 34 + 21. Let s = p + -55.1. Suppose 22 - 2 = 4*w, -3*x + 4*w = -94. Which is smaller: x or s?
s
Let o be 300/(-16) + 0 + (-9)/(-12). Let l be (-12)/o - 66/(-9). Let g be (l/6 - (11 - 10))*2. Is g equal to -0.022?
False
Let u be 6/(-4)*(-71420)/(-30). Let q be u/400 + 12/3. Let z = q - -75/16. Is z bigger than 0?
False
Let x be 1534/(-766) + 2 + 0. Suppose -5*c = -4*t - 31, -19*c - 32 = -23*c + 4*t. Which is smaller: x or c?
c
Let s = 24849 + -24849.061. Let g be 2/(-4) - (-3)/14. Which is bigger: g or s?
s
Suppose -v + 25 = 4*v, i + 3*v - 15 = 0. Let d = i + -1. Let g be (-2 - -7) + 1804/(-363). Which is bigger: g or d?
g
Let b = 248/7 + -36. Let f(d) = -d**3 - 7*d**2 - 15*d - 108. Let z be f(-7). Which is smaller: b or z?
z
Suppose -5*x + 4*d - 5 + 40 = 0, 2*x - d - 14 = 0. Let n be (-120)/9*450/(-8). Let m = -2231/3 + n. Is m < x?
True
Suppose 4*v = 2*u - 308, -3*v + 755 = 5*u - 8*v. Suppose 3*a - 212*t + 213*t = 109, -u = -4*a - 2*t. Let p be (2/(-5))/(1/(-85)). Does a = p?
False
Let r = -0.033 - 0.037. Let d = 25.83 + -26. Let q = d - r. Is -23 >= q?
False
Let w(v) = -v**2 - 5*v - 5. Let o be w(-3). Let q be 0/(-1*(-3 - o)). Suppose 5*i = 2*d - 6, -2*i + 0*d + 2*d = q. Is -4 != i?
True
Suppose 34*s + 75 = -61. Let u be (-70)/(-175)*3/(39/(-110)). Is u smaller than s?
False
Let h(k) = k**2 + 6*k + 5. Let s be h(-5). Suppose -4*j + 1 + 3 = s. Let o = -10705 - -10706. Is o at most as big as j?
True
Let m = -3989 - -5746. Suppose -11*a = m + 1400. Are -287 and a nonequal?
False
Let g = 26 - 22. Suppose -3*m = 3*a - 9, g*m - a + 6 = 4*a. Let d be 8/16*(-12)/m. Which is greater: 2/9 or d?
2/9
Suppose 8*n + 8*n = n. Suppose -p + 18 - 28 = n. Which is greater: -17/2 or p?
-17/2
Let p = 256972 + -256972. Suppose 124 = -3*y + 4*d - 296, -399 = 3*y + 3*d. Is p less than or equal to y?
False
Suppose 5*j - 95 = 45. Let s = 31 + -32. Let v be (160/j)/(-4) - s. Are 