382 = -5*z + 7*f + 104. Which is smaller: -44 or z?
z
Let r = 7 - 30. Let o = 602.53 + 11.47. Let d = 614 - o. Is d > r?
True
Suppose 3 = -3*d + k, -7 = -10*d - k - 4. Which is greater: -24/137 or d?
d
Suppose 10*p + 18689 = 24499. Do p and 583 have the same value?
False
Suppose -6*h + 5*m = 736, 5*h = -4*m - 210 - 387. Is h less than -83?
True
Let w(d) = d**2 - 6*d - 17. Let q be w(8). Let r be (2 - -45)/((-3 - -4)/q). Are -46 and r equal?
False
Let d(x) = -7*x - 286. Let m be d(-41). Let o = -961668/5005 + 1345/7. Which is bigger: m or o?
m
Let t be (246/(-20))/(2 + 3 + (-465)/25). Do 1 and t have different values?
True
Let a(b) = -116*b**3 - 39*b**2 + 12*b - 1. Let x be a(4). Is x smaller than -8001?
False
Let j = 5.1 + -39.1. Let v = -4.5818 + 4.5818. Is j not equal to v?
True
Let u = -6840 + 7062. Which is smaller: 5100/23 or u?
5100/23
Suppose 3*u + 5 = -1. Let f be (u/(-40))/((-12)/(-348)). Let z = 457/260 - f. Is z > 1?
False
Suppose -a = 128*a + 1806. Is -284 smaller than a?
True
Let z = -407/30 + 1/15. Let v be ((-15)/(-9))/(48/9 + -5). Suppose -5*n - 51 = 2*l + 10, -v*l = -3*n - 49. Which is smaller: n or z?
z
Let x(g) = -g - 15. Let q be x(-13). Let k(b) = 2*b**3 + 7*b**2 + 6*b + 2. Let a be k(q). Is 4/3 > a?
False
Suppose 3*q - 3*b + 46827 = 0, -5*q + 15406 = 2*b + 93437. Is -15607 bigger than q?
False
Suppose -5*x - 108 + 217 = g, 5*g = -x + 425. Which is smaller: 8 or g?
8
Let n(q) = q**3 - 22*q**2 + 2*q - 42. Let s be n(22). Let l be (s/(-6))/(25/255). Do -4 and l have the same value?
False
Let j = -4/2057 + -6163/4114. Is -4 not equal to j?
True
Let b = -220.4 + 896.4. Which is greater: 0.5 or b?
b
Let k = 61 - 61.6. Let h = 53 + -53. Which is greater: k or h?
h
Let s(v) = 2*v**2 + 29*v + 72. Let z be s(-8). Is z less than -261/8?
False
Let j be 3 + ((-184)/48 - (-2)/(-12)). Let i be j/8 + ((-15426)/(-1680) - 9). Let r = 2 - 1. Which is greater: r or i?
r
Let u = 0.41 + -0.81. Let l = u + 16.4. Let s = 16 - l. Is s at least as big as 22?
False
Suppose 2*u - 26 = -0*u - 4*g, 0 = 4*u - 5*g + 13. Let d(r) = -16*r + 5. Let n(z) = -92*z + 28. Let x(w) = -34*d(w) + 6*n(w). Let v be x(u). Is v at least -27?
True
Let k = 247670/53 - 4672. Are 2 and k equal?
False
Suppose -11*u - 3 = 8. Let a = 687 + -79001/115. Is a less than or equal to u?
False
Let p(l) = 3*l**2 - 483*l - 2407. Let s be p(-5). Let t(q) = 43*q - 3. Let j be t(2). Let u = j - s. Are 2/133 and u unequal?
True
Let s = -0.033 - 4.849. Let b = s + -0.118. Let d = 67 + -67.04. Is d equal to b?
False
Suppose 2*j + v - 25484 + 25513 = 0, -5*j + v - 90 = 0. Let h = -23820/7 + 3387. Is h greater than j?
True
Let i = 5404944/11 + -3215918547/6545. Let u = 9/85 - i. Are u and -3 equal?
False
Let s = 156.2 + -165.2. Let y = -488/11 - -44. Is s bigger than y?
False
Let a = -8 + -17. Let u = 76/3 + a. Let c = -207991/41 - -5073. Are c and u nonequal?
True
Let x(i) = i**3 - 11*i**2 + 4*i + 60. Let k = -880 - -890. Let n be x(k). Which is greater: -16/15 or n?
n
Suppose -18 + 26 = t. Suppose 0 = 5*f + 20, 3*u - 4*f + t = -0*u. Is u greater than 6/23?
False
Let m = 2233.01 + -2233.088. Let y = -4.6 - -5. Do m and y have the same value?
False
Let j = 5430 + -5430. Which is greater: j or 6/3163?
6/3163
Let h(m) be the third derivative of m**6/120 - m**5/5 - 11*m**4/24 - 25*m**3/6 - 3*m**2 + 13*m. Let z be h(13). Is z at most as big as 2/1333?
False
Suppose 0 = 33*u - 2001 + 87. Which is bigger: u or 46?
u
Suppose -97*w + 105 = 8*w. Which is greater: w or -1/805?
w
Let n be 1*3 - (0 + 9 + 6). Let z be 18/n*(1 - (-2)/2). Is z > 0?
False
Let u(c) = -445*c - 2007. Let i be u(-5). Is 216 not equal to i?
True
Suppose 2*k - 3*z = -1, k - 3*z = -0 - 2. Let i(o) = -25*o**3 - k + 52*o - o**2 - 98*o + 48*o. Let x be i(1). Does -25 = x?
True
Suppose 62*p = -40*p - 184960 - 123386. Which is smaller: 5 or p?
p
Let s(b) = b**2 + 3*b + 6. Let z be s(-2). Suppose z*q - 2*q + 3 = -3*a, 30 = -5*q - 3*a. Let c(w) = w**2 - 10*w + 9. Let g be c(8). Which is bigger: q or g?
g
Let q(h) = 41*h - 156. Let t be q(9). Let m = t - 127. Is m less than 87?
True
Let q = 198/19 + -1658/57. Let w(f) = 2 + f**3 + 8 - 7*f**2 - 3*f**2 - 6 - 13*f. Let v be w(11). Is q != v?
True
Let t = -400904/9 - -44900. Let l = t + -354. Which is smaller: -11 or l?
-11
Let x = 59 - 52. Let l be (-52)/(-165) + (103/15 - x). Which is smaller: 1 or l?
l
Let h = 0.06 - -0.56. Let i = h - 5.22. Let g = i + 1.6. Is g < -0.13?
True
Let l be (-3)/2*4 - ((-442)/34 - 3206). Which is greater: 3215 or l?
3215
Let p = 264 - 256.8. Let d = p - 7.4. Let b = 0.11 - -1.89. Which is smaller: d or b?
d
Let t be (-5)/(-50) + (-49166)/485460. Is 1 less than t?
False
Let q be -7 + 319/(-528)*-8. Let u = 5 - 8. Which is smaller: u or q?
u
Let f be (2 - (25 - 1))*(-1 - 1). Let n = -47 + f. Let b be n + (2 - 3) - -40. Which is smaller: b or 37?
b
Let k be (-14)/(-20)*(-1064)/(-1862). Is k < -7.925?
False
Let t = -12586 - -25776131/2048. Which is greater: t or -1?
t
Let s = -4738 - -5892. Which is greater: -3 or s?
s
Let t = 9380 + -9474. Which is smaller: t or 3?
t
Suppose 329*x + 35 = 336*x. Suppose 0 = 2*y + 2*y - 24. Let f be (-2)/x + 6*y/40. Which is smaller: 2 or f?
f
Suppose 2*i + c + 20 = 314, -5*i = -2*c - 735. Is i <= 144?
False
Let z = -18244 - -15350. Do -2891 and z have different values?
True
Let s be (-3 - 703/(-21))/(-6). Let h = -1/137 - -4665/959. Let j = h + s. Is -1 greater than j?
False
Let z(f) = 39*f - 1030. Let q be z(4). Is -874 at least as big as q?
True
Let a(f) = 8*f + 36. Let c(t) = -t. Let i(m) = -a(m) - 3*c(m). Let z be i(-8). Let l be 5*(4/z - -4). Do 24 and l have different values?
True
Let p be (112/(-21))/((-68)/12750). Which is greater: p or 998?
p
Let d = -0.1369 - -1.1369. Is 2/61029 <= d?
True
Let h be ((-5)/10)/((-12)/10). Let i(v) = v**3 - 115*v**2 - 458*v - 2144. Let q be i(119). Which is bigger: q or h?
h
Let y = -1118459181/58 + 19284639. Let c = 860 - y. Is 1 less than or equal to c?
False
Let b(q) = q**2 - 20*q - 154. Let a be b(26). Suppose 0*s + 6 = 2*s. Suppose 1 - 7 = a*i, 5*i + 27 = -s*l. Which is smaller: l or -6?
-6
Suppose 4*v + 3*v - 14 = 0. Suppose 2*t + 6 = 4*i - 3*i, 5*i - v = 3*t. Let d be ((-64)/(-56))/(t/(2 - 0)). Is d greater than or equal to 0?
False
Let f = -735 - -735.036. Let s = -0.806 + -1.23. Let j = s + f. Is j >= -16?
True
Let g(m) = -m**2 - 7*m + 2. Suppose 2*k - 6*k = 16. Let x be g(k). Let t = 8139 + -8126. Which is greater: x or t?
x
Let p = -1817/30 + 31/15. Suppose 0 = 5*a + 5*m + 310, -258*a + 262*a - 5*m + 212 = 0. Which is smaller: p or a?
p
Suppose -5*f - 6*m + 1145 = -10*m, -m = -5*f + 1130. Let d be f/(-292) - 6/(-8). Is d bigger than 1?
False
Let p(c) = -c**3 + 18*c**2 - 82*c + 10. Let j be p(9). Let h(s) = s**2 - 20*s + 14. Let v be h(13). Let f be (-7)/69*22/v. Is j not equal to f?
True
Suppose 0 = 4*q + 2*g - 416, 312 = -0*q + 3*q + 4*g. Suppose -101*s = -q*s - 9. Is -23/10 at most as big as s?
False
Let v = -181 + -2173. Is -2354 at least v?
True
Let a be 1198/(-23374) - 24/(-372). Which is bigger: 1/5 or a?
1/5
Let j be 0/((4/6)/(3/(-9))). Let h(c) = 3*c**2 + 10*c + 23 + 2 - 2*c**2 + c**2. Let w be h(-6). Which is smaller: w or j?
j
Let g = -231588 + 440975/2. Is g at most -11100?
True
Let k(d) = 25*d - 115. Let x be k(6). Suppose 4*g = 3*s + x, 3 = g + s + 4*s. Which is greater: -2 or g?
g
Let i be (-1 - -2)*0/1. Let l be (15190/196)/((0 - 1)/34). Let w be 2665/l - -1 - 8/68. Which is bigger: i or w?
i
Let l = -0.21682 + -102.25318. Let r = l - -102. Let k = -0.53 + r. Is -52 less than or equal to k?
True
Let q be -868*(-11 - (-2268)/192). Which is bigger: q or -705?
-705
Let t = 1623 - 1575. Let l(c) = 2*c**2 + 3*c - 3. Let n be l(4). Let f = t - n. Is f bigger than 7?
False
Let z = 43/14 + -39/14. Is -77 greater than z?
False
Let s(d) = -2*d**2 + 3*d - 1. Let n be s(3). Let k be 29/(-2) - (-15)/n. Suppose -r + 5*j = 11, -4*r + 3*j - 44 - 17 = 0. Is r less than or equal to k?
True
Let i = -1254334/293 + 4281. Let t = i - -2641/1172. Which is smaller: t or 2?
2
Let r = 2482 + -2475. Is r at most -19?
False
Let a = -77340650/443 + 174584. Which is greater: a or -1?
a
Let q be -3 - 1 - (-8 - -332). Let v = q - -1209. Let h = v - 12329/14. Is 0 not equal to h?
True
Let t = 