maller than p?
False
Let g = 19.886 + 0.114. Let v = -2 + g. Is 2/5 >= v?
False
Let y = 36 + -80. Let x = 57 + y. Suppose 0 = -4*t - x + 21. Is 1 <= t?
True
Suppose -15*z + 12538 = -20*z + f, 0 = -4*z + 2*f - 10022. Does -2510 = z?
False
Let v(b) = -43*b + 17*b**2 - 1 + 3*b**3 + 50*b - 3. Let z be v(-5). Which is bigger: -1/4 or z?
z
Let c be (2/872)/((-1419)/(-1032)). Is c greater than or equal to 1?
False
Suppose -5*m + 10 = 0, 0 = -2*c - m - 4*m + 4. Let n = -10320.3 + 10317. Which is smaller: n or c?
n
Suppose 940 = -20*s + 25*s. Suppose 2*a + 2*a = -4*g + s, 3*g - 2*a = 166. Is g at least 52?
True
Suppose 2*z - 9 = -3*u, -2*z + 7*u + 49 = 2*u. Let q be (4 - 0)*((-45)/z)/(-5). Let i be 44/35*25/10. Is i less than or equal to q?
False
Let g be (-38)/874 + (-3984)/(-64124). Which is smaller: g or -1?
-1
Let u be ((-45)/3)/3 - 34. Let v be -1*2 - (37 + u). Do 2/403 and v have the same value?
False
Let y = 0.0307 + -18.4307. Let j = y - -29.2. Is 0.1 >= j?
False
Suppose 5*d = 4*d + 4. Suppose -2*x = -5*p + 66, d*x + p + 78 = 2*x. Let u = -39 - x. Which is bigger: -2/23 or u?
-2/23
Let p be 19/((-342)/(-105)) - (-1)/6. Is p greater than or equal to -1200?
True
Let s = -146.58 - -106.58. Is -3/13 at least as big as s?
True
Suppose 16*c = 19*c. Suppose -2*s + 10 = c, -4*g - 4*s = -2*s + 1014. Is g greater than -256?
False
Let f = -363 + 421. Let v = f - 49. Which is smaller: 48/5 or v?
v
Let p = -7029 + -3552. Is p > -10581?
False
Let m(j) = -17*j**2 + 3*j + 1. Let b be m(-2). Let z = -54 + 47. Let a be ((-18)/21)/2 + b/z. Is 12 > a?
True
Suppose -4*h - 405 = 11*h. Let a be 6/62*12/h. Is -1 bigger than a?
False
Let o = -159 - -183. Let r be (1 - 42/o)/22. Is 1 equal to r?
False
Let b = -643/5 - -21221/165. Let q = -463 - -463. Which is bigger: q or b?
b
Let j = 33508 + -33481. Is j bigger than 40.2?
False
Let r be (5*(-5)/(-50))/((-32048)/64). Are 1 and r nonequal?
True
Suppose 13*i - 70 = 18*i. Let l(b) = 3*b + 81. Let a be l(i). Is a equal to 38?
False
Let o = 12.224 - 12.224. Are o and -2/1599 nonequal?
True
Let j(b) = 2*b**2 + 77*b - 292. Let z be j(-42). Is -704 >= z?
False
Let n be ((-7)/(-154))/(10/(-200)*-10). Let q = 3 - 3. Which is greater: q or n?
n
Let u = 12326 - 12431. Is u at least as big as 1.3?
False
Let d be ((-40)/60)/(2/6) + 4. Suppose 0 = -d*k - 3*n - 0*n - 470, -k - 3*n - 235 = 0. Are k and -235 unequal?
False
Let d = -575 + 238. Let i = 352 + d. Which is smaller: 3/5 or i?
3/5
Let n(o) be the second derivative of -17*o**3/3 + 17*o**2 - 2*o - 82. Let l be n(1). Is l at least as big as -69?
True
Let t be (-2)/(-6) - (-2)/(-87). Let z = 661/261 - t. Let a = 117889 + -117887. Is z greater than a?
True
Suppose -4*l = g + 10, 58*l - 59*l + 29 = -5*g. Which is greater: -87/14 or g?
g
Let u(r) = 4*r - 20. Let n(m) = -2*m + 7. Let s(i) = 8*n(i) + 3*u(i). Let g be s(-2). Let k be 0*-5*g/(-40)*2. Is k at least -0.2?
True
Let n be (2 + 10)*(-3)/6. Let m = 2 - n. Let d be 1/m - 1/8. Which is greater: d or -3?
d
Let x(s) = s**3 - 5*s**2 - 2*s - 8. Let j be x(6). Suppose -j - 8 = -6*a. Suppose 0 = -3*h - 0*g + 4*g - 23, -a*g + 13 = -h. Is -5 smaller than h?
False
Suppose -89 + 509 = 15*l. Suppose 5*a - 2*m - 156 - 60 = 0, 2*a - m = 87. Suppose 0 = -4*k - d + 112, 121 = 3*k + 2*d + a. Are k and l equal?
False
Let r = -337309 + 1356165/4. Is 1731 >= r?
False
Let w(y) = -y + 7. Let r be w(3). Suppose 0 = -5*d + 2*p + 108, -4*p = r*d - 59 - 5. Let g = 2 + d. Is 22 < g?
False
Let u = -14 + 19. Let s = u - 3. Let l be s/(-4) - (-32)/(-6). Is -7 <= l?
True
Suppose -3*m - 5*p + 17617 = 0, -5*p + 4*p = 5*m - 29369. Which is bigger: m or 5875?
5875
Let k = -1416 + 1417. Which is greater: k or 7/365?
k
Let g = -172479/2 - -2929839/34. Is -67 at least g?
True
Let q = -0.007214 - -8.007214. Let o be (0 - 1) + -18*1. Let b = o + 131/7. Is q less than b?
False
Let i = 543744 - 543749. Suppose y - 5*u + 6 = 0, 5*y = u + 4*u + 10. Suppose 2*x - 2*a = 5*x + 23, -2*x + y*a + 6 = 0. Do i and x have the same value?
True
Let f = 826/1105 + -29/39. Suppose -10 = 146*k - 136*k. Is f <= k?
False
Let n be 9/(-2) + 25576/6672. Let x = -46 - -191. Which is bigger: n or x?
x
Let t = -27 + -17. Which is smaller: t or 2/25?
t
Suppose -832*a + 840*a + 1560 = 0. Let l be (-28)/13 - -2 - 303/a. Suppose 0 = g + 4*g. Which is bigger: l or g?
l
Suppose 35*j - 33*j + 4016 = 3*d, 6*j - 4056 = -3*d. Is d greater than 1338?
True
Suppose -5*w + 2*b = 4084, 5*w - 5*b + 1531 = -2559. Let t = w - -33458/41. Let y = -65/492 + t. Is 1 > y?
True
Let r be -6 - 8/(-100)*-5. Let u(d) = d**2 - 676*d - 6. Let b be u(0). Are r and b non-equal?
True
Suppose 13773 = 22*h - 8623. Which is smaller: h or 1019?
h
Let s be ((-21)/(-35))/(315306/45). Which is smaller: -1 or s?
-1
Let n = 119577/4840849 + -24/949. Does n = 1?
False
Suppose 17 = 3*h + 3*t - 1, 4*t = 12. Let r be -9 + (-180)/(-27) + 0 + h. Suppose 3*a - 4 - 11 = 0. Is a > r?
True
Let d(j) = -j**3 - 5*j**2 - j + 36. Let x be d(0). Let u be (196/(-28))/(7/(-37)). Is x >= u?
False
Let q be (-6 + 5)*14/4*2. Is 45 bigger than q?
True
Let r = 363/4420 + 24/1105. Let v = r + 5/52. Let m be (-16)/(-14) + 1/(-1). Is v > m?
True
Let k(j) = -80*j - 1599. Let d be k(-20). Which is smaller: d or -7/586?
-7/586
Let t = 77 - 77. Suppose -5*s = -3*c - 269 - 93, c - s + 120 = t. Is -119 equal to c?
True
Let a = -0.00247 - 0.75153. Are 0.2 and a nonequal?
True
Let n = -7/10 - -17/24. Let i(s) = -2*s**3 - s**2 - 9*s - 4. Let a be i(-4). Let z be -5*(a/(-20) - -7). Which is smaller: n or z?
n
Let q(l) = -l - 3. Let d be q(-5). Suppose d*v = 7*v + 10. Is -27 at most as big as v?
True
Let q = -322 + 321.606. Let u = 0.024 + q. Let x = 39 + -40. Which is smaller: u or x?
x
Suppose 40*y + 721 - 682 = y. Is y greater than 5/43?
False
Let l = -616 - -638. Let y(u) = u**3 - 20*u**2 - 41*u - 67. Let r be y(l). Does 6/229 = r?
False
Let a = 118 - 110. Suppose 6*p - a*p = -8. Suppose 0 = -5*x - 15, p*n = x + 5 + 10. Which is greater: n or 2?
n
Suppose i + 10 = -9*i. Let m be (-6)/8 - (i - (-475)/(-20)). Suppose 47*u = 45*u - m. Which is greater: -14 or u?
u
Let x be (-316)/2054*26/4. Which is smaller: x or 1/4709?
x
Let n be (-195)/140 - -1 - 0. Let x = 1/7 + n. Let t be (188/8)/((-2)/4). Is x bigger than t?
True
Suppose -8439 = y + 3*d, -y - 11230 = -3*d - 2815. Is y >= -8429?
True
Let o = 7 + -9. Let v(l) be the first derivative of 3*l**2/2 + 5*l - 2. Let m be v(o). Which is greater: -5/3 or m?
m
Let n(f) = f**2 + 17*f - 7. Let t be n(-13). Let c = 58 + t. Let d(j) = 4*j + 5. Let q be d(c). Is 8/9 < q?
True
Suppose 2*w = -75 + 29. Suppose -253*g + 258*g = 0. Which is smaller: w or g?
w
Suppose 24452 = 13*u - 16180 + 1385. Are 3016 and u non-equal?
True
Let n be (-5)/3*42/4. Suppose 0 = o + 163*b - 166*b + 24, -38 = 2*o - b. Which is bigger: n or o?
n
Let b = -1229.7226 - -927.741. Let w = b + -0.0184. Are w and -1 non-equal?
True
Let n be -18 + 12*(-126)/(-72). Which is smaller: 200/113 or n?
200/113
Let d be -1 - ((-15)/(-970))/(6/37070). Let z = 4/97 + d. Which is greater: -0.1 or z?
-0.1
Let r = -29.6 - -30.6. Suppose -221 = -3*v - 0*x + x, -3*v = -5*x - 241. Suppose 2*h - 40 = -4*l, -3*h + v = l + l. Which is smaller: h or r?
r
Suppose 3*w + 4*z = -33 + 5, w = -z - 8. Let o be w - (16 + -1) - 4/1. Is -23 greater than o?
False
Let d = -4353.8118 - 0.1882. Is -0.1 less than d?
False
Suppose -4*v + 2*t - 7*t = 11, 3*v + t = 0. Suppose 0 = 2*a - a + v. Let k = -27580 - -248200/9. Which is greater: k or a?
a
Let n = -9 - -27. Suppose p = 16 - n. Let c be (1/((-5)/p))/(18/(-30)). Which is smaller: c or 0?
c
Let f be -3 + 13 + (2 - 5). Suppose 0 = 5*s - 5*w, -s + 2*w - f*w = 0. Which is smaller: 2 or s?
s
Let i = -15947/2379 - -87/13. Let q(c) = 983*c + 5897. Let v be q(-6). Are v and i unequal?
True
Let p(q) = -165 + 14 + 3*q**2 + 0*q**2 - 22*q + 92. Let j be p(12). Is 107 < j?
True
Let k = 120 + -48. Let y = k + -72.58. Let q = y + 0.68. Is q at most as big as -25?
False
Let a = -1295 - -737. Let f = -558 - a. Do f and 0.019 have different values?
True
Suppose 3*o + h = 3*h - 9, 11 = -2*o + 3*h. Let x be (219/(-860))/o - (-94)/(-376). Is x at most 0?
False
Let k be ((-32)/(-6))/((-7)/(-21)). Suppose q + 22 = -k. Let a = -138 - -98. Do q and a have the same va