5 - -44. Let c = z - 43.015. Let r = -43.5 - c. Is -3 < r?
True
Suppose 2*t + 9 = 5*d, -2*t + 21 = -24*d + 29*d. Which is greater: t or 178?
178
Let h = 4.633 - -0.157. Let v = h - 4.6. Let b = v - 0.16. Is b at most as big as -5?
False
Suppose 3*n - 40*n + 21497 = 0. Which is smaller: 2899/5 or n?
2899/5
Suppose -3*t - 12*p + 8*p = 105, 4*p + 27 = -t. Is t at most -410?
False
Let l be (-1)/(7180/48 - 12/4). Let r = -13357/153033 - l. Which is smaller: r or 0?
r
Let b be 1*-3 - 86900/(-26085). Let m = b - 12/37. Let k = m + -473/423. Is 2/5 != k?
True
Suppose 207 = 3*h + 5*i, h + 2*i - 142 = -h. Suppose -u + h = 75. Let g be u/(-2) + (-2 - 174/(-132)). Which is bigger: 0 or g?
0
Let o = 876 - 1132. Which is smaller: o or -3?
o
Let t = 890 - 1258. Let k = t - -369. Is 84 at most as big as k?
False
Let b = 1/636 - 8059/1908. Is 19 not equal to b?
True
Suppose -5*a - 5*i = 30, -a - 3*i - 30 = 4*a. Let c be (a + 3)/(-2 + 1). Is -5 > c?
False
Suppose 6306 = -33*n - 2340. Let t = 263 + n. Let q = 366/13 - 7359/260. Which is greater: t or q?
t
Let f(r) = -2*r**2 + 5*r - 2. Let c(u) = -4*u + 13. Let l be c(3). Let w be f(l). Are 7/9 and w non-equal?
True
Suppose 0 = -0*v + 4*v - 5*t + 4, -2*v = 3*t + 24. Let p be (-52)/(-6)*(-27)/v. Is 39 at most p?
True
Let a = 1192/17 + -70. Let v be -1 - -2 - (-7 - -7). Let j be (10/(-60))/(v/4). Which is smaller: j or a?
j
Let c(y) = y**2 - 12*y + 23. Let v be c(10). Suppose -4*m + 120 = v*g, -6*g = -3*m - 2*g + 115. Let j be (-35)/m - 2/(-6). Which is greater: 0 or j?
0
Suppose 333 - 305 = 7*n. Suppose c - n*r - 83 = 0, -2*c - 271 = -5*c + r. Which is greater: 89 or c?
c
Let n = 10508 - 861655/82. Does n = -4?
False
Let l = 2531 - 2535. Which is smaller: l or -173?
-173
Suppose -21 = -2*k - 5*n, -2*n - 2 = -3*k + 1. Suppose -k*f = 2*q - 7, -3*q = -f - q - 3. Which is greater: -2/35 or f?
f
Let b = -10 - -27. Let m = b + -11. Let u = -56 + 67. Is m not equal to u?
True
Let u be 6/((-15)/(-240)*12/(-10)). Let q be -1*(-16)/(-20) - 584/u. Is 6 < q?
True
Let p = -1950/83 - -47/2. Let n = 26672.1 - 26672. Is p smaller than n?
True
Let q(p) = p**2 + p - 1. Let z(y) = 73*y**2 + 4*y - 6. Let v(a) = 5*q(a) - z(a). Let u be v(-1). Let h = -63 - u. Which is greater: h or 16/3?
16/3
Let u be 7196/(-329) - 234/(-13). Is u not equal to -4?
True
Let l be 54/(-16)*1392/(-261). Suppose 0 = -4*a - 24 - 0. Let x = a + 8. Is x at least as big as l?
False
Suppose 4*v - 14*k = -15*k - 63, 2*v + 35 = 3*k. Is 8 at most v?
False
Let t(z) = -11*z**3 + 6*z**2 + 8*z - 1. Let j = -32 + 29. Let o be t(j). Is 327 equal to o?
False
Let r be (-328)/24*(1 - -200). Let i = r + 263705/96. Which is greater: i or -1?
i
Let h be ((-2)/(-9))/((-610)/306 + (-74)/(-37)). Which is bigger: h or 42?
42
Let s = -2/3063 - 192959/15315. Which is smaller: 9 or s?
s
Let r = 7584 - 7583.8. Which is smaller: 87.27 or r?
r
Let d = 4.001 + -3.801. Which is greater: d or -10/43?
d
Let s = -319.63 - -2.63. Let t = s + 318. Let q = 24 - 41. Which is greater: q or t?
t
Let k be (-2655)/12 - (-9)/(-12). Let h = -214 - k. Which is smaller: 4 or h?
4
Suppose -50*t + 0 = -58*t - 8. Which is bigger: t or 16/105?
16/105
Suppose -135 + 7 = -32*m. Suppose 2*a + 27 = -5*w, -m*a + 0*a + w + 1 = 0. Which is greater: a or 8/5?
8/5
Let v = -44 - 60. Let f = v + 104. Is 16/19 bigger than f?
True
Let r be (-6)/(-12)*104/(-10). Let x = -2173 + 2172.7. Is x at most r?
False
Let b be -4 + 8/(-6) + 6/(-9). Let x be 124/16 + b + (-2 - 0). Let v = 0.04 - 0.05. Which is bigger: x or v?
v
Let c(s) = 3*s + 6. Let m be c(5). Let f = 1/6 - -607/30. Which is smaller: f or m?
f
Suppose -8*z + 20 = -20. Suppose -8*w + z*w = -3. Which is smaller: w or 36?
w
Let s be ((-1)/1)/1*5 + (-208 - 0). Is -20 less than s?
False
Let u = 16634503 - 681976737/41. Let i = u - 924. Let t(g) = g - 9. Let k be t(6). Which is bigger: k or i?
i
Let c be (-216)/(-20) - (-3)/15. Suppose 45 = 29*g - 100. Suppose -2*a = -2*v - 20, 5*v + 30 = g*a + 10*v. Which is bigger: c or a?
c
Let u = -0.33 + 1.11. Let t = u - 1.78. Suppose 8 = -4*q + 4*x, -5*q + 3 - 11 = -3*x. Is t at least q?
True
Let i be -6 + (21/(-5) - 4/(-20)). Let q = 232 + i. Is q < 221?
False
Let r be 15 + (-15)/(1 + 4). Suppose -r + 7 = 5*l. Let f = -110/909 + 1/101. Is f less than or equal to l?
False
Let m(s) be the third derivative of -19*s**4/24 - 71*s**3/3 - 58*s**2 + 1. Let x be m(-8). Is 10 at least x?
True
Let g be -68 + 71 + 1*-3. Is g less than or equal to 2/1279?
True
Let y(n) = n**3 + 3*n**2 - 3*n + 2. Let o be y(-4). Let g be (4 + -19)/((0 - o)/2). Which is smaller: g or -13?
g
Let p = -10197 + 10198. Let t be 161/90 - (-5)/45. Is p equal to t?
False
Let d = -693.9 - -685. Let k = d + 51.9. Are 0.1 and k nonequal?
True
Let m be (-696128)/(-320) - (-21)/(-15). Is m at least 2173?
True
Let u = -75.4241 + -0.0759. Let c = 75.4 + u. Are c and -66/5 non-equal?
True
Let b = 5/216 + -4/27. Suppose -a + 5 = 2, 5*a = -2*z + 17. Which is smaller: b or z?
b
Let o be 15/5 + 0/2. Suppose o*k + k = 4*m, m = 4*k - 6. Which is smaller: m or -0.101?
-0.101
Let c = 164 + -151. Let i be 12/4 + (-260)/(-28). Do c and i have the same value?
False
Suppose 10525 = 12*y - 179. Let b = y - 886. Is 11 bigger than b?
True
Suppose 4*s - 134 = f - 3*f, -4*s = -5*f + 321. Suppose -f = 12*x + 31. Is -7 equal to x?
False
Let q = -1714 - -84043/49. Which is greater: q or 1?
q
Suppose 2*s - r - 3*r = 1200, -4*r + 600 = s. Let j = -599 + s. Which is smaller: j or -4/547?
-4/547
Let a(r) = -31*r + 5239. Let n be a(169). Let g = 0.015 + -27.015. Are n and g equal?
False
Suppose 4*t + 10 = 2*k, -6*k + 4*k = -10. Which is greater: t or -1/27219?
t
Suppose -8*u = 6*u - 23*u. Which is smaller: 16/41 or u?
u
Let s be (-22)/44 + (-52574)/(-15020) + -3. Which is smaller: s or 1?
s
Suppose 3*r = n + 79, -4*n = 5*r - 30 - 79. Suppose 0 = -0*t + 4*t. Suppose -q + y + 26 = t, -7*y - 8 = -3*y. Which is smaller: q or r?
q
Let b be 6/(-12) - (-394)/812. Suppose 0 = 3*k - 3*k - 2*k. Is k greater than b?
True
Let t(z) be the second derivative of -z**5/20 - 17*z**4/12 - 53*z**3/6 - 9*z**2 - 41*z - 1. Let k be t(-15). Which is greater: 325 or k?
k
Let o(r) = -85*r + 343. Let c be o(-25). Let l = c - 46904/19. Which is smaller: l or 0?
l
Let v be ((-3)/24)/((-2)/198). Let b be 1/(((-3)/(-5))/(-22*54/(-180))). Which is bigger: b or v?
v
Suppose 4*q - 4*a = -7*a + 508, 4*a = -3*q + 388. Suppose d + q - 123 = 0. Do -2/413 and d have the same value?
False
Let u(x) = -x**2 + 79*x + 10324. Let d be u(149). Which is bigger: -69 or d?
-69
Let w = -196 + 197. Let i be w/((-6)/16)*912/(-32). Is i < 79?
True
Suppose 840*j - 19516 = 812*j. Which is smaller: 696 or j?
696
Let q = -1313 + 1313.122. Are q and -71 equal?
False
Let x = 26467 - 20992. Which is bigger: x or 0.2?
x
Let n(f) = -2*f**2 - 30*f + 38. Let z be n(-46). Is z > -2814?
False
Let v(s) be the second derivative of -s**4/12 - s**3/2 + 3*s**2 - 10*s. Let b be v(-5). Let k be -3 + b + 102/15. Which is smaller: -0.1 or k?
k
Let p be 165/198 - 5/6. Suppose 2*s = 12*o - 11*o - 587, 5*o + 25 = p. Is s >= -296?
True
Let t(l) = l**3 - 7*l**2 - 1. Let q = -106 + 160. Suppose -47 = w - q. Let n be t(w). Are n and 1/107 equal?
False
Suppose 5*p + 4*s - 1011 = 0, 2*p - 3*s - 408 = -s. Let n = -383 + p. Is -181 <= n?
True
Let k = 257.855 - 258. Let z = 12.145 + k. Which is bigger: 0 or z?
z
Let v = -2/2697 - -70132/13485. Suppose 34*s - 33*s - 15 = 0. Suppose -5*i - s = -8*i. Is v equal to i?
False
Let i = -2/33887473 + 18875328951/109964849885. Let q = i + 3/295. Is 1 at least q?
True
Let w be (-2)/(-7) - (-13 - 22356/(-1680)). Which is smaller: w or 1?
w
Let d be 19/(-4) - (7/(28/13) + -3). Is d at least as big as -852?
True
Suppose -20*p + 32 = -12*p. Let v be 5 + (0/(-4) - 2). Let d be 24/10*(10/v + -2). Is d not equal to p?
True
Let k = 98 - 98. Let u be (-30)/10 + k + 4. Is 1 < u?
False
Let m = -181 + -118. Let r = m + 298.898. Which is smaller: r or 2/7?
r
Suppose -3*q + 24 = 0, -25*o + 2*q + 473 = -24*o. Is o at least as big as 491?
False
Let s = -2453 + 22055/9. Let b = -17 + 27. Suppose 0 = -2*i - y + 5*y + b, 0 = -4*i + 3*y + 5. Is i less than s?
False
Let l(f) = -f**2 - 14*f + 27. Let k be l(-17). Let y be (6/(-1268))/(12/k). Is 1 equal to y?
Fal