 = 0. Let z be ((-3)/k*-2)/(-3). Which is bigger: n or z?
z
Let u be (11 - -7) + 3/1. Let i be (168/(-880))/u*18. Is 0 bigger than i?
True
Let u be (55259722/(-36))/((-93)/(-9)). Let q = u - -148548. Let v = -6/31 + q. Which is bigger: v or 1?
1
Let s be (18/(7 + -61))/(-12*(-4)/2286). Let b be ((-4)/2)/(8/68). Is s less than or equal to b?
False
Let k = 1/9679 - -667831/193580. Let z = k - 1597/60. Is z greater than or equal to -24?
True
Suppose 0 = -11*j + 6*j - 3*r + 26, 2*r + 20 = 2*j. Suppose -j*v - 18 = 3. Which is smaller: v or -9/8?
v
Let w = -1689.8 - -1689.98. Are w and 189 equal?
False
Suppose -394*i = -441*i. Which is bigger: i or 2/3319?
2/3319
Let h be 0/(1 + -4 - -5). Suppose 4*o - 1565 + 4733 = h. Let t = -27718/35 - o. Which is greater: 1 or t?
1
Let o be (-4)/1*(186/(-24) - -7). Let q be o*(4 - 16/12). Let n be (-20)/q*22/5. Is n bigger than -12?
True
Suppose 20*v + 122 = -318. Which is smaller: v or 23?
v
Suppose 0 = 2*k - 2*c - 710, 8*c = 5*k + 6*c - 1763. Let m = -1746/5 + k. Which is bigger: 3 or m?
3
Let i be ((-9)/(-463))/((-99)/(-165)). Which is smaller: i or 0?
0
Suppose -15*l = -14*l - 26*l - 25. Is l >= -19/29?
False
Let n be (-288)/(-153) + ((-60)/(-85))/6. Are n and 916 nonequal?
True
Let s = 3.3 - 1.4. Let w = 14.1 - s. Let b = w + -12. Do -2/7 and b have different values?
True
Let s(b) = b**3 + 2*b**2 + 2. Let k(a) = -4*a**3 + 13*a**2 - 26*a - 57. Let z(i) = -k(i) - 5*s(i). Let l be z(-24). Is l != -2/251?
True
Suppose -5*x + 7*x = -28. Let a(m) = -2*m - 1. Let u be a(-8). Let k = u + x. Which is smaller: -3/13 or k?
-3/13
Let i = -14 + 17. Let v be (1 - 3) + i - 2. Let a = -1/162 - 401/648. Is a greater than v?
True
Let u be -2*-2*5/20*330/25890. Which is smaller: 1 or u?
u
Let z(w) = 5*w - 58. Let s be z(12). Let v be (s/8)/((-342)/24). Which is smaller: v or 0?
v
Let q = -13/106 - -927/7526. Which is smaller: q or 0.1?
q
Let y(t) = 7 - 9*t + 25 + 2002*t**3 - 2001*t**3 - 11*t**2. Let n be y(11). Which is smaller: n or -68?
-68
Let k = -2310 - -105. Which is smaller: -2206 or k?
-2206
Let d = 58 + -82. Let z be (48/18)/2 + (-2)/(-3). Suppose 2*u + u + 54 = 4*v, -z*u - 32 = -4*v. Is u < d?
False
Let y = 27 - 81. Suppose 0 = 49*i + 18*i - 2747. Let p = i + y. Is -23/2 <= p?
False
Let u be 8*2/4 + -327. Suppose -8*r + 3*l = 2608, 3*r - 45*l + 42*l = -993. Is r greater than u?
False
Let a = 140 - 29. Let v = 79 - a. Let t = v + 32. Is 1/8 smaller than t?
False
Let w = 1058575/17 - 62289. Which is bigger: -20 or w?
w
Let m be ((-23933)/(-63))/13 + (4/(-18))/1. Which is smaller: 41 or m?
m
Suppose 4*k - 44 = -24. Let n be (-1)/2 + k*428/4200. Let y = n - 223/1365. Is 4 equal to y?
False
Suppose 22*a = -122*a + 4608. Is -0.58 less than a?
True
Suppose 0 = 2*p - 4*a + 100, 26*a + 97 = -2*p + 27*a. Are p and -96 unequal?
True
Let k = -0.063 - 32.937. Let s(u) = u + 3. Let c be s(-3). Is k < c?
True
Suppose 6*d + 8*d = -7*d. Which is smaller: d or 0.292?
d
Let u(b) = 17*b**3 + 5*b**2 - 5*b + 2. Let n be u(-5). Let j = 13851/7 + n. Let x(i) = 82*i + 5. Let v be x(0). Which is smaller: j or v?
v
Let q = -60.575 + 61. Let x = q - -0.075. Is -0.6 at most x?
True
Let x = -604/3 - -158858/789. Which is greater: 1 or x?
1
Suppose 5*r = -129*b + 128*b - 587, -4*r + 2*b - 478 = 0. Which is bigger: r or -121?
r
Let o = 5751 + -224275/39. Let v be -8 - (1092/(-91) + (9/(-3) - -8)). Which is greater: v or o?
o
Let q be -4*(-36)/(-528) - 137/(-583). Let d(c) = -c**3 + 1. Let k be d(0). Let n = k - 0. Do n and q have different values?
True
Let i = -29 - -45. Suppose -11*c + 15*c = -i. Let t be c/(-10) - (285/25 - -2). Is t >= -12?
False
Suppose 8*o - 12*o = q - 11, q - o - 1 = 0. Suppose 2*t + 5 = q*k, 6 = -4*k + t + 11. Which is smaller: k or 1/199?
1/199
Suppose 633*w = 623*w - 2390. Suppose -3*t = 4*y + 936, 17*t - 18*t = -3*y - 715. Which is smaller: y or w?
w
Suppose 2*t - 24 = -2. Let i = 67 + t. Let h be 2/8 + i/8. Are -1/2 and h unequal?
True
Let y be 3499/(-1167) - (1 - 4). Let g(k) = 944*k - 11329. Let b be g(12). Which is smaller: b or y?
b
Let g(q) = 5*q**2 - q - 3. Suppose -4*o = 7 + 1. Let a be g(o). Suppose -13*p = -a*p + 324. Which is greater: p or 55?
55
Let o = 2253/12452 - -1/1132. Let h = -4 + 2. Let l = h + 2. Do l and o have the same value?
False
Let c = -2/5705 - -251038/51345. Is c > 0.03?
True
Let m = 90.1 + -98. Let q = -2.112 + -5.788. Let u = q - m. Are -2/75 and u non-equal?
True
Let v = 402 - 394. Let y be v - (25/(-555) - -8). Is 0 equal to y?
False
Suppose -n - 5*s - 30 = -215, 3*n = -4*s + 610. Let g = 209 - n. Is -2/429 greater than g?
True
Suppose -171*g + 24000 = -155*g. Which is greater: g or 1501?
1501
Let a = 589/16 - 582441/15824. Which is greater: a or 1?
1
Let o(i) be the second derivative of -i**4/3 - 2*i**3 - i**2 + 72*i. Let h be o(-3). Do -7/5 and h have different values?
True
Let a = 38913.977 + -38851. Let t = a + 0.023. Let x = 64 - t. Is x != -17?
True
Suppose -109*h - 59934 = -88*h. Is h <= -2854?
True
Let n(q) = -1426*q**2 - 439*q - 439. Let m be n(-1). Which is greater: m or -1427?
m
Let y be (4014/360)/(3*5/(-45)). Do y and -34 have different values?
True
Suppose 30*u = -118*u - 147112. Which is smaller: -1 or u?
u
Let t(u) be the first derivative of -u**4/2 + 4*u**3/3 + u**2/2 + 2*u - 105. Let k be t(0). Is 0.05 greater than or equal to k?
False
Suppose -6*k = -45*k + 26*k. Which is smaller: k or 180/221?
k
Let h(c) = -4*c + 21. Let u be h(-11). Let r = -82 + u. Let n be (13/(-104))/(r/6). Is 0 >= n?
False
Suppose -4*f + r - 16 = 0, -3*f - 2*r = 6 - 5. Suppose 13*s - 149 = -32. Is f smaller than s?
True
Let n be ((-3)/5)/(6/(-30)). Let s = -347 + 349. Suppose 0 = s*l + 3*l + w - 7, -4*l - n*w - 1 = 0. Which is smaller: l or -2/25?
-2/25
Let y = -250 - -255. Let h be (y - 1)/(-10 - -4). Which is smaller: 172 or h?
h
Let u = 18996 + -18995.2. Is -0.01 bigger than u?
False
Let c = -1.33 + 20.33. Let b = c + -18.7. Which is greater: 1/8 or b?
b
Let a be (-63)/(-12)*(-1 - 95/(-15)). Let m be -1 - ((-53)/2 - 2). Which is smaller: a or m?
m
Suppose 656 = -11*s + 52*s. Is s greater than -95?
True
Let z be 2349/(-216)*4/(-6)*2. Which is bigger: z or 7?
z
Let t = 494 + -2009/4. Let y be (3/4)/(129/344). Suppose 2*v - 8 = 2*r, 2*r - 6*v + 14 = -y*v. Which is smaller: t or r?
t
Let q = -10 + 30. Let l = -253 - -272. Let t = l - q. Which is bigger: -2/345 or t?
-2/345
Let w(d) = 1012*d + 2068. Let s be w(13). Is 15223 greater than s?
False
Let m be 5/(-39)*(-240)/6000. Is 0.4 not equal to m?
True
Let q be 16/72264*(9*4/12)/1. Is 0 at least q?
False
Let d be 5/(-2)*(-12)/10. Let a be -3*(24/6 + -5). Suppose -3*x = a*m - 3, 8*m - 3*m = -15. Which is smaller: d or x?
d
Let g = -464647/11 - -42071. Is -170 greater than g?
False
Suppose 30*j + 6598 = 138 - 4850. Which is greater: j or -753/2?
-753/2
Let r(a) = 3*a**2 + 31*a + 21. Let g be r(-10). Are 21 and g unequal?
True
Let z(f) = 11*f + 48. Let p(q) = 9*q + 47. Let j(l) = -6*p(l) + 5*z(l). Let r be j(19). Is -22 not equal to r?
True
Suppose -2*q + 0*q = 46. Let p be (0 - (-51)/9) + (-12)/(-9). Suppose -2*a = -5*b + 32, 103 = p*a - 12*a + b. Is a equal to q?
False
Suppose -1 = h - 0. Suppose 2*t = 2*j + 453 - 1437, -t = j - 482. Let a = j + -11209/23. Is a equal to h?
False
Let r(t) = -2*t**2 - 50*t - 308. Let v be r(-13). Let s be (-2)/(-7) + (-201)/(-56). Is s equal to v?
False
Let c = -12223 + 12223. Let g = -1 + 3. Suppose 0 = 2*o - g*s + 44, 3*s = 4*o - c*s + 90. Is o bigger than -24?
False
Suppose -5*b - 7*z + 5 = -6*z, 5*z - 1 = -b. Let g(n) = 35*n**2 + 2*n - 4. Let v be g(b). Is -1 greater than or equal to v?
False
Let x be 2741636/2040 - (-2)/20. Let d = 1344 - x. Which is bigger: d or 1?
1
Let n(t) = -t**3 - 16*t**2 - 46*t + 24. Suppose 0 = 2*q + 4, 30 + 28 = -5*f + q. Let m be n(f). Is 2/209 greater than or equal to m?
True
Let i = -49.56 - -49. Let g = i - -0.46. Let r be (-70)/198 + 44/99. Which is greater: g or r?
r
Let q = -3443 + 37386/11. Which is bigger: -44 or q?
-44
Suppose 3*i = 0, 10 = 13*f - 8*f + 3*i. Suppose 5*o + 0*o = -f*s + 501, -2*o + 213 = 5*s. Which is greater: 100 or o?
100
Let v = 4467 - 6454. Which is bigger: v or -1988?
v
Let z = 14560 - 16306. Is -1746 at most as big as z?
True
Let i be 1*(-897)/3 + 1. Le