- 2*u. Is -15 bigger than b?
False
Let k = -137 + 92. Let r = 45 + k. Do -5 and r have the same value?
False
Let l(g) = -17*g + 238. Let v be l(14). Is v less than or equal to 12/59?
True
Suppose -s + 3*h = 16, 4*s = s - h + 2. Which is smaller: -1/165 or s?
s
Let r be (-3220)/(-6480) - 1/2. Which is smaller: r or 1?
r
Let l = -15 - -21. Suppose 2*d = 8*d + l. Let c be 4*d/(-6)*3. Which is smaller: c or 0.1?
0.1
Let v = -14.6 - -2.6. Let o = v - -10.4. Let h = o + 4.6. Is -1 at least as big as h?
False
Let q(o) = o**2 + 4*o + 1. Let n be q(-2). Suppose 2*p = -1518 + 1516. Are n and p unequal?
True
Suppose -4*v + 1280 = -0*v. Suppose -h + 68 = -k, -6*h + k = -h - v. Which is greater: h or 2/5?
h
Let t be ((-2584)/24)/((-10)/3 + 1). Let f = -47 + t. Suppose -3*n = 4*v - 8, -v - 2*n - 9 = -4*n. Is v at most as big as f?
True
Let z = 8615792729/22008 - 3131879/8. Let i = -2/393 - z. Do 45 and i have different values?
True
Let m = -32 + 33. Let z(o) = o - 5. Let s be 6 + ((-2)/(-1) - 1). Let i be z(s). Is i less than or equal to m?
False
Let p be 76/30 - 1/3. Let n(s) = -s**3 - s - 39. Let t be n(0). Let a = t + 40. Which is smaller: p or a?
a
Let x(a) = 7*a**3 + 2*a**2 + 2*a + 1. Let o be x(-1). Let s(z) = -z - 1. Let u be s(o). Suppose 5*h - u*w + 25 = 0, -5*h = -w + 6*w - 5. Is h not equal to -2?
False
Suppose 114 = v - 2*y, -33*v = -37*v + 4*y + 456. Which is smaller: 340/3 or v?
340/3
Let v be 6/(-2) - 0/(-2). Let t be ((-18)/(-5))/(9/(-30)). Let j be t/18 + (-4)/3. Are j and v non-equal?
True
Let y = -344.06 - -343. Which is smaller: y or 0?
y
Let d(b) be the first derivative of -b**2 + 6*b - 2. Let q be d(3). Are q and 1/10 unequal?
True
Suppose -3*r = -k + 20, -5*r - k - 28 = -4*k. Which is bigger: -10 or r?
r
Let c = 1373.8 - 1376. Is c equal to -21?
False
Suppose 4*w + 274 + 34 = 0. Are w and 2/17 unequal?
True
Let r(m) = m**2 - 12*m + 5. Let a be r(10). Let i be ((-2)/(-75))/((-3)/a). Let f = 4/45 + i. Which is greater: 1 or f?
1
Suppose -106*h - 6374 = 1788. Which is smaller: h or -7?
h
Let u be 4/1*((-20)/50 - 0). Let a be 1/((-1)/3) + 2. Which is greater: a or u?
a
Let j = -2.5 - -2.559. Is j < -0.1?
False
Let v = -202 - -201.64. Is v at most 1?
True
Suppose 0 = 10*i - 15 - 405. Which is greater: i or 368/9?
i
Let u = -29944/10285 - 18/605. Which is smaller: -3 or u?
-3
Let y = 1192 - 1056. Is y greater than 135?
True
Let u = -15 - 3. Let v = -4137 - -4118. Is u equal to v?
False
Let s = -49 - -49. Are 5/53 and s nonequal?
True
Let h = -953.8 - -954. Is 1/32 at most h?
True
Let k = -42 - -41. Are -42/19 and k equal?
False
Let m = 398 + -397.9. Is m > 3/65?
True
Suppose -20*o + 17*o + 3 = 0. Let c(s) = 0*s + o - 2 - s - 7*s + s**2. Let u be c(8). Is -4 >= u?
False
Let v be (56/(-35))/((-2)/5). Suppose 5*p = -2*i + 21, 3*i - i = -v. Let r = -16 + p. Which is greater: r or -12?
r
Let k = -6363455/13 - -489192. Let w = -305 - k. Which is bigger: 1 or w?
1
Let u(m) = -m**2 - 3*m - 2. Let q be u(-4). Let x(n) = -n**3 + 9*n**2 - 10*n + 9. Let g = -3 + 11. Let a be x(g). Which is smaller: a or q?
a
Let d = 0.016 - 0.047. Let f = -4.031 - d. Is f bigger than 5?
False
Let o(d) = 10*d**2 + 48*d - 16. Let a be o(-8). Are 239 and a equal?
False
Let p = -230 - -230. Which is greater: p or 0.048?
0.048
Let c = -4816/9 + 19699/36. Let f = 623/52 - c. Which is smaller: f or -1?
-1
Suppose -4*v - 5 = -5*w, -6*v + 30 = -v + w. Suppose -3*q - 2*j = 2*j - 11, -q = 2*j - v. Let c = -2/119 - -284/2737. Is q bigger than c?
True
Let r be (-1 - 0) + -6 + 16. Suppose -4*x = -4*l - r*x - 16, 0 = l - x + 4. Which is greater: -2 or l?
-2
Suppose 7*l - 8 = 3*l, 2*p - 4*l = 356. Let k be (-134)/p + 78/182. Is k bigger than -1?
True
Let b = -0.1 - 0.9. Let w = b + 15. Let a = w - 14.2. Are a and -1 nonequal?
True
Let l be 2 - (-22)/(-5) - -6. Which is bigger: l or 4?
4
Let x be (32/816)/((-35)/126). Is x > 1?
False
Let o be (-36)/(-3)*-3*1. Let k be (o/150)/(2/(-10)). Let r(b) = 3*b + 31. Let j be r(-10). Is k greater than j?
True
Suppose -3*z + 72 = -5*i, 0 = -2*z - 3*i - 5 + 53. Suppose 2*r + z = 66. Is r less than 22?
True
Let j = 1 - 1. Let w be 260/224 + (-2)/7. Is j >= w?
False
Suppose t - n = -7, 51*t = 48*t - 2*n - 31. Let v = 3 + -12. Is v bigger than t?
False
Suppose 4*a + 4*j - 240 = 0, -5*a = 22*j - 21*j - 296. Is a less than or equal to 410/7?
False
Let c(g) = 3*g**3 + g**2 + g. Let z be c(-1). Let j be (4 + z)/(1/8). Suppose -5*p + 5*i + 59 + 11 = 0, p + 4*i + 11 = 0. Does j = p?
False
Let v be (2/3)/(2/24). Let z be (27/(-12))/(-3)*v. Suppose -z*j + 5*j = 0. Which is smaller: 0.4 or j?
j
Suppose -4*a + 5*a = 17. Let d = a + -22. Let p be (-15)/d - (-25)/(-9). Which is greater: 1 or p?
1
Suppose 3*r - 3*f = 1 - 13, -5*f + 17 = -2*r. Are -8 and r nonequal?
True
Let s = -823 + 773. Which is smaller: 2/5 or s?
s
Let z = -74 + 2142/29. Is 0 < z?
False
Let m(t) = -t + 9. Suppose 7*u - 2*u = -35. Let x be m(u). Suppose -y + 0 = v + 3, -4*v = x. Are y and 0 unequal?
True
Let k = -506 - -504.3. Which is smaller: k or 14?
k
Let a(s) = s**3 + 7*s**2 - 8*s - 8. Let o be a(-8). Suppose 0*y + y + 47 = 3*n, -4*n + 51 = -y. Let r = y + 25. Which is smaller: r or o?
r
Let s(k) = -6*k**2 + 7*k**2 - 15 + 25 - 12*k. Let a be s(11). Let j = -1888/9 - -210. Which is bigger: j or a?
j
Let g(v) = v**3 - 16*v**2 + 14*v - 13. Let j be g(15). Let w = -227/8 - j. Let t(s) = -s**3 + 6*s**2 + 1. Let r be t(6). Is w greater than r?
False
Suppose 5*o + 3*x - 34 = 0, -2*x + 26 = -3*o + 7*o. Suppose 3*s = o*c + 8, -4*s + s = 5*c + 2. Let z = 4.01 + -0.01. Is z at least as big as s?
True
Let h = -39/22 + 227/66. Are 1 and h nonequal?
True
Suppose -2*w + 4 = -2*u - 2, 3*w + 4*u + 12 = 0. Let m be w/((-5)/(10/8)). Is m smaller than -2/51?
False
Let r = -30.97 - -46. Let x = r - 15. Is x at most as big as -1?
False
Let f = -11.94 + -0.06. Let m = -3792 - -3791. Is m at least f?
True
Let a = 1855 + -1527. Is a greater than or equal to 328?
True
Let z = 82/37 - 3941/1628. Is z != 1?
True
Let g be 2/8 + (-90)/8. Suppose -4*f - 60 = -3*i + i, 90 = 5*i + 2*f. Suppose -i*v - 192 = -4*v. Which is greater: g or v?
g
Let g = -242 - -4596/19. Let j(x) = -x - 5. Let b be j(-4). Let t be (2 + b)*(0 + -1). Which is smaller: t or g?
t
Let r = 14.4 + -14.37. Which is smaller: -13 or r?
-13
Let o be 1388/(-5) + 22/(-110). Let z = 36159/130 + o. Which is greater: z or 0?
z
Let y be -354*4/(-264)*-87. Let f = y - -467. Which is smaller: 1 or f?
f
Suppose -8 = f - 11. Suppose 2*q = 5*h + 18, -q - 4*h - 14 = -f*q. Suppose -5*a - 5 = p + 15, -4*p + 3*a + 12 = 0. Do q and p have different values?
True
Suppose 4*o = i - 1, i - 2*o - 3 = -2*i. Are i and -14/51 non-equal?
True
Let a = -426 + 423. Let z = -0.2 - -1. Does a = z?
False
Suppose -b - 20 = -6*b, -3*i - 2*b = -140. Is 45 smaller than i?
False
Let f = 16 - 5. Let r(n) = 14*n**3 - 2*n**2 + n. Suppose 0 = 4*b + 3*j - 16 + 3, j = -2*b + 5. Let u be r(b). Is u > f?
True
Let t(n) be the second derivative of -n**5/60 + n**4 - 7*n**3/6 + 7*n. Let d(l) be the second derivative of t(l). Let s be d(10). Is 3 > s?
False
Let w be -1 + 21466/7067 - (-7 + 9). Let a = w - 1/37. Is a >= -1?
True
Suppose 1 + 0 = p. Let v be 2/((1 + p)/10). Suppose 4 = -6*q + v. Which is greater: -1/36 or q?
q
Let t be (-7)/(-8)*(-804)/(-14). Is t > 50?
True
Suppose -4*p + o = -119, 2*p = -p - 3*o + 108. Let q = 35 - p. Let a be (-56)/(-30) + q + -6. Is -1 <= a?
True
Let g = 41 - 45. Let n be ((-3)/g)/(18/72). Which is greater: 17/4 or n?
17/4
Let f = 2.84 + -4.84. Which is greater: 13 or f?
13
Let n = -532 - -549. Is 0.2 >= n?
False
Let c = -40 + 24. Let u = 15.3 + c. Let r = u + 0.5. Which is smaller: r or 2/3?
r
Let s = 131154/42041 + -5/2473. Do s and 3 have different values?
True
Let b be ((-1)/6)/(570/760). Which is smaller: b or 415?
b
Suppose -3*m = m - 2*m. Suppose 0 = -3*q - 5*v - 70, m*v = 3*v - 3. Which is bigger: q or 1?
1
Suppose 3*l - 4*q = 0, -3*q = 5*l - 2*l. Suppose -a + 34 = 5*j - l, 0 = 5*a + 5. Let z = j - 4. Which is smaller: 4 or z?
z
Let r = 3/85 + 52/935. Let w = 35 - 39. Let q be w/(-10) - (-154)/(-110). Is r < q?
False
Let l = -3.9 - 2.2. Let o = -0.1 - l. Let p = o - 10. Is 0 at least as big as p?
True
Suppose 2*u - 2 = u. Let d(x) = x**2 - 3*x + 1. Let q b