c(y) = -19*y - 2. Let g be c(-1). Let i be (-4)/(-8)*-4 + g. Let w be (-5)/i*(-9)/3. Is w at most as big as 1/39?
False
Let c = 36 + -27. Suppose 5*o - 35 = -3*j, 2*o + j - c = o. Suppose v + o*i + 11 = -7, -4*i - 58 = 5*v. Which is bigger: v or -31/3?
v
Let k = -123 - -123.6. Let h = -141/14 + 74/7. Which is smaller: h or k?
h
Let l be (-14)/63 - (-4 + 8015/18 + -4). Is -439 at most as big as l?
True
Let s(m) = 12*m**2 + 55*m - 675. Let a be s(12). Are a and 1713 non-equal?
False
Suppose -5*j - 6*g - 101257 = 0, 3*j = 4*g - 3*g - 60745. Which is greater: -20248 or j?
-20248
Let p = -668 - 86. Let h be p/104 + (7 - 0). Which is smaller: h or 0.219?
h
Suppose 3*m + 4*i + 12 - 10 = 0, 3*i + 3 = -2*m. Let u(z) = 3*z - 9*z**2 - 1 + 3*z + z**3 + 2*z**2. Let v be u(m). Is v at most 7?
True
Let r = -45 + 1. Let s be (0 - 2)/(48/r). Let p = -1179 + 1178. Do p and s have different values?
True
Let i be 0 - -10 - (-71)/((-407966)/57426). Is 35 smaller than i?
False
Let y be (6/15)/(5/125). Let o = y + -6. Let x = -348 - -357. Is x smaller than o?
False
Suppose -u = -2*i + 22, 18*u - i + 19 = 17*u. Are u and 166 equal?
False
Suppose -8*o + 15 = -3*o. Suppose 2*w - 3*q = 8, 3*q + 16 = 3*w + 7. Let d be (-56)/231*w*-9. Is d greater than or equal to o?
False
Let j = -867676723/6718 - -129157. Let a = j + 1222661/33590. Let x = a - 36. Are x and -1/4 equal?
False
Let m = 10 - -3. Suppose -u - 3*f + m = 0, -u + 0*u + f = 3. Let g = -99/5 - -3277/165. Which is greater: g or u?
u
Let a = -84913/15 + 5656. Let b = -5 - a. Suppose -66*o - 61 - 141 = -268. Does o = b?
False
Let w = 1.641 + -0.641. Is -1321/6 greater than w?
False
Let z = -0.1 + 0. Suppose 32 = -3*l - l + 5*s, 5*l - 3*s + 27 = 0. Let j be (-5)/15*(4 + l). Is j greater than or equal to z?
False
Let d = -7.608 + -0.392. Is -587 at most as big as d?
True
Suppose 45*p + 3978 = 36*p. Let i = -98 - p. Which is bigger: -1 or i?
i
Let z = 54 + -42. Let q be (28/z)/((-3)/2295). Let f be (-4)/(-14) - (-468)/q. Is 1 greater than f?
True
Suppose -c + 3 - 2 = 0. Let b = c - -1. Let i = -421 + 426. Is i at most b?
False
Let d = -0.4745 - 66.5255. Is 8 bigger than d?
True
Let i = -34 - -34.005. Let x = i + 0.73. Let v = x - 0.035. Is v at least -1?
True
Let v = -68/261 + -150442/261. Which is bigger: -577 or v?
v
Let q(j) = j + 10. Let s be q(11). Let a be (-8)/36 - s/27. Is a greater than 2/449?
False
Let t be ((-54)/26 - -2)/((-40)/(-60)). Which is smaller: t or 16/7?
t
Suppose -2*s = -i + 3004, 5*s + 9403 = -5*i + 1938. Which is greater: s or -1501?
s
Suppose 3*i = -2*p - 3, 3*i + 48 = 3*p + 30. Is i less than or equal to -71?
False
Let s = -0.00465 - -487.45465. Let u = s + -603.361. Let y = u - -116. Are y and 1 equal?
False
Let w(n) = -n**2 + 6*n - 3. Let c be w(2). Suppose -3*k - y + 27 = k, 4*k - c*y = 57. Let j = 32 - 27. Which is smaller: k or j?
j
Let v = -205 + 205. Let c = 0.62 + 6.38. Is c equal to v?
False
Suppose k + 29 = -c, 0 = -4*c + 2*k - 125 + 3. Let w = c - -85. Which is smaller: w or 53?
53
Let b(n) = -3*n - 29. Let p be b(-13). Suppose -7*o - 27 = -p*o. Is 1 smaller than o?
True
Let v = 2 + -3. Let f be 4/(2 + -3) + 6. Let x be (1152/228 - 4) + (-2)/f. Which is smaller: x or v?
v
Suppose 2 = -p, 5*k - 2*p + 1358 + 823 = 0. Let n be k/133 - 4/(-14). Which is smaller: n or -48/13?
-48/13
Let b = -72.1811 - 0.1189. Let m = 63 + b. Let l = 13.3 + m. Is 3 at least l?
False
Let s be (-1383)/2*1/((-75)/(-30)). Which is smaller: s or -277?
-277
Let i = -454 - -450.99. Let r = -3.11 - i. Are r and -171 equal?
False
Let z = -175 - -175.33. Which is smaller: z or -0.031?
-0.031
Let v = -12977 + 13063. Let c = -0.01 - -0.31. Is v bigger than c?
True
Let i = 57503 + -57502. Let n = 826 + -9080/11. Which is bigger: i or n?
i
Let z = 0.2152 - -20.7748. Let q = 0.01 + z. Let a be (2/18)/(-8*2/(-72)). Which is bigger: a or q?
q
Let l = 5940 - 6034.71. Let o = -0.71 - l. Let i = o + -93. Which is bigger: 0 or i?
i
Let w = -381 + -20. Let u = w + 277. Which is smaller: u or -125?
-125
Suppose 13*z = 10*z + 1257. Suppose -12*y = -265 - z. Let p = -58 + y. Is p at least as big as -12?
True
Let z be (-542)/(-8) + 25/20. Suppose -12*d + z - 9 = 0. Suppose -d*x = 5*t - t + 60, -t = -4*x + 36. Are -19 and t nonequal?
True
Suppose 4*p - 598 = -3*v - 127, 3*v = 2*p + 453. Let q be 14/6 + (-204)/v. Which is bigger: -3 or q?
q
Let p = 1230 + -1220. Which is bigger: p or 16?
16
Suppose -3*b + 41 - 32 = -3*r, -r = -8. Which is greater: b or 202/21?
b
Let a be 1/2 + 2465/8. Let l = -562 - -254. Let g = l + a. Which is smaller: 0 or g?
0
Let r = -108 - -32. Let k be (-17)/3 - (-6 - r/12). Let o be 15/k*126/15. Which is smaller: o or -22?
-22
Let n = -35.1 + 30.35. Let u = n + 5.35. Which is smaller: 13 or u?
u
Let r = -51 + 36. Let f be ((-8)/(-36) + 20/18)*-15. Let h = f - r. Are -10 and h non-equal?
True
Suppose 0 = 11*l - 16*l + 15. Suppose -12 = l*x + x + 2*u, -x - 5*u = 21. Is 4/53 less than x?
False
Let x = -9/80 + -23/80. Is 234 bigger than x?
True
Let g = -1595/444 - -398/111. Is g bigger than 2?
False
Let r = 11224/3 - 3749. Which is smaller: 65 or r?
r
Suppose 4*i - 1 + 13 = 0. Suppose -5*j + 3*o = -122, -95 = -4*j - 18*o + 23*o. Let x = j + i. Is 20 <= x?
True
Let p(i) be the third derivative of -i**4/24 - 14*i**3/3 - 170*i**2. Let d be p(8). Suppose -g = 2*g + 111. Which is greater: g or d?
d
Let s = 4.8 - 5.37. Let n = s + 0.532. Let a = -13.962 + n. Is a greater than -2?
False
Let j = -385 + 385. Suppose 5*v + 1183 + 1192 = j. Is v >= -474?
False
Suppose -5*b = -2*k + 35, 3*b - 85 = -3*k - 22. Let v(r) = 13*r**2 + 3*r**2 - r**3 + 2 - 13 - k - 12*r. Let g be v(15). Is 15 < g?
False
Let j = -3/10 + 221/770. Let x = -192 + 192. Does x = j?
False
Let q = 366 + -362. Let c be (q + 6/(-3))*(-1)/2. Is c != 0?
True
Suppose 21*b + 7 + 14 = 0. Let u be 0 - (-16 + (-4)/((-4)/b)). Which is smaller: u or 1/3?
1/3
Let b(u) = -u + 53. Let h be b(9). Suppose 49*o = h*o + 5. Let j be 258*((-8)/12 + o). Which is smaller: 87 or j?
j
Let a be (4 + -4 - 5) + (300 - -2). Let o be 3/((-99)/(-5)) + 54/a. Which is bigger: 12 or o?
12
Let b(l) = 2*l**2 + 1. Let d be b(1). Let s be (3 - 9/(-3))/(76/38). Suppose d*n + n = s*f + 18, 5*n = 15. Which is smaller: -5 or f?
-5
Suppose -a = 275 - 277, -4*q + 5*a + 9006 = 0. Is q >= 2254?
True
Let p = -28636 + 28634. Is -1247 > p?
False
Let i(n) = -n - 9. Let m be i(11). Let k(r) = 12*r**2 - 12*r + 10. Let a be k(-5). Let x = a + -391. Which is bigger: m or x?
m
Suppose -38*d + 34*d = 134*d. Which is bigger: d or -7/600?
d
Let v be (-348)/(-60) - 2/10*-1. Let y be -4*2/(v/(-3))*1. Suppose -y*g - 4 = -3*g. Is -3 < g?
False
Suppose -44*g + 545 = -39*g. Let r = -103 + g. Let u(q) = -q**2 + 5. Let d be u(r). Which is smaller: d or -32?
-32
Let t(z) = 13*z**2 + 14 + 40*z - 25*z**3 - 13 + 26*z**3. Let b be t(-8). Which is bigger: 2/467 or b?
b
Let l = 6240264/361 - 17286. Which is greater: l or -1?
l
Let t be 2/((-5 - -1)*1)*-22. Suppose q = -4*l - 0*l - 7, -5*l = 2*q + 5. Suppose -q*y - 2*w + 31 = -34, -2*w = 0. Is y less than t?
False
Let o(u) = 4*u**3 + 69*u**2 - 94*u + 462. Let d(p) = p**3 + 23*p**2 - 31*p + 154. Let q(f) = -7*d(f) + 2*o(f). Let v be q(22). Are 3/167 and v equal?
False
Let p = -0.8 + 4.4. Let c = -591471/11 - -53770. Is p < c?
False
Suppose 5*t + 5*d = 30, 6*t + 2*d = 2*t + 16. Suppose t*i - 9 + 11 = 0. Let f = -3438/143 + 256/11. Which is greater: f or i?
f
Let t = -2.68 + -15.42. Let b = t - -17.8. Which is smaller: b or 37?
b
Suppose 0 = -3*h - 2118 - 1068. Does -1062 = h?
True
Let x be ((-4674)/(-150))/((-9)/(225/(-10))). Is 77 bigger than x?
False
Suppose 0 = 48*x - 17*x - 42*x - 1617. Is -1.8 less than or equal to x?
False
Let p(l) = -10*l**2 + 8*l + 6. Let t be p(-1). Let x(q) = -18*q + 29. Let j be x(2). Is j not equal to t?
True
Let n be ((-4)/24*4)/(10/(-30)). Let i(a) = -14*a + 28. Let v be i(n). Is v at most as big as 1/60?
True
Let g = 2135906/17 + -125644. Suppose -a + 3 = -j, 0*a + 24 = -4*a - 5*j. Which is bigger: g or a?
a
Let u be (10/(-155) + 2702/28427)*2/(-80). Is 0 less than u?
False
Let k = -1/8865 - 252149/97515. Let m = -4387/55 + 387/5. Let h = k - m. Which is smaller: -15 or h?
-15
Suppose 726 = 165*o - 126*o - 288. Which is bigger: o or 23?
o
Sup