 + 2*r, -10*p + 22 = 11*r - 15*r. Is p at least as big as 86/23?
False
Let p = 3.05 + -3.414. Let w = p - -0.194. Which is greater: w or -3?
w
Let l = 8240 + -8241. Which is greater: 1/3499 or l?
1/3499
Let x = 2279 - 2279. Is -8/969 greater than or equal to x?
False
Let o = -0.07 - -6.56. Let c = 1.49 - o. Is -2 greater than or equal to c?
True
Suppose -2*y - 40 = -2*l, -5*l = -0*l + y - 70. Let w = -328 + 317. Let u be (w + 776/72)/(4/(-294)). Which is greater: l or u?
u
Let a = 685/4 + -18479/108. Suppose 3*q + 9*q - 7*q = 0. Is a greater than q?
True
Suppose 4*n - 8 = 0, -12*l + 15*l - 4*n = -1988. Let m = -614 - l. Which is smaller: m or 44?
44
Let q be ((-9952)/48)/((-2)/(-63)*7). Which is smaller: q or -935?
-935
Suppose 0 = -4*l - 0*l + 200. Let w = l - 54. Let a be (6/w)/(6/(-4)). Is a < 0?
False
Let k be 748/12 - (-14)/21. Let l be 1/5 + k/(-15). Let h = 24 - 27. Which is smaller: h or l?
l
Let f = -374 + 325. Let d be f/(-7) - 6 - 14. Is -15 greater than d?
False
Let j = -15769/6 - -2628. Which is smaller: -330 or j?
-330
Let u = -579 + 6394/11. Let y(t) = -14*t**3 + 86*t**2 - t - 65. Let v be y(6). Which is bigger: v or u?
u
Let x be 4/6 + (-30)/(-9). Suppose 5*t - t - 64 = 4*r, x*t - r = 49. Let n be (38/2 - 16)*4 + -2. Is n at most as big as t?
True
Let j(h) = -9*h**2 + 5*h - 11. Let y be j(2). Let l = -13 - y. Suppose 0 = -5*a - 4*r + l, 2*r + 15 = 4*a + r. Is a < 10/3?
False
Suppose u + 6 + 7 = 3*r, -2*r + 7 = u. Let j be 0/(u*(-3 - -4)). Which is smaller: -1/226 or j?
-1/226
Let t(o) = o**3 - 4*o**2 - 4*o - 2. Let h be t(5). Let n(m) = 7*m**3 - 13*m**2 - 8*m**h + 7 + 11. Let l be n(-13). Does 19 = l?
False
Suppose 37*d - 220 = 4*p + 39*d, 5*d = 3*p + 191. Let g(x) = 2*x**3 - 6*x**2 + 2*x + 3. Let s be g(4). Let z = s + p. Which is bigger: z or -12?
-12
Let t = 0 - -0.5. Let l = 206.9871 - -0.0129. Let q = l - 206.9. Is q <= t?
True
Let l be 5/(-15) + 14965/(-36). Let n = 416 + l. Let t = 11 - 11. Which is smaller: t or n?
n
Let y = 231 + -422. Let f = -19 - y. Is f < 171?
False
Let q = -48090.01 + 48334. Let h = -233.9 + q. Let b = h - -0.91. Which is smaller: 0.2 or b?
0.2
Let o be ((-4)/10)/(6/(-690)). Let r = 52 + o. Are 96 and r unequal?
True
Let g be (15/865)/(7/(-1490)). Let q = g - 4/173. Is -5 equal to q?
False
Let v = 130465/635885397 - 1/59927. Is -1 at least as big as v?
False
Let l = 7947/35 - 1136/5. Do l and 5 have the same value?
False
Let j be (-1)/(-3) - (-142)/60. Let a = 139/20 - j. Suppose -507*b - 3834 = -1785*b. Which is smaller: a or b?
b
Let t(n) = 81*n - 318. Let h be t(8). Let l = h + -12869/39. Are l and 0 unequal?
True
Let x = -0.016 - 0.084. Let i = -294 - -136. Which is smaller: x or i?
i
Suppose 31*t = 7*t - 3720. Let j be (-152)/t + (92/20 - 5). Is j > 0?
True
Let r be 6*(4/(-14) - 19/(-42)). Let q be (-1)/(r/(-4))*(-35)/620. Do q and 0 have the same value?
False
Let l = 3107 + -3112. Which is greater: 15/2 or l?
15/2
Suppose 4*p + 5*j + 218 = 0, p - 5*j + 19 = 2. Is -47 >= p?
True
Let c be 16*((-15)/(-6) + -1). Let z be 4856/276 + (-84)/(-12). Let g = -64/69 + z. Which is greater: g or c?
c
Let m(a) = 20957*a + 251864. Let n be m(-12). Suppose 4*l - 1526 = 3*z, 0*l + l + z = 378. Is l at most n?
True
Suppose -5*v + 3219 = 4*t - 10*v, 16*v + 1596 = 2*t. Are t and 807 equal?
False
Let m(a) = 5*a**3 + 2*a**2 + 5*a + 6. Let o be m(-2). Let y = 40 + o. Which is greater: 1 or y?
y
Let m(f) = -57*f**2 - 2*f + 26. Let a be m(-6). Which is greater: a or -2013?
-2013
Let x = 52.10821 - 0.10821. Let d = -0.19 + 48.19. Let i = d - x. Is i at least -6?
True
Let z = -73.2 + -9. Let u = -82 - z. Is u smaller than -5/7?
False
Suppose 4*r + 2*q = 6*q + 104, -4*q = 3*r - 71. Let v be -2 + ((-39)/(-52) - r/(-4)). Which is greater: 10 or v?
10
Suppose -5*m + 2*z + 90 = 0, 0 = 4*m + 3*z + z - 44. Let i = 103 - 103. Suppose -8*x + 194 - 58 = i. Which is smaller: x or m?
m
Let s be (-4)/2*8/352. Let c be 29/(-28) + (-2)/(-7). Is s greater than or equal to c?
True
Let p(o) be the third derivative of -1/120*o**6 - 7/2*o**3 + 0*o + 1/5*o**5 + 0 - 3/8*o**4 - 11*o**2. Let n be p(11). Which is greater: -2/9 or n?
n
Let k = -131248 - -52630422/401. Do k and 1 have different values?
True
Let y be ((-428)/7)/(11 + -9). Let d = y - -649/21. Is d greater than 203?
False
Let v = -3401742/2587 - -12402/199. Is v equal to -1252?
False
Let a = -348425/234 - -1489. Let r = 26354 + -26355. Which is smaller: r or a?
r
Let u(m) = -m**3 - 12*m**2 + 14*m + 8. Let z be u(-13). Let l(j) = j**2 + 7*j + 19. Let i be l(z). Let d be (-1 + i/5)/(30/75). Are 1 and d unequal?
True
Let w = 6635 - 6635.1. Is w not equal to -6/251?
True
Let q = 7.25 - -8.75. Let n = 4.9 - 7.6. Let a = 3 + n. Is a != q?
True
Let c be ((-7)/9352)/(52/(-78)). Is c > 0?
True
Let a = -55 - -13.8. Let l = -8.2 - a. Let r = l + -48. Which is smaller: -1 or r?
r
Let l(i) = -423*i - 422. Let k be l(-1). Is 4/295 at most as big as k?
True
Suppose 28*v - 34*v + 12 = 0. Suppose -v*k - 2*q + 241 = 23, 2*q = 6. Which is smaller: k or 105?
105
Let p = -6774 - -6770. Which is smaller: 77 or p?
p
Let r(l) = l**2 - 16*l + 4. Let b be r(12). Let s = -44 - b. Let x be 0 + s/1 - 12/6. Is -2 greater than x?
False
Suppose -24*x = -95*x - 71. Let l = 2452/49 + -50. Which is smaller: x or l?
x
Suppose 3*b - 13 = g, 5*g - 3 = b + 2. Suppose 0*n = g*n. Let y = 1315/11 + -120. Which is smaller: n or y?
y
Let k = 852 - 1193. Let w = -342 - k. Are 5/36 and w nonequal?
True
Let b = -97159/594 - -2947/18. Is b not equal to 1?
True
Let j = -45 - -56. Suppose -2*t = -j - 1. Suppose u + 26 = t*u + 2*d, 2*d = -2*u + 14. Which is smaller: u or 0?
0
Let t(l) = -l**2 + 7*l - 8. Suppose 4*z + 7 + 5 = 4*b, -6 = -2*b + 4*z. Let m be t(b). Suppose -3 = 3*p - 2*c, 4*p - 2*c + 0 = -m. Is 4 bigger than p?
True
Let z(l) = l**2 + 11*l - 14. Let g be z(-13). Let a = 42 - g. Let m be (-78)/5 - 12/a. Which is greater: -15 or m?
-15
Let o = 450601/245745 - 233/127. Is 1/4 <= o?
False
Let p(r) = 18*r - 24. Let i(j) = -2*j + 2. Let a(g) = 12*i(g) + p(g). Let l be a(-4). Is 18 less than l?
True
Let u = -491 - -493. Suppose 3*c - 5*c + 6 = 0. Suppose -k + n = -u*k, -c*k + 5*n = 0. Which is smaller: -1/53 or k?
-1/53
Let u = 10792 - 10769. Is 0.061 bigger than u?
False
Let a = 254 + -266. Let v = 15 + a. Which is smaller: v or 0.19?
0.19
Let m = -1900 + 1910. Do m and 105 have the same value?
False
Let b be 12 - (5683/(-2))/(4/(-8)). Is b <= -5674?
False
Let x(l) be the third derivative of l**5/10 + l**4/12 - l**3/3 - 10*l**2. Let y be x(-2). Let b be (y/72)/((-1)/(-44)). Is 9 <= b?
True
Suppose -3*y - 1639 = -10*l, 5*l + 2*y - 439 = 405. Suppose 2*s - s = 164. Is s less than or equal to l?
True
Let v(s) = -3*s**2 + 28*s - 20. Let i be v(8). Let m be -237*(-2)/3*(-6)/i. Let p = m + 74. Is 0.07 != p?
True
Let m(d) be the first derivative of -d**3/3 + 9*d**2/2 - 4*d - 13. Let o be m(8). Suppose 0 = -o*b, 0 = 6*v - v - 2*b. Which is bigger: v or -7?
v
Let k = 240 + -256. Let v(i) = -i**3 - 4*i**2 + i - 13. Let d be v(-4). Are k and d equal?
False
Let l be (-1)/(2 - (-34)/(-8)). Let c be ((-118)/60 - -3)*1 + 2928/(-2196). Are l and c nonequal?
True
Let y = 1/34 - 0. Let c(u) = -u - 8. Let k = -10 + 1. Let w be c(k). Which is smaller: y or w?
y
Let y(x) = x**3 - x**2 - 2*x. Let r be y(0). Let o(c) = c**2 - 4*c + 2. Let h be o(r). Let j = 3 - 4. Which is greater: h or j?
h
Let h be -1 + (-6)/9 - ((-24)/(-3))/(-8). Do h and -895 have the same value?
False
Let f(z) = -2*z + 12. Let o(l) = -6*l + 35. Let d(t) = -17*f(t) + 6*o(t). Let w be d(3). Let y be (w/(-2 - -1))/(-4). Is y greater than or equal to 1/14?
False
Suppose 0 = 3*q + 3*k + 231, 51*q + 2*k = 53*q + 182. Which is smaller: -79 or q?
q
Let c = -269/1395 + -2/279. Which is greater: -1.25 or c?
c
Let p = -2 - -8. Suppose -p*j + 6 + 18 = 0. Let w(y) = 7*y - 46. Let n be w(8). Which is bigger: j or n?
n
Suppose -50*t - 8 = -46*t. Let j(y) = y**2 - 1. Let l be j(t). Suppose d + 3 = -3*r, -4*r + r - l = 0. Which is smaller: d or 1/29?
d
Let p = -122/465747 - 12308748662/49834929. Let n = p - -247. Is 0 at least as big as n?
False
Let d be (-3)/4 + (-9264)/(-5952). Which is greater: 0 or d?
d
Let p = -131 + 79. Let j = 10 + p. Let d = -39 - j. Which is smaller: 1/12 or d?