 = 21 - 6. Is 8/55 equal to b?
False
Let d = 14 - 34. Let j = 819 + -798. Let g = d + j. Is 2/5 at most g?
True
Suppose 3*o = 4*o + 10. Let x = 12 + o. Suppose -v = -3*v - x. Is -1/7 at least v?
True
Suppose 18*t - 21*t - 3*y + 15 = 0, 4*t - 3*y = -8. Which is greater: 2/1125 or t?
t
Let o be -54 + (-3 + 7)*-1. Let n = 44 + o. Which is smaller: n or -13?
n
Let o(x) = -x**2 + 16*x - 5. Let g = 52 - 37. Let u be o(g). Is 10 <= u?
True
Let o = 22 + -19. Suppose o = 18*l - 15*l. Which is smaller: 3/34 or l?
3/34
Let q = 8 + -14. Let o = 33 + -38. Let a = o - q. Do 0.03 and a have the same value?
False
Let s be ((-36)/20)/(6/(-130)). Is 32 at most as big as s?
True
Suppose -4*i = -5*s + 17, s - 4 = i - 0*s. Let q be (i/(-2))/(3/(-6)). Let g be (q/9)/((-3)/18). Does g = -2?
False
Suppose -5*y - 33 = -4*r, r + 4*y = 5*r - 32. Suppose f = 3*u - 2, 5*f - 6 + 16 = 4*u. Suppose u*p = -2*p. Is r != p?
True
Let d = -3.8 - -2.7. Let v = d - -1.1. Is -11 at most v?
True
Let g = 1 + 2. Let t = g - -3. Let f = 6 - t. Do f and 0 have different values?
False
Let b = -1 - -0.5. Let k = 1 - b. Let l = k + 0.1. Is l at most 1?
False
Suppose 40 = -6*h + 2*h - 3*i, 50 = -5*h + 2*i. Which is smaller: -11 or h?
-11
Let j(d) be the second derivative of d**5/20 + d**4/2 - 2*d**3/3 + 3*d**2 + 9*d. Let w be j(-7). Let l be ((-18)/60)/(18/w). Which is greater: l or 0.1?
l
Let l(q) = 1. Let c(r) be the third derivative of -r**4/24 + 4*r**3/3 + 5*r**2. Let p(n) = -c(n) - 2*l(n). Let x be p(12). Which is bigger: x or 1?
x
Let b be ((-33)/(-242))/(30/55). Is b bigger than -486?
True
Suppose 2*d + 214 - 66 = 0. Which is bigger: d or -73?
-73
Let s(v) = -8*v - 6. Let u be s(-4). Let y(b) = -13*b - 896. Let k be y(-71). Is u at least as big as k?
False
Suppose 4*y - 2*a = 4, -y + 2*a - 13 = -2*a. Let i be 10/4*(-8)/10. Let k be y/(-3) - i - 2. Is k >= -2/3?
False
Let a = -2449/18 + 136. Let s = -0.2374 + 0.0374. Is a != s?
True
Let y = -0.0202 - 7.9798. Is 0.2 less than y?
False
Let w = -714 - -715. Do -0.228 and w have the same value?
False
Let p = 1.95 - 2. Let k be (-3)/((-7)/((-84)/(-18))). Suppose -78*g + 77*g = -k. Is p greater than or equal to g?
False
Suppose -2*v - 2*m + 36 = -0*m, v = 4*m - 2. Let q be 3 - (v/4 + -2). Suppose -x + 2 - 1 = 0. Which is greater: x or q?
q
Let b be 4*1/(-2*5*1). Let d = -26.8 + 27. Is d at most as big as b?
False
Let q be (-4100)/328 + (-6)/1. Which is smaller: q or -2/9?
q
Suppose -3 - 7 = 5*i + 4*o, 0 = -o. Let j be -30*(1096/(-550) - i). Let b = 2/5 + j. Are -1 and b non-equal?
True
Suppose x = 2*v - 1716 + 5022, 5*v = 5*x - 8265. Let l = v + -93. Let o be l/(-819) - (-4)/26. Is 3 > o?
True
Let j(o) = o**2 - 26*o - 232. Let f be j(33). Is f at most -54/67?
True
Let c(h) = h**3 - 9*h**2 - h + 12. Let i(j) = -2*j - 7. Let o be i(-8). Let n be c(o). Suppose 5*z = 3*v - 4, 0 = -3*v + n*z + 12. Is 10 smaller than v?
False
Let x be (-3)/(((-45)/2)/5). Suppose 0 = 5*a + 10. Let l be (a + 2)*2/4. Is x greater than l?
True
Suppose 0 = 372*o - 369*o + 744. Which is bigger: -249 or o?
o
Let c be 4 + 1 - 3 - 22. Let k be (-99)/(-315) + 2/c. Suppose 9 + 6 = -3*s - 4*g, 3*g + 14 = -5*s. Does k = s?
False
Let j be (0/2)/(-1 + 2). Suppose -55 = 6*m + 23. Let x = 38/3 + m. Are j and x equal?
False
Suppose 70*x = 62*x - 2880. Which is greater: x or -361?
x
Suppose -s - k + 39 = 4*s, -5*s + 45 = -5*k. Suppose -5 + s = -q. Which is greater: -28/9 or q?
q
Suppose d = -4*c + 6*d + 11, c = 2*d + 5. Let u = 0.1 - 0.1. Do c and u have the same value?
False
Let z be 10*(-2)/20*-2. Suppose 0*h + 8 = z*h. Suppose h*c = 5*c + 21. Is c less than or equal to 0?
True
Let b = -36 - -43. Suppose -b*r + 3*r - 16 = 0. Which is bigger: r or -0.1?
-0.1
Let z = 109 - 116. Suppose -12 + 5 = -x. Let s = z - x. Is -16 at least s?
False
Let x = -393.01 - -400. Let w = -0.01 - x. Let o = w + 7.7. Is o greater than -2/5?
True
Let h = -26.91 - 0.09. Let f = 23 + h. Is -0.1 at least f?
True
Suppose -5*x = 2*l - 0*l - 14, -3*l = 9. Suppose 0 = -x*f + k - 5, -3*k - 2 = 4*f - k. Let c = -2/133 - 248/1197. Is f equal to c?
False
Let r(i) = -i**2 + 2*i + 1. Let x be r(0). Let w(y) = y + 1. Let n be w(-3). Let u be n/(44/(-8)*-10). Are u and x equal?
False
Suppose 2*o - 20 = -f - 57, 4*f + 145 = -5*o. Let d = -47 - -14. Are d and f equal?
False
Suppose 5*a - 68 = 4*l - 0*l, -52 = 3*l - 4*a. Let p be (1/2)/((-2)/76). Let j = l - p. Is 6 greater than or equal to j?
False
Let u be (183 - -1)*35/(-70). Which is smaller: u or -93?
-93
Suppose -22*u = -26*u + 32. Which is bigger: 5 or u?
u
Let y(j) be the second derivative of 41*j**3/6 - 2*j**2 - 10*j + 3. Let w be y(1). Which is smaller: 38 or w?
w
Let l = -30 - -35. Suppose l*d = 3*p - 105, 0*d + 3*d - p = -67. Which is smaller: d or -22?
d
Let r = 0.3 - 23.3. Let v = r - -26. Which is bigger: v or -1/2?
v
Let q be -2 + (-1 - (3 + -4)). Let o be ((-4)/(-2) - -1) + q/(-3). Let n be -3*((-1)/3 - 1). Which is bigger: n or o?
n
Suppose 0 = -5*j - 5*s - 8 + 33, 5*s = -3*j + 19. Suppose -j*q = -0*q - 6. Let r = -9 + 19/2. Which is smaller: q or r?
r
Suppose -109*p + 125*p = 96. Suppose 16 = 5*o - 4. Is p smaller than o?
False
Let u be ((-12)/(-16))/(-2 + (-145)/(-8)). Let i(l) = l**3 + 9*l**2 + 8*l. Let z be i(-8). Is z < u?
True
Let t = -30 + 40. Suppose -4*i - t = i. Is i >= 5?
False
Let d = -14 + 13. Let s be (-1)/((2/4)/d). Suppose s*h + 24 = 5*b, b - 6*b - 5*h = -45. Is 2/5 at least b?
False
Let x = -434 - -444. Which is smaller: x or 9?
9
Suppose -1115 = -8*a + 237. Suppose 20 = -7*n - a. Is -28 > n?
False
Let b(w) = -w - 39. Let v be b(-9). Suppose -9 = -8*y + 7. Suppose -m - 26 - 7 = 2*d, -2*d + 54 = -y*m. Is v less than m?
True
Let j be (-3)/960*(-45)/6. Is -1 greater than or equal to j?
False
Suppose 5*g = 25, 5 = -v + 4*g - 5. Suppose -7*n + 5*n = -v. Let y be (-2)/(-10) + 9/n. Which is smaller: y or 14/5?
y
Suppose 0 = 3*z - 115 + 385. Let s be 2/3 - (-87)/z. Which is bigger: -1/4 or s?
-1/4
Suppose 16 = -4*b + 3*w, 0 = -b - 2*w - w + 11. Is 1/101 at least as big as b?
True
Let c = 41227933/1699 - 24266. Which is smaller: c or -1?
-1
Let l = -13 + 16. Suppose -l*q + 6 = -q. Which is greater: 0 or q?
q
Let k = 3.05 + -3.15. Which is greater: k or 194/3?
194/3
Let p(s) = -s + 8. Let v be p(6). Let z be (-6)/v + (-5)/220 + 3. Which is greater: z or 1?
1
Let u be 19/(-513)*2/(-53). Which is bigger: u or -1?
u
Let g be -2 - 0 - (-12 - -1). Let w = g + -9. Let r be (-2)/9 - 55/(-45). Which is greater: w or r?
r
Let l = 259 + -775/3. Is -87 less than or equal to l?
True
Let l = 194/33 + -72/11. Let g = -1.8 - 0.1. Let s = g + 2.05. Which is smaller: s or l?
l
Let j = -177.9 - -503.9. Are j and -1 equal?
False
Let g(d) = 6*d**2 + 26*d + 16. Let t be g(-4). Is -3 less than t?
True
Let p = 563 - 547. Is 61/4 greater than p?
False
Let v = -10.7 + 8.726. Let y = v - 0.026. Do y and -0.8 have different values?
True
Suppose -6 = -31*p + 180. Which is bigger: -0.47 or p?
p
Suppose -3*k + 5*l = 543, -6*k + 3*l - 921 = -k. Let n = -131 - k. Which is smaller: n or 0?
0
Let z be (3/9)/(246/(-81)). Is 0 > z?
True
Let n(p) = p**3 + 14*p**2 - 12*p + 45. Let h be n(-15). Let l be ((-5)/(-550))/(2/(-4)). Is l <= h?
True
Let l = 147 - 168. Let q be (l/(-84))/((-11)/8). Which is smaller: -0.4 or q?
-0.4
Let g = -6 + 15. Let q be -4*g/(-12) - 3. Suppose q = -u - f + 7, 0 = 5*u + f - 31. Do u and 2 have the same value?
False
Suppose 2*j = 7 - 11. Let r = 1 + j. Let w = 4 + -6. Is r at most w?
False
Let a(g) = g + g**3 + 2*g + 11*g**2 + 5*g - 6. Let l be a(-10). Let c = 19 - 6. Are l and c equal?
False
Let r = 2851 - 2918. Which is smaller: 14 or r?
r
Let b(w) = 5*w**2 - 5*w + 15. Let g be b(4). Let u = -76 + g. Is u greater than -1?
False
Suppose -14*v + 1355 = 795. Is 40 at most v?
True
Suppose -w = -4*o - 5*w - 12, -5*w + 1 = -3*o. Let b be (-1)/((o/14)/(3/3)). Is b greater than 6?
True
Let w = -3 + 1. Let a = 1 + w. Let m(j) = -j**2 + 40*j - 401. Let q be m(19). Is q less than a?
True
Suppose -4*w - 56 - 148 = -4*c, -2*w + 5*c = 105. Let i be w/26 - (-17 - -16). Which is smaller: -1 or i?
-1
Let q = -65 - 12. Let c be -1*7*(-66)/q. Suppose -6*r - 13 = -5*r + 4*m, 5*m = -3*r - 25. Is r at least c?
True
Suppose 0 = -4*g - z + 24, -3*g - z + 23 = z. Let k(a) = 