 - -3.08. Let v = -250.4 - -247. Let k = v + d. Which is bigger: k or -4?
k
Let v = -1943/240 - -41/5. Is 2/3 smaller than v?
False
Suppose x = 2*x - m + 2, -m - 13 = 2*x. Let g be ((-6)/9)/((-2)/(-12)). Is x less than g?
True
Let a = -200.11 + 200. Do a and 2 have different values?
True
Let a(x) = 6*x + 1. Let m be a(4). Let l be 85/m - (-4)/(-10). Let f = 0.076 - -0.224. Is l less than or equal to f?
False
Suppose -3*k = -14*w + 13*w + 9, -4*k + 14 = 3*w. Which is greater: 51 or w?
51
Let z = 54 - 26. Let j(b) = 11*b - 4. Let g be j(3). Is g <= z?
False
Let v(n) = -n**2 + 3*n + 10. Let l be v(-8). Let b = l + 779/10. Let p = -200 - -1002/5. Which is greater: p or b?
p
Let z = -226 + 249. Which is bigger: z or 1?
z
Let o(g) = -g**3 + 9*g**2 + 2*g + 13. Let h be o(9). Suppose -z - h + 12 = 0. Let p = 7 + z. Which is smaller: p or -10?
p
Let y be ((-33)/(-6) + -1)/(-24). Let r = -314 + 5335/17. Let b = r + -8/51. Which is smaller: b or y?
b
Let g = 3291107689 - 135313892622241/41115. Let w be (4/6)/((-2741)/3). Let y = g + w. Which is bigger: 0 or y?
y
Let c be 5/(-3) - (-67)/24. Suppose 0 = u - 5*u + 36. Suppose u - 3 = 3*o. Is c at least as big as o?
False
Suppose 7*i = 4*i + 2*i. Suppose -u + 3*h - h - 46 = i, -4*h = 0. Are -48 and u equal?
False
Let w(q) = q - 5*q**2 - 2*q - 4 - 3 + 2 - q**3. Let k be w(-5). Let g be (k - 1)*(-2 + 3). Which is smaller: -3/2 or g?
-3/2
Let h = 0 + 3. Suppose -b - b + h*w + 179 = 0, 3*w + 3 = 0. Let d = b + -171/2. Is d less than 3?
True
Let s = 993 + -1933/2. Is 26 > s?
False
Suppose 5*n - 144 = 3*n. Let u be (-33)/n - (-1)/3. Which is smaller: u or -1/2?
-1/2
Let g be (5 - 5 - -1)/(3/357). Do 118 and g have the same value?
False
Suppose 5*b + 15 = 5*l, -5*b - 7 + 27 = 2*l. Let d(v) = -2 - 4*v - v**2 + 14 + 2*v + 5*v. Let c be d(l). Is 24/7 at least c?
True
Let n(i) = -2*i + 32. Let l be n(13). Let m be (l/15)/(194/(-10)). Does 1 = m?
False
Let c = -539 + 537. Which is smaller: c or -40/19?
-40/19
Let h = -3 - -9. Let m(k) = 5*k**3 + 6*k**2 - 5*k - 11. Let s(p) = 11*p**3 + 12*p**2 - 11*p - 23. Let d(q) = 13*m(q) - 6*s(q). Let w be d(h). Does 1/2 = w?
False
Let b(p) be the second derivative of -7*p**3/6 - 4*p**2 - 19*p. Let i be b(-8). Which is smaller: i or 47?
47
Let n(y) = y**2 + 3*y - 5. Let q be n(-5). Let i be -2*(-2)/90*q. Let m be 2/4 + ((-48)/(-15))/(-8). Is m at most as big as i?
True
Suppose k + 345 = -27*t + 28*t, -3*t + 4*k + 1038 = 0. Is t bigger than 342?
False
Let o be 5*(-14)/(-5)*-1. Let w = o - -10. Let y(b) = b**3 + 39*b**2 + 43*b + 186. Let m be y(-38). Is m bigger than w?
False
Let r = 9641/36 - 2030/9. Is r < 43?
True
Let u be 1 - (5 + (-33)/(-15)). Is u >= -5?
False
Let r = 18 + -14. Suppose -r*u = -7*u + 288. Let a be 3*(-2 + u/45). Is -1 at least as big as a?
False
Let w be (-1077)/(-21) - 12/42. Let p be ((-1)/w)/((-2)/24). Is p greater than or equal to 1?
False
Let c(s) = 2*s - 5. Let a be c(3). Let q be a/(-2) - 11/(-17). Let m = q - -179/170. Is 2 < m?
False
Let d = -4 + 19. Let c = -17 + d. Which is bigger: -2/3 or c?
-2/3
Let w = -28/5 + 262/45. Which is smaller: w or -6/7?
-6/7
Let f = 98 - 86. Let p be 6/(-27) + (-158)/18 + 4. Do f and p have the same value?
False
Let w = -3957 + 3973. Suppose -4*m - 2*r = -2*m - 22, -m + 5*r = -35. Is w < m?
False
Let w = -78 + 109. Let m = w + -30.9. Is -27 greater than m?
False
Suppose 4*m + 6 = m, 0 = p + m. Which is smaller: 30/11 or p?
p
Let o = 694 + -694. Suppose -2*h + 2*w + 90 = 0, -w + 4 = 1. Let a be (0 - 2) + h/14. Which is greater: o or a?
a
Let i = 771/14 - 55. Suppose 7*j - 5 = 5*j + n, 0 = 3*j + n + 5. Which is smaller: j or i?
j
Let f be 12/36*9 - 3. Which is smaller: 199 or f?
f
Let n be (-34)/476*21/360. Do n and 0 have the same value?
False
Let g = 25 - 22. Suppose 0 = 5*o, -3*v - 1 = g*o - 7. Let b be (-1)/4 + 51/108. Which is greater: b or v?
v
Suppose -4*n - 8 = -4*d, d + 2*n = n - 2. Suppose 0 = -12*t + 5*t + 413. Is d >= t?
False
Suppose -15 = -3*g + 3*o - 72, -39 = g - 5*o. Which is greater: g or 2?
2
Suppose -2*l - 2*l - t - 117 = 0, 32 = -l - 3*t. Let z = l - -29. Which is greater: z or 1/12?
1/12
Let l be 5/(10/4) - (-45)/(-18). Let t = -0.07 + 2.07. Let j = -10 - t. Is l less than or equal to j?
False
Let m = 36539 - 36538.3. Let h be 0 + (-1)/((-6)/(-14)). Is m not equal to h?
True
Let b(h) = -2*h**3 + 4*h**2 - 9*h + 5. Let n be b(4). Let o = n + 95. Let j = -7/12 - -1/3. Is j at least as big as o?
False
Let v = 180 - 179. Let f be (v - 42/30)*-1. Is 8.4 <= f?
False
Suppose -14*a = 2577 - 2647. Suppose -4*d = -46 + 10. Is d less than a?
False
Let c = -154 + 143.02. Let f = 0.26 - -10.74. Let r = c + f. Is 0 bigger than r?
False
Suppose -z - 285 = 5*m - 229, -5*m - 179 = 4*z. Which is smaller: -1.5 or z?
z
Let s be (-76)/(-140) - (-3)/(180/(-24)). Let u be ((-2)/(-16))/(6/40). Which is smaller: s or u?
s
Suppose 2*f - 2*h = 160, 0 = -4*f + f - 3*h + 234. Let s = -32 + f. Let j = 32 - s. Are j and -15 unequal?
False
Let b(w) be the first derivative of 5*w + 7/2*w**2 + 1/3*w**3 + 3. Let f be b(-6). Which is smaller: f or 1/5?
f
Let n be (-3)/(-5) + (-1)/(-15). Let f = -12.31 + 0.31. Let b = f + 13. Is b greater than n?
True
Let c = 768 - 792. Are -24 and c equal?
True
Suppose 101 + 107 = -16*q. Is -12 > q?
True
Let z(n) = -n**3 + 14*n**2 - 3*n - 3. Let g be z(12). Let l be (-2)/12 - g/18. Let y = 13 + -26. Is l greater than y?
False
Let l = 6 - 6.01. Let n = l + -0.09. Let o = -5 - -4.6. Are n and o equal?
False
Let d = 175 - 175. Is d at most 7/68?
True
Let l = 11.938 + 0.162. Let s = l + -12. Is s at most as big as -37?
False
Let t(o) = -9*o - 244. Let b be t(-26). Let w be ((-2)/(4/38))/2. Which is smaller: w or b?
b
Suppose 3*p - 6*s = -s + 47, -5*s = 4*p - 16. Suppose -2*i + 0*i = -g + p, -g - 6 = i. Let l = -314.2 + 314. Does g = l?
False
Let w = -8.96 - 0.04. Let p = 8.89 + w. Which is smaller: 0 or p?
p
Let x = -196 - -167. Which is bigger: -31 or x?
x
Let i(w) be the first derivative of w**3/3 - 8*w**2 + 37*w + 14. Let s be i(12). Which is smaller: s or -2?
s
Let g(c) = -c**2 + 10*c + 17. Let y be g(11). Let l be (y/15)/((-1136)/(-40)). Which is smaller: 0 or l?
0
Let b be (-285)/(-19)*(-2 + 2/(-3)). Suppose -3*h = 2*p + 84, -2*p - h - 58 - 22 = 0. Which is smaller: b or p?
b
Let f = 5005/2 - 2502. Let c = -1315/3 - -7921/18. Let r = c + -2/9. Is f not equal to r?
True
Suppose 0 = -115*c + 118*c + 9. Let f be (c + (-4 - (-13)/2))*0. Is f at least as big as 0?
True
Let u = -18 - -9. Let f be -5*(6/u)/(4/(-6)). Is -5 at most as big as f?
True
Let t(h) = -11*h - 34. Let f = 42 - 46. Let l be t(f). Let w be (-3)/9 - 31/(-3). Is w at least as big as l?
True
Let b be (-1 - 4396)*((-10119)/(-1124) + -9). Let l = -4/281 + b. Is -12 less than l?
True
Let m(t) = 2*t + 20. Let z be m(-11). Let n be (z/(-6))/(((-1)/(-1))/(-3)). Let d = -5 + 13. Are d and n unequal?
True
Let n = -3392764280/73 + 46477028. Let o = n + -805. Which is smaller: 0 or o?
o
Suppose -3*k = -7*k + 4*c - 52, -4*c = 2*k - 4. Suppose -3*n - 3*l + 1 = -2, -n - 2*l = -5. Let i be (n*9/(-15))/(2/(-10)). Which is smaller: k or i?
i
Let u = -10 + 9. Let g be (u + 0)/(2 + -3). Let x be -1 + -3 + (-210)/(-53). Do x and g have different values?
True
Let i = 28 - 31. Let x = -2 - i. Which is bigger: x or -1.3?
x
Suppose -550 + 549 = -c. Let j = 5 + -3. Which is greater: j or c?
j
Let z be (-90)/24 - (-1 - 2). Which is bigger: 0 or z?
0
Let n be (-24)/40 - ((-315)/(-100) + -4). Let c be 6/(-35)*28/16. Which is greater: n or c?
n
Let c = -22.38 - 0.62. Let v = c - -24. Is 22 bigger than v?
True
Let p = -59 + 59. Let q = 125/3 - 42. Which is smaller: q or p?
q
Suppose 6*s + 416 = 10*s. Suppose -5*g - 3*g = -s. Is g at least 14?
False
Let x = 2.236 - 1.836. Let m(a) = a. Let v be m(1). Let i = 0 + v. Which is smaller: x or i?
x
Suppose -29 + 39 = -10*i. Is i greater than -10/61?
False
Let p be 28/(-210) + (-32)/(-15). Is 4/13 less than p?
True
Let q be 2/(8/156 - 0). Which is bigger: -0.2 or q?
q
Let d = 1.8 + -1.71. Let w = -6.09 + d. Let c = -90 + 92. Is c bigger than w?
True
Suppose -12 - 18 = -2*o. Let v = o + -23. Is -9 at least as big as v?
False
Let x(k) = -5*k + 20. Let d be x(6). Let w be (-3)/(-36)*((-52)/d - 2). Which is bigger: w or 1?
1
Let 