ose 2*p = -5*z + 15, -5*p - 6 - 3 = -3*z. Let r be z*20/(-4)*(-1)/3. Which is greater: r or 8?
8
Let a = -238 - -11188/47. Let z be 2 + 2 - (6 + -2). Which is smaller: a or z?
z
Let q = 76 - 71. Suppose -q*n - 8 = -9*n. Let l(t) = -14*t**2 + 8*t - 2. Let y be l(n). Is y <= -42?
True
Suppose 4*i - 3*q - 60 = -q, -2*q + 25 = i. Let s be (1/i)/(165/(-240)). Let l = s + 2950/30107. Does l = 1?
False
Let a = -350.25 - -349.66. Which is bigger: a or -2/15?
-2/15
Let x = 1361902/188445 + -42/3695. Let h = 4003/357 + x. Which is smaller: 18 or h?
18
Let z(o) = 13*o + 38. Let a(t) = -9*t - 24. Let u(b) = -8*a(b) - 5*z(b). Let n be u(-15). Which is smaller: n or -101?
n
Let m(h) = -h**2 - 8*h + 15. Let d be m(3). Let r be (d/(-24))/(2/(-48)). Which is greater: 14 or r?
14
Suppose -182 = 5*f - 47. Let a be (f/(-6) + -4)/(1/4). Let x be -9 + (2 - a/(-1)). Which is smaller: -6 or x?
-6
Let z be (9/18)/(1/14). Let s be 6 - (1 - -2) - 7/z. Suppose -8*r + 10*r = s. Is -1/163 at most as big as r?
True
Let j = 417 - 1807. Is j < 0.1?
True
Let g = 50 - 45. Suppose -q + g*w + 3 = 0, 5*q - w - 15 = -6*w. Let y be (-298)/228 + ((-2)/q - -2). Which is bigger: y or 0?
y
Let s be (-94 + 100)*(1090 - 0). Do 6542 and s have different values?
True
Let o = -817 + 750. Suppose -2*i = 75 + 61. Which is smaller: i or o?
i
Let i be 13 - (-1253)/112 - (8 - (-6)/(-2)). Is i < 18?
False
Let s be (90/12)/(-6 - -12). Let b = 1 - s. Let f = 0.08 - 0.14. Which is smaller: b or f?
b
Let v = 165429 + -402819607/2435. Let u = 2025976/17045 - v. Let n = 3761/35 - u. Which is smaller: n or -11?
n
Let i = 16603/7232 + -139/64. Which is smaller: i or 1?
i
Let c = 2868 - 2868. Which is greater: -2/41215 or c?
c
Let o = -1869.6 + 1859. Which is bigger: o or -2/3?
-2/3
Let g(l) = l**2 - 44*l - 141. Let i be g(47). Let o be (-119)/(-238)*(16/10 - i). Let n = -1 - -1. Is n at most o?
True
Let t(i) = -4*i + 360. Let c be t(42). Which is smaller: c or 193?
c
Let d be (2/(-30))/(11/3). Let x = -161 + 194. Let j = 32 - x. Which is smaller: d or j?
j
Let q(z) be the first derivative of -23*z**2 + 167*z - 252. Let v be q(4). Which is bigger: v or -21?
v
Suppose 8*g + 31 - 23 = 0. Let q be (g/82)/((-30)/(-120)). Suppose -l - 4*l = 5. Are l and q unequal?
True
Suppose -11 = 4*y - 3*v, -2*y = -y - 3*v + 5. Let m = 36 + -60. Let f be 2/(-4) + (-156)/m. Is f < y?
False
Let r = 8/18825 - 18857/75300. Let u(n) = -20*n**2 + n - 1. Let j be u(1). Which is greater: j or r?
r
Let w be 25/5*((7 + -1 - 6) + 3). Let z = -53 - -67. Which is bigger: w or z?
w
Let p = -88688513/1463 + 60621. Let r = p + 17964/1463. Which is smaller: 12 or r?
12
Let b = -506 + 505.91. Is 354 greater than or equal to b?
True
Let k be (30/(-1))/((-6)/6). Let s = k - 43. Is -23/2 greater than s?
True
Let n = -58.1 + 1048.1. Let c = n - 1002. Which is smaller: -0.05 or c?
c
Let z = 46.24 - 8.37. Let i = z + -0.87. Let x = i + -48. Is x greater than -2/3?
False
Let x = -11076 + 10343. Which is greater: -738 or x?
x
Let k be 6/21 - (-1396)/(-5376). Is k at least -2?
True
Suppose -3 = -4*f - 11, 2*t + 106 = -2*f. Let k = 47 + t. Let s be k*(-4)/16*(3 + -2). Is 0 bigger than s?
False
Let w be 2/10 + ((-168)/(-30))/7. Suppose -9 = -3*f + 3*c, -32*c + 30*c + w = 5*f. Let l = -2/41 - -57/328. Which is smaller: l or f?
l
Suppose 0*t + 2*t = 7*t + 16245. Which is smaller: t or -3248?
t
Let m = -1525 + 1790. Is m < 269?
True
Let p be ((-2)/(-6) + -1)*(-45)/(-30). Does 3/616 = p?
False
Let i be -30*15*(-12)/(-900). Which is smaller: -1/42 or i?
i
Suppose -v - 3*v = -5*o - 15, -4*v + 3 = -o. Let g be 53404/(-703547) + (-6)/(-69). Is g at most v?
False
Let l(b) = 0*b - 4*b - 2*b**2 + b**2 + 5 + 7*b. Let z be l(-5). Let p be 4/(-10) + (-1512)/45. Which is smaller: z or p?
z
Let h = 11.087 + -5.087. Is h bigger than 5/13?
True
Let z be 32 + (0 + 1 - 2). Let s(h) = 9*h + 47. Let i(g) = 7*g + 46. Let d(o) = 4*i(o) - 3*s(o). Let q be d(-11). Which is smaller: q or z?
z
Suppose 206*q - 57 = 222*q + 39. Which is greater: -65/11 or q?
-65/11
Suppose 2*b + 22 = 3*p, 2*p + 3*b - 28 = b. Suppose 217 = -21*g - p*g. Which is bigger: g or 3?
3
Let f = 16610703363236/1083 - 15337673409. Let i = -8480/3 + f. Which is bigger: 1 or i?
1
Let r = 0 - 6. Suppose -122 + 134 = u. Suppose -5 + u = -h. Which is smaller: r or h?
h
Let t be 6/(-4)*(-1342470)/(-3285). Is -624 at most as big as t?
True
Let z be (-215)/86*(2 + (-1016)/10). Suppose -u + 4*g = -z, -713 = -u - 2*u - 5*g. Is u at most 240?
False
Let j = -1118 + 192293/172. Let u = 1121/14620 - j. Which is bigger: -1 or u?
u
Let u(w) = -w**2 - 19*w - 23. Let q(c) = -c**3 + 12*c**2 - 14*c + 15. Let d be q(11). Let o be u(d). Is -12 not equal to o?
True
Let g = -0.028 - -1.118. Let s = g + -1.1. Is s less than or equal to 0?
True
Suppose -4*r + 8 = 0, -2*c + 2*r + 3*r = 34. Let i be c/177*15/(-210). Which is smaller: i or 0?
0
Let o be 1445/(3 - -2) + -8. Let f = o + -8. Is 273 >= f?
True
Suppose 0 = 3*z + 70 - 79. Suppose -4*y + 20 = z*c, 5*c + 4*y = y + 15. Is -1/889 >= c?
False
Let d be ((-2)/(-12))/(14/(-18)). Let l(p) = -18*p**2 + 4*p**2 - 90 + 7*p**2 + 5*p**2 - 33*p - 40. Let g be l(-10). Is g bigger than d?
True
Let y be (5 + 3*708/(-126))*8. Which is smaller: -94 or y?
y
Let f = -9499 + 9640. Is f smaller than 1842/13?
True
Let a(r) = 5*r**2 + 146*r + 417. Let j be a(-26). Is 2/939 at least as big as j?
False
Let n be ((-6)/(-9))/(10/15). Suppose -w + 2 = -4*s - 1, -w = -2*s + n. Let c be (-24)/108 + s/72. Is 0.09 < c?
False
Let n be 2/(-4) - (-24495)/(-30). Let c = -1404/11639 + 237831509/290975. Let m = n + c. Are -1 and m equal?
False
Let x = 19 + -27. Suppose 0 = 9*j - 19 - 8. Suppose i = 5*u - 5, 17 + j = 3*u - 4*i. Is x less than u?
True
Let d(c) = -82*c**3 + c**2 - 1. Let y be d(-1). Suppose 153 = -12*q - 39. Let g be 1474/18 + q/(-144). Is g less than or equal to y?
True
Let t = 16 + 224. Let o = 66 + t. Is o bigger than 306?
False
Let j(u) = 17*u - 4. Let m be j(-4). Let h be 2 - m/(-33)*1. Let v(i) = 2*i**2 - i - 2. Let b be v(-1). Which is greater: b or h?
b
Suppose 3*b - 1 = -n, -3*b + 11 = 5*n - 6. Is b smaller than -34/59?
True
Let a(v) = -695*v**3 - v**2 + 6*v + 16. Let w be a(-2). Let u = 606044/109 - w. Which is smaller: u or -1?
-1
Suppose 75925 + 33931 = -32*h. Is -3433 less than h?
False
Let f be (-1112)/(-20) + (-14)/(-35). Suppose -57*v + f*v = -43. Is v smaller than 46?
True
Let q = -59.495 - -11.495. Which is smaller: -120 or q?
-120
Let x(h) = -h**2 - 19*h - 13. Let i be x(-17). Suppose -5*o - 49 = 3*k, -o = 5*k + o + 88. Let t = k + i. Which is bigger: t or 9/4?
t
Let l = -285784/7 - -40746. Is l at most as big as 2/9?
True
Let v = 718 - 4369. Let l = v - -3652.989. Let k = l - -0.011. Which is greater: -3 or k?
k
Let b be (-1121 - 1)/34*(-2)/(-10). Let g = 3.4 - 0.4. Let n = g + -2.9. Is n < b?
False
Let l(f) = -f**2 - f. Let t(g) = 2*g**3 + 9*g**2 + 7*g + 4. Let u(j) = 5*l(j) + t(j). Let i be u(-3). Let y = 31 - 53. Which is smaller: y or i?
y
Suppose -2*l + 90 = 4*l. Suppose 11*x + 20 = l*x. Suppose b = x - 1. Which is greater: b or 1?
b
Suppose 3*u = -74 - 310. Let p = u - -90. Is -38 equal to p?
True
Let b be (-187)/(-102) + 1/(-3). Let z(w) be the second derivative of w**3/3 - 3*w**2/2 - 6*w. Let i be z(3). Which is smaller: b or i?
b
Let h = -0.0531 - 70.8469. Let x = 57 - 128. Let t = h - x. Are -12 and t equal?
False
Let z = -6.6 + 89.6. Let n = 51 - z. Let y = n - -32. Is 15 at least y?
True
Let a be (592/48 - 12)/((-2)/(-6)). Is a smaller than -7/4?
False
Let s = 267 + -255. Let v be ((-114)/(-64))/(3/s). Which is bigger: 7 or v?
v
Suppose -3*i + 3*o = 0, i = -5*o + 359 - 341. Is i at most 25/11?
False
Let x be (-287)/(-35) - (-2)/(-10). Suppose 0 = 11*j - x*j + 6. Suppose -5*p - 3*y = -42, 5*p + 5*y = p + 31. Which is smaller: p or j?
j
Suppose 5*r = 23 - 8. Let u be (-7)/r*(-20)/(-35). Is u not equal to 0?
True
Let m = -3895 - -3897. Let i = -5 + -12. Are i and m unequal?
True
Let n(j) = -j**3 - 7*j**2 - j + 7. Let v be n(-7). Let b be 2626/(-455) - ((-8)/v - 0). Which is bigger: -4 or b?
-4
Let a = -43066 + 689055/16. Is -2/353 smaller than a?
False
Let l = 2419 + -2389. Which is bigger: l or 11?
l
Suppose 4*p + 29 + 279 = 0. Let k be 3/(-9)*18/p. Let i be (-2)/5 + -15