t d(g) = -g + 20. Let a be d(l). Is 10 at least a?
True
Let y = 35303 + -35302. Which is smaller: y or 11/1332?
11/1332
Suppose -1365 - 152 = -41*r. Let v(f) = f**3 - 4*f**2 - f - 1. Let w be v(6). Suppose -w - 9 = -2*d. Is d less than or equal to r?
True
Let l be 1/(4/30)*(-4096)/(-768). Let f(q) = 21*q - 1. Let b be f(2). Is l <= b?
True
Let j(t) = -2*t**2 + 10*t. Let h be j(0). Suppose h = -14*c - 1322 - 246. Does -112 = c?
True
Let g = -65 - -74. Suppose -g - 9 = 3*y. Which is bigger: y or -1/2?
-1/2
Suppose -960 + 941 = x + 3*q, 0 = 3*q + 18. Does x = -7/80?
False
Let j(c) = 44*c - 401. Let a be j(10). Suppose 3*v = -2*m - 16, m + 3*v = 31 - a. Are m and -7 unequal?
True
Let v(z) = -2 - 5*z + 22*z**2 - 3*z**3 - 52*z**2 + 25*z**2. Let x be v(-2). Suppose x + 5 = 2*u - 5*l, -u + l = -13. Is u smaller than 17?
True
Let i be (-19005)/(-550) + 1/((-5)/(-2)). Let y = -75/2 + i. Let s = 778/297 + y. Is s smaller than -1?
False
Let g = -1929/7 + 275. Let h be 2/(-2 + (-280)/(-15)). Let b = -29/175 - h. Which is smaller: b or g?
g
Let h = -1978 + 1441.175. Let q = -537 - h. Is 2 equal to q?
False
Let f = 105 + -171. Let k be 90/(-2)*f/(-385). Is -9 at least k?
False
Let n = -526 - -790/3. Which is greater: n or -263?
n
Let p be (2 - -99) + 3 - -5. Let k = p - 108. Which is smaller: k or 2?
k
Let o = 1 - 5. Let n be -6*12/16*o/6. Suppose n*v - i - 10 = -v, 2*v - 12 = 4*i. Does 8/5 = v?
False
Let d be (-2)/((18 - 10) + (-2058)/259). Which is smaller: d or 111?
d
Let p = 70079/5 - 13971. Which is greater: p or -1?
p
Let l(d) = d**3 - 30*d**2 + d - 28. Let g be l(30). Let v be -6 + (7544/48)/23. Does g = v?
False
Suppose -3988*p = -4014*p. Which is bigger: -66/155 or p?
p
Let o be (-1330)/(-6)*6*(-9)/(-45). Is 272 at least o?
True
Let p = -359 + 348. Let d = -10 - p. Which is smaller: -1/1315 or d?
-1/1315
Let v = 13975 - 14318. Is -343 less than or equal to v?
True
Let s = -194.573 + -0.427. Let c = s + 194.53. Let o be 25/35 - 2/(-7). Are o and c unequal?
True
Let y(o) = -7*o**2 - 37*o - 7. Let h be y(-5). Let s be (3/(h/142))/(160/(-80)). Is -71 less than s?
False
Let x(g) = g**3 + 28*g**2 + 20*g - 19. Let r be x(-27). Let o be (-2)/(-8) + (-24316)/(-144). Let y = o - r. Which is bigger: y or 0?
0
Let x = 7898/251 - -17/502. Which is smaller: 7/8 or x?
7/8
Let f be (464/40 - 12)/((-1)/(-20)). Let t(p) = p**3 + 11*p**2 + 20*p - 43. Let g be t(f). Is -19 less than g?
True
Suppose -j + 2*q + 714 = -11*j, -4*j = 5*q + 315. Is -74 less than or equal to j?
True
Let k be (0 + -6)*(-1)/(-2). Let m be 6/3*(-68)/(-84). Let b = -5/7 - m. Is k not equal to b?
True
Let l = 338 - 333. Suppose -4*y + 9*y + j = 625, -l*y + 2*j + 640 = 0. Is y bigger than 126?
False
Let f be (-94)/658 - (113/14)/((-1)/2). Is 13 less than f?
True
Suppose 0 = 4*g + 4*a + 12808, 0 = 934*g - 929*g - a + 16010. Is g at most -3202?
True
Let m = -6775 - -6774. Is 83/5 >= m?
True
Let a = -145744692/439747 + -4/62821. Which is smaller: a or -331?
a
Let y(k) = -k**2 - 52*k - 762. Let o be y(-27). Which is smaller: o or -86?
o
Let w = -726 - 202. Let n be -3 + w/(-154) - 3. Suppose 0 = 12*g - 11*g. Is g < n?
True
Let b(c) = 41*c - 1120. Let n be b(28). Let g be (-160)/(-26) - (-2)/(-13). Suppose -2 = 2*r, -4*r = 4*o - g*r - 118. Which is smaller: n or o?
n
Let m(z) = -z**2 + 12*z - 14. Let r be m(10). Suppose -b - 5*p = 3*b - 72, 12 = -3*p. Suppose -r = d + b. Is -29 < d?
False
Let d = 686 + -684. Which is greater: 24/35 or d?
d
Let h(d) = -d**2 - 5*d. Let g be h(-5). Let x be (5510/11310)/(4/12). Which is smaller: g or x?
g
Let z = 0.03871 + -539.13871. Let a = -539 - z. Do -3 and a have different values?
True
Suppose 4*l + 170 = -l. Let p = 23 + l. Let m be 0 - (-9)/(-3) - p. Which is greater: m or 13/2?
m
Suppose 0 = -4*u - 3*s + 376, 0 = -s + 2 + 2. Let i be 2/14*-1 + u/715. Which is smaller: i or 1?
i
Suppose 5 = -26*b - 99. Let y be b/(-22) - 483/(-594)*-2. Which is smaller: y or -1?
y
Let w be (8 + -738649)*(3 + -1). Let o = 150686683/102 + w. Let v = -227/6 + o. Which is smaller: 1 or v?
v
Let i be (-205)/(-2)*2/20. Suppose -2 = j, -2*t + 5*j - 1871 = 321. Let q = t - -1111. Which is smaller: q or i?
q
Let m(c) = -4*c + 6. Let h be m(3). Let j be 1 + -1 - (-1 + (h - 13)). Suppose -2*g = -3*f + 2*g + j, -g - 5 = f. Which is bigger: -1/90 or f?
f
Let u be (10/3)/(2/3). Suppose 0 = -u*d - 28 - 27. Suppose -p + 0*p - 3 = 0, -3*s - 24 = -p. Is d not equal to s?
True
Let k(u) = -9*u**2 - 12*u + 14. Let m be k(-10). Let x = m - -6143/8. Let i(a) = -a**2 - 3*a - 1. Let l be i(-1). Which is smaller: l or x?
l
Let k be (-1*18/1917)/(2/(-6)). Which is greater: k or 2.3?
2.3
Suppose -18 + 88 = 70*i. Is i < -2/6267?
False
Let m(c) = c**3 + 16*c**2 - 131*c + 36. Let d be m(6). Let s(n) = -41*n**3 - n - 1. Let v be s(-1). Which is smaller: v or d?
v
Suppose 21*g + 131*g = -41*g + 1158. Is 321 >= g?
True
Let z = -174465/74 + 10327135/7326. Let g = -948 - z. Let d = -463 + 464. Which is greater: g or d?
d
Let u be (315/20)/9 - 38824/22176. Which is greater: u or 1?
1
Suppose 0 = -x - 4*f - 16, -5*x + 5*f + 2 + 18 = 0. Let z be (7/(-63)*x)/2. Suppose 3*a - 3*u - 30 = 0, 8 = 3*u + u. Is a bigger than z?
True
Let b = 100.883 + -101. Let z = 0.413 - b. Let f = -0.43 + z. Is f greater than or equal to 5/6?
False
Let q(t) = -1432*t - 7091. Let d be q(-11). Is d less than or equal to 8661?
True
Suppose 15 = 3*s, -3*s = 5*y - 27 + 7. Suppose -3*f + 4*f = -3*u + 118, 0 = -3*u - 3*f + 126. Which is greater: u or y?
u
Let a = -46082 - -127416732/2765. Is 1 at most as big as a?
False
Let o be 14/(-140)*5*(0 + -3 - -1). Do o and 1/779 have different values?
True
Let q = 6297 + -6273. Which is smaller: 280/11 or q?
q
Let p = -4948 - -4495. Is -454 at most as big as p?
True
Let n = 3489 + -6977/2. Is n at least as big as 715?
False
Suppose -5*s = -4*f + 11, 0 = 3*f - 11*s + 15*s - 47. Let d be (-12)/f*(-72)/10. Which is bigger: 0.1 or d?
d
Let b be (-36)/(12/4)*-20. Suppose 0 = -246*k + b*k + 330. Is k at least 55?
True
Let x be (65/26)/(20/24). Suppose 0 = x*z + 4*o - 6*o + 5, -2*z = 5*o - 3. Let r be 0 - ((-2)/15)/2. Is z at most r?
True
Let b = -7469 - -7700. Which is greater: 1381/6 or b?
b
Let y(r) = -20*r + 75. Let m be y(-7). Let x = m + -215. Is x at most as big as 5/69?
True
Suppose w + 13 = 5*m, 6*w = -6*m + 10*m. Which is smaller: 59/21 or w?
w
Let o(l) = -4753*l - 9519. Let a be o(-2). Let p = -2 + -17. Are a and p non-equal?
True
Let z = -9/4 - -2. Let q(m) = 28 + 12*m + 15*m + 14*m - 44*m. Let k be q(9). Is k != z?
True
Let a = -2911 - -2921. Which is smaller: -2 or a?
-2
Let u be 9536/894*18/(-20). Suppose 2*m - 4*z + 26 = 0, -5*m - 2*z - 54 = -1. Which is greater: u or m?
u
Let b = 2237/10 + -33421/150. Which is smaller: b or 2?
b
Let o(x) = -4*x**2 - 2*x + 6. Let d be o(-6). Let y be 8/28 + 1944/56. Let p be (-10)/(-22)*d/y. Are -1 and p non-equal?
True
Suppose 8*l - 3*l + 885 = 0. Let k = l - -178. Which is greater: -1/54 or k?
k
Let d = -843 - -828. Is -13 > d?
True
Let b be (-5)/7*((-32)/48)/((-28)/(-6)). Suppose -5 + 3 = -2*q. Is q less than b?
False
Suppose -34*j = -200*j. Is j <= -3/6089?
False
Let d = 378.78 - 396.78. Is 3.11 smaller than d?
False
Let w = 3088 - 5263. Is w bigger than 1?
False
Let w = 27437437218 + -27519753411266/1003. Let u = w + 3870. Which is greater: u or -1?
u
Let r = 1359/7790 + -7/38. Let u = 0.2497 + 0.7503. Which is greater: u or r?
u
Let y = -0.301 - 154.699. Let m = y + 167. Does m = -5/3?
False
Let s(i) = -2*i + i**3 - 4*i**2 - 2 - 2 - 1. Let c be s(4). Suppose 2*t + 58 = -4*b, 0*t + 2*t - 26 = 2*b. Which is greater: b or c?
c
Suppose -4*z - 3*z + 56 = 0. Let j = 4 - z. Let g be (150/(-18))/(j/(-6)) - 0. Is g greater than -12?
False
Let w = 9109 - 7717. Are 9 and w equal?
False
Suppose -8*v - 128 = -0*v. Let q be (((-1216)/(-48))/(-1))/((-5)/(-3)). Which is bigger: q or v?
q
Let a be 9 + 3/(-10 + 9). Let f be 7/((-98)/(-20)) - 2. Which is smaller: f or a?
f
Let i = 1297 + -1299. Let x = 1272 + -17823/14. Is i < x?
True
Suppose x = 2*p - 1 + 6, 3 = -3*p - 3*x. Let s be (-4)/(-3) - (5 + (p - 5)). Which is smaller: s or 4?
s
Let p = -13350 - -13346.5. Let u = 1 - -1. Do p and u have the same value?
False
Let r be (-2)/(0 - -2) + 3. Suppose 4*y + 7*a - r*a = 85,