 -530*15/(-1125). Which is bigger: u or s?
s
Let n(c) = -10*c + 145. Let f be n(35). Let z = -59 - 145. Which is bigger: z or f?
z
Let q = 23 + -17. Let h(p) = -p**3 + 4*p**2 + 15*p - 15. Let m be h(q). Suppose m = 2*c - z, 4*c + 3*z - z - 2 = 0. Do 5/9 and c have the same value?
False
Let f be (5/30)/((-2)/12). Let q = -232/13 + 18. Which is smaller: q or f?
f
Let g = -33750 - -33656. Which is smaller: g or -100?
-100
Let k = 3580 + -3584. Which is bigger: -2/3 or k?
-2/3
Let h be 0 + 3/(81/(-2)). Let d = h + 5/27. Let c = -117236 + 117235. Is d less than c?
False
Let f be 5*-1*1 - (-20)/((-240)/(-81)). Is 4.2 less than or equal to f?
False
Let f = 449/350 - 57/50. Is f > -234?
True
Let i be (-3)/1 + 617 + (-4 - -2). Suppose -8*w = -i + 20. Let a be 3 - 4 - w/(-26). Which is greater: a or 2?
2
Let u = -15.34 - -14.34. Which is greater: u or 0.0121?
0.0121
Let h be (112/(-728))/(2*3/1185). Is -30 > h?
True
Let v be 94 + -155 - (1 + -10). Is -86 at most as big as v?
True
Suppose 4*q = q + 12, 0 = -3*k + q + 83. Suppose -x - p - 2*p = -35, 0 = -x + 3*p + k. Is 36 <= x?
False
Let i be (0 - (4 + 3980/6))/(24/180). Is i greater than or equal to -5005?
True
Let d be -1 + 1 - -1*6. Let h(j) be the second derivative of -j**5/10 - 3*j**4/2 + 17*j**3/6 - 10*j**2 - 41*j. Let i be h(-10). Which is bigger: d or i?
i
Suppose 2*b = -7*g - 3970, -b + 3*b = 3*g + 1710. Is -568 at least g?
True
Let m be 12 - 266/21 - 1/3. Let c(f) = 31*f**3 + 2*f**2 + 2*f + 1. Let t be c(m). Which is smaller: t or -28?
t
Let i = -8.4004 - -6.4004. Let l(n) = -16*n + 4. Let j be l(-3). Let p be (-2)/1 + 108/j. Which is greater: p or i?
p
Suppose 0 = -33*g + 31*g + 32. Let l(u) = -13*u**2 + u - g*u**2 + 39*u**2 + 0*u. Let p be l(1). Are p and 8 unequal?
True
Let q be 14/(-1) - 101312/64. Is -1597 at most as big as q?
True
Suppose -5*t + 3 = -5*o - 57, -5*t - 15 = 0. Let r = -92298 + 92284. Do o and r have the same value?
False
Suppose 5*j - 1503 = -5*n - 293, 5*n - j - 1240 = 0. Suppose 0 = -5*y - n + 77. Let p be (-3)/(-1) + -4*9. Which is smaller: p or y?
y
Let s = -11 + -1. Let n = -853 + 855. Suppose 20 = -n*u + g + 3*g, -2*u = g + 20. Which is smaller: u or s?
s
Let a = -16594/69 - -501022780/2083317. Is a not equal to -1?
True
Suppose -2*w + q - 31 = 6*q, 2*w + 2*q = -22. Let v be (-54)/216 + 2/w. Suppose -4*z - 5*y - 5 = 0, -z + 2*z + y = -1. Which is bigger: v or z?
z
Let u be 8/20*-2 + (-21891)/180 + 8. Which is bigger: -114 or u?
-114
Let s = -8.49 + 11.54. Let p = s + -3.05. Which is smaller: 40/9 or p?
p
Let z = 4247 - 4243.36. Let j = 23.36 + -24. Let l = z + j. Which is smaller: l or -1/11?
-1/11
Let o = -10 + 10.1. Let j = 12.88 - 84.88. Which is smaller: o or j?
j
Suppose -11*g - 2565 = -2*g. Let w = g - -283. Which is smaller: w or -57?
-57
Let h = 1319284/55 + -23987. Is -51 at least as big as h?
False
Let t = -370.9 + 371. Which is smaller: 1.98 or t?
t
Let t be 2793 - ((-66)/(-3) - 14). Which is smaller: t or 2786?
t
Let v = 13115 - 11898. Is 1215 equal to v?
False
Let l = 0.2026 + -0.157. Let g = -0.0644 - l. Is -39 equal to g?
False
Suppose 4*m - 5*d = -396, 5*m + 2*d + 462 = -0*m. Let t = 0.9783 - -0.0217. Which is greater: t or m?
t
Let y be 4/(-68)*-2 - (-4 - 261/(-51)). Is y less than or equal to 13/341?
True
Let k be (-45)/12 + (-23 - (6 - 33)). Is 12351 at most k?
False
Let a(k) = k**3 - 11*k**2 - 8*k - 18. Let p be a(11). Let v be p/(-10) + 4/(-40)*-4. Let z = 16 - v. Which is smaller: 32/5 or z?
z
Let v(h) = -h**3 - 20*h**2 - 51*h - 585. Let j be v(-19). Let y(b) = b**3 - 4*b**2 - b + 5. Let i be y(4). Which is bigger: i or j?
j
Let t = -3547991/397 - -8937. Are -1 and t nonequal?
True
Let s(z) = 33*z + 34. Let x be s(-6). Let i = 1 + -166. Which is greater: i or x?
x
Suppose 0 = 10*z - 157 - 53. Suppose z = -2379*u + 2382*u. Which is smaller: 15/2 or u?
u
Suppose 31 = 4*z + p + 21, -4*z + 2*p = 8. Which is smaller: 20/839 or z?
20/839
Suppose -5*c - 3*b + 13545 = 0, 0 = c + b + 2*b - 2697. Let n = c - 92199/34. Are n and -1 unequal?
True
Let v be ((-74)/10)/((28/(-980))/((-12)/(-42))). Let d be 1/(1/71 - 0). Which is greater: v or d?
v
Let p be 266/(-10) + 29/(-145). Let i = p + 1424/55. Which is smaller: i or 5?
i
Let q(m) = 7*m**2 + 2*m + 1. Let h be q(-1). Suppose -5*n + 4 = 14, -3*n + h = j. Suppose 3*c - c + j = 0. Is -7 >= c?
False
Let k be (-4)/(-14) + 3078/(-42). Suppose -18*z - 253 + 2215 = 0. Let y = k + z. Which is smaller: 37 or y?
y
Let q be 803/99 - 43/387. Let u be ((-2)/4)/((-3)/102). Is q >= u?
False
Let g = 907.993 - 907.8. Is g smaller than -20?
False
Let n be (-30)/25*(0 - 5). Let r be -2 + (-1)/(-6) + 11/n. Which is greater: -124 or r?
r
Suppose 74*w = -g + 73*w - 25, 2*w + 122 = -5*g. Is g less than -134?
False
Let c = 9959 + -9922. Is c less than or equal to -0.36?
False
Suppose 0 = -4*n + 20, -24 = -3*g + n - 191. Which is bigger: -69 or g?
g
Let s = -0.1118 - -0.6088. Let k = s + -0.397. Are k and -2/331 equal?
False
Let r(v) = 7*v - 127. Let m be r(18). Let q = 437632/1463 - 2094/7. Which is greater: q or m?
q
Suppose 22 = 5*a + 12. Suppose 0 = -2*h - a*t - 2, 0 = 2*t - 3*t - 5. Suppose -d + h*z = -19, 3*z = 4*d + d - 163. Which is smaller: d or 36?
d
Suppose -f + 4*a + 373 = -4*f, 4*a = -5*f - 619. Let z = -109 - f. Let y be (-2 + 1)*14/(-1). Is z less than y?
False
Suppose 341 = -25*w - 184. Let u(z) = z**3 + 14*z**2 + z - 6. Suppose 0 = 18*n - 21*n - 42. Let p be u(n). Does w = p?
False
Let k be (-707)/(-202)*(45*1 - 1). Let p be 8/(-14) + (-5456)/k. Which is bigger: -33 or p?
-33
Let v = 4.7 - 6. Let k = v + 0.3. Which is greater: 160 or k?
160
Let r(m) = m**3 + 115*m**2 - 88*m + 3249. Let p be r(-116). Are p and 2/22721 equal?
False
Let a(r) = 4*r**3 - 19*r + 20. Let k be a(1). Suppose 40*o - k*o = 2135. Is o equal to 53?
False
Let c be ((-2)/15)/(408/(-306)) - 73/(-70). Which is smaller: 0 or c?
0
Let v(l) = 22*l + 6. Let m be v(3). Suppose -m = 2*d - 8*d. Let h = d - 35. Is -23 > h?
False
Let s = -1077 - -457. Let v = -56422/91 - s. Is 1 less than v?
False
Suppose 4*v = -4*z + 4 + 12, 50 = 5*z + 10*v. Does z = -10.77?
False
Let x be 12 + -1 - (-28)/(-7). Suppose 3*t - 15 = 0, 8*t - 161 = 3*y + x*t. Let p(s) = s**3 + 6*s**2 + 9*s + 1. Let m be p(-6). Do y and m have the same value?
False
Suppose -7*k + 323 + 216 = 0. Are k and 0.39 equal?
False
Let t = -569 + 1109. Let i be (2*(-4)/21)/(t/(-162)). Let z be (-2)/(-1)*9/(-18). Which is smaller: i or z?
z
Let m(b) = 3*b**2 - 6*b - 15. Let t be m(-4). Is t at least as big as 4/7?
True
Let b be (-4)/(-10) - 3/5*-6. Suppose 25 = b*n + x - 68, -114 = -5*n + x. Let q(f) = -2*f + 47. Let j be q(n). Is j greater than -1/15?
True
Let m be 6407/(-4386) - (-6)/4. Let g = -113 + 113. Is g > m?
False
Let s = -38 - -41. Suppose k + 0*k = -s. Let u be 3*(-2 + k/(-2)). Are u and -1 equal?
False
Let l = 2.163 - 2.255. Which is bigger: l or -0.05?
-0.05
Suppose -9*o = 29*o - 30286. Is o less than 797?
False
Suppose -19 = q + 5*c, 0 = 558*q - 557*q + c + 3. Which is bigger: q or -1/74?
q
Let u(i) = i - 3. Let d(x) = -x**2 + x - 4. Let n be d(5). Let h = -18 - n. Let k be u(h). Which is smaller: k or 1?
1
Let a = 42.2 + -42. Which is smaller: a or -49/89?
-49/89
Let o(p) = p**3 - 16*p**2 + 13*p + 9. Let q be o(15). Which is smaller: -42 or q?
-42
Let t be (-6086)/120 + 2/8 - (-7)/(-35). Suppose -2*o = -6*o + 4. Is t at least o?
False
Suppose d + 5 = 5*b, 31 + 21 = 4*d - 2*b. Let w be 5/6*(d - (-1 - 2)). Is w <= 13?
False
Let j = 26 + -441/17. Suppose 0 = -3*c + 93 - 63. Suppose 2*t = -c + 12. Which is smaller: t or j?
j
Let k = 0.1 + -0.36. Let p = 4.54 - k. Let y = -7 + p. Which is smaller: 0 or y?
y
Let m(l) = l**3 - 25*l**2 + 20*l + 66. Let u be m(24). Let y be (-40)/u + 8/66. Is 1 at least as big as y?
False
Let u = -5926.9 + 5929. Is u < 5/4?
False
Suppose -26*y + 1928 = -1582. Let i be ((-234)/y + 5)*-3. Are -11 and i equal?
False
Let y = -3351 + 3621.3. Let d = -301 + y. Let b = d + 31. Is b bigger than 2/9?
True
Let z = 12275 + -12275.3. Is z greater than 2/31?
False
Let n(b) = -16*b - 77. Suppose 4*j - q + 12 = q, 2*j - 5*q - 10 = 0. Let c be n(j). Which is smaller: c or 3/11?
3/11
Let j be -94 - (18/4)/((-12)/(-8)). Which is bigger: j or 21?
21
Suppose 12*d = 10*d - 8. Let n