 p?
-61
Let a(v) = v + 50. Let t be a(0). Suppose 5*r + 265 = 17*c - 12*c, 2*r - 94 = -2*c. Let d = t - c. Which is smaller: d or -8/9?
-8/9
Let z = -22.609 - 0.391. Let x = 67 + z. Which is bigger: x or 0.2?
x
Let o = 21.2 - 107.2. Let x = -90 - o. Which is smaller: x or -0.01?
x
Let k = 8025 - 10841772/1351. Which is smaller: k or -1?
-1
Let j be (-3 - -15)*(-11)/(-1122)*-548. Is -64 not equal to j?
True
Let v(b) = b**3 + 2*b**2 - 2. Let t be v(2). Suppose 0*k + t = 2*x - 2*k, 5*x - 25 = -5*k. Let l be (1/3)/(x/(-18)). Are l and -7/5 equal?
False
Let g(s) = -4*s**2 - 9*s + 59. Let d be g(3). Which is greater: -2474 or d?
d
Suppose 41*f - 360 = 23*f. Let h be ((-5)/(-2) + -2)/(10/f). Which is smaller: h or -2/71?
-2/71
Suppose n + 1 = -0*n. Suppose 5*k - 16 = -2*y, 4*y - 8 = -3*k + 5*k. Suppose -y*m + 975 = -16*m. Which is smaller: n or m?
m
Let k = 854 + -855. Let f be 24/30 - 101/70. Which is bigger: f or k?
f
Suppose -34*l + 18 - 65 = -591. Which is greater: 631/41 or l?
l
Let k(t) = -28*t**3 - 3*t**2 + 1. Let g be k(-2). Suppose -g*n + 52 = -211*n. Which is greater: 29 or n?
29
Let h(l) = l**2 - 6*l - 4. Let b be h(-1). Suppose -5*q - 9*o + 6 = -11*o, 0 = -b*o + 6. Which is smaller: q or -76?
-76
Let m = -26.61 + 53.64. Let l = 27 - m. Which is greater: 0.2 or l?
0.2
Let i = -19.5 - -20. Let j = 84 - 87.5. Let d = j + i. Is 1 equal to d?
False
Suppose 0 = 5*z - 0*z - 5*r + 700, -5*z + r = 684. Let i = z + 137. Is i > -24/5?
True
Let g = -2391.78 - -2370. Let v = -21.8 - g. Are v and -6 nonequal?
True
Let n be ((-3)/((-441)/(-32502)))/(-44) + -5. Let c = -348921/14014 - n. Is c at most -24?
True
Let c(g) = g**3 + g**2 - 20*g. Let s be c(4). Which is smaller: s or -2/8015?
-2/8015
Let y = 6.018 - -2.982. Is y not equal to 418?
True
Let d = -5498 - -4290. Is d > -6038/5?
False
Let q = 321/116 - 1/58. Let f = -32 - -36. Is q at least as big as f?
False
Let x = -4604 - -3524. Is -1078 <= x?
False
Let f = 85447/7 + -12101. Which is smaller: f or -1?
-1
Let h = 461 + -119. Suppose 14*r = 5*r - h. Let n = -38 - r. Is 1 greater than n?
True
Let q be (230/85)/((-81)/(-1377)). Let w be (-47)/(1 + 0)*-1. Is q greater than w?
False
Let c = 119 + -129. Let u be -1 + c*(-7)/14. Let g = -5097/5 + 1024. Is u less than g?
True
Suppose 0 = d + 4, 4*n + 0*d = 2*d - 44. Let v be 10/70 + 13 + (-2816)/112. Is n not equal to v?
True
Let f(x) = 10*x - 33. Let i be f(6). Suppose 3*h - i = -27. Let s be (h + 36)*-5*(-3)/30. Is s less than 17?
False
Let a = -2107 + 2187.96. Let m = 80 - a. Which is greater: m or 0?
0
Let g = -10 - 22. Let w be (-8)/2*(-24)/g*-1. Which is smaller: -2 or w?
-2
Suppose 371 = 2*t + 23. Suppose 0 = 4*h + 5*c + 362, 0*h + 2*h + t = c. Which is smaller: -89 or h?
-89
Let v(f) = f**3 - f - 5. Let q be v(0). Let u be (-81)/2*5008/(-7512). Which is smaller: u or q?
q
Let r(g) = -g**2 + 128*g - 3995. Let t be r(54). Which is bigger: t or 1/6476?
t
Suppose 2880 = -26*k + 21*k. Let w = 658 + k. Is w not equal to 82?
False
Suppose -n = 5*v - 5*n - 26, 0 = -5*n - 20. Suppose s + 1284 = -v*s. Let h be 32/(-176) - (2 + s/55). Which is smaller: h or 7?
h
Let a(z) = -886*z**3 + z**2 + z + 1. Let q be a(-1). Let l = -363966/5 - -73683. Let p = l - q. Which is smaller: p or 4?
p
Suppose 0 = 3*c + 4*x - 20, 0*c - 25 = -3*c - 5*x. Let j be 3/((-15)/(c - 5)). Which is greater: -2/239 or j?
j
Suppose 4*m - 3*t + 724 = 0, 0 = 25*t - 29*t + 16. Let o = 316 + m. Is 138 not equal to o?
False
Let a = -106 - -104. Let j be (-70)/(-105)*(7 + a/2). Let i be ((-4)/12)/(j/204). Is i < -17?
False
Let h = 17059 + -14440. Is h smaller than -1/5?
False
Let k(i) = i**2 - i - 91. Let j be k(-9). Let p = -1324 + 1338.33. Let c = 0.33 - p. Which is smaller: j or c?
c
Let h be ((-132)/99 - -1)/(5 - -2). Suppose -2 = -2*j + 2*v - 6, 4*v = 12. Is j equal to h?
False
Let g be (-30)/8*(-70760)/(-87). Are -3051 and g nonequal?
True
Let z = 0.24 + -0.77. Let k = 40.53 + z. Let p = k - 41. Which is smaller: -15 or p?
-15
Suppose -20*u = -6*u + 88872. Let n be (-2)/(-5) - (u/980 + 7). Is 1 smaller than n?
False
Let o = -723 + 1397. Let t = o - 456. Suppose 2*p + 14 = -t. Which is smaller: p or -117?
-117
Let h = 10788 - 10772. Which is bigger: h or -1.98?
h
Let u = -22483/6 + 11240/3. Let r = 13 - 3. Which is bigger: r or u?
r
Suppose 0*t - 8 = -4*t, t = 2*x + 2. Suppose 5*m - 3 = l - x, 2*l = m + 3. Let u be (m/(-2))/(2/4). Which is bigger: -2/57 or u?
-2/57
Let j(o) = o**2 + 2*o + 4. Let d = 33 - 40. Let g be j(d). Suppose 0 = 5*v + 3*y - 21, 5*v - 5*y - g = -2*y. Is 2 < v?
True
Let r = -19250 - -1501493/78. Let p be 18/14 - 2/7. Is r <= p?
True
Let u(r) be the second derivative of r**6/120 + r**5/15 - r**3/2 + 23*r**2/2 + 18*r. Let h(d) be the first derivative of u(d). Let a be h(-2). Is 6 != a?
True
Let z = -14659/33 + -12413/11. Which is bigger: -1572 or z?
-1572
Let g(j) = j**3 + 3*j**2 - 7*j - 15. Let p be g(-2). Suppose 22 = -w - p*s, 5*w - 3*s + 10 = 2*s. Which is greater: w or 17?
17
Let f = 19618 + -23241. Is -0.4 <= f?
False
Let y(f) = f**3 + 9*f**2 - 11*f + 3. Let b be y(-10). Suppose -2*g + 72 = 4*z, -z + b = 3*g - 15. Suppose 6*c = -z - 14. Is -5 equal to c?
True
Suppose r - 4*r + 3*u - 9 = 0, 2*r - 4*u = -16. Let z = 1.22 + 33.78. Let q = -36 + z. Is r not equal to q?
True
Let i be (((-1450)/(-90) - 17)/(8/(-6)))/(-42). Which is smaller: i or 0?
i
Let u = -0.018 + -242.482. Let v = 243 + u. Is v bigger than 5?
False
Let m be ((-3)/(-15))/(33/1980). Which is greater: 114 or m?
114
Suppose 3*v = -2*v + 20, 4*m - 3*v = -16. Suppose 7*f + f - 4360 = 0. Let g be (f/925)/1 - (-9)/(-15). Is m != g?
True
Let l be 20/(-24) + 125337/738. Is l > 44?
True
Suppose 5*y + 19 = -2*u + 9, 2*u + 6 = -3*y. Let w(r) = r**3 - r**2 - 3*r + 25. Let h be w(u). Which is smaller: h or 28?
h
Suppose -5*k = -3*k + d - 5407, 0 = 4*d - 20. Suppose -k*j + 2707*j = 810. Do j and 136 have different values?
True
Let w be (-7972)/1144 - -1*28/4. Which is bigger: -1 or w?
w
Let p = 47 - 38. Suppose p*b - 3*b = 18. Let f be (-19)/b - (-4)/(-6). Which is smaller: f or -5?
f
Suppose 5*v - s = 2 - 35, 2*v - 3*s = -21. Suppose -5*z - 2*c = -0*z - 72, 4*z - 4*c = 52. Suppose -z = 4*k - 2. Which is smaller: k or v?
v
Let v = -157 - -213. Suppose d - 4 = -2, -4*y + 5*d - 10 = 0. Which is smaller: y or v?
y
Let x(j) = -6*j - 5*j**2 - 5 + 3*j + j**3 + 6. Let t be x(4). Let k be (-6 + 7)*-3 + -23. Is t < k?
True
Let s be ((-74685)/(-4862))/(-15) + 1. Which is bigger: 0 or s?
0
Let i be 5 + (-20988)/(-11130)*5/(-2). Let w = -78079/80 + 976. Is w at least as big as i?
False
Let q be 21*-1 - (-2 - 1). Let v be (-11)/(-3) + (-6)/q + -4. Suppose v = -y + 4*y + 4*o - 9, -13 = -2*y - 5*o. Are -1/38 and y equal?
False
Let r = 10 - 14. Let c be 16/(-24)*54/r. Let z be (-25)/30*c/30. Which is greater: z or 21?
21
Let w = 4845 + -2700. Suppose -14*b + 3*b = w. Is -196 > b?
False
Let p(n) be the first derivative of -n**4/4 - 2*n**3/3 - n**2 - 4*n - 17. Let t be p(-2). Let o = 2/2009 - 1154/6027. Is o smaller than t?
True
Suppose 4*j - 6 - 14 = 0. Suppose 45 + 84 = 3*n. Let r = -40 + n. Which is smaller: j or r?
r
Let f = 5202 - 5201.9066. Which is greater: -1 or f?
f
Suppose -9*o + 15*o = 114. Suppose -6*f = -o*f - 39. Let u be (1/f)/((-14)/42). Which is smaller: -1/52 or u?
-1/52
Let v = -8.28925 - -0.28925. Which is greater: v or 11/29?
11/29
Let h = 430816/161 - 2676. Which is greater: h or 1?
1
Let c = -3925 + 1288. Let l be (-10)/(4410/c) - 6/1. Let k(p) = -p + 6. Let i be k(6). Which is smaller: i or l?
l
Let g = -4.9 - -4.9. Let f = 8 - 172/21. Which is bigger: g or f?
g
Let r = -300 + 306. Suppose z - 3*d = 2*z + 2, 5*z - d = r. Let q be ((-2)/(-40))/((-3)/(-4)). Which is bigger: q or z?
z
Let t = 20146 - 20007. Is t != 0.001?
True
Let y be 9*6/(-126) - (-3914)/(-14). Which is smaller: y or -844/3?
-844/3
Let t = -7639 + 7638. Do -1/6442 and t have different values?
True
Let f(h) = h**3 + 5*h**2 + 4*h + 2. Let a be f(-3). Let g = 323 + -190. Let s be (-8)/(-6)*(-5 + g/14). Which is smaller: a or s?
s
Suppose 864 = 50*t + 5114. Let i be (-8)/(-70) - 2/5. Which is smaller: i or t?
t
Let v be 649/110 + -6 - 21/(-10). Let j = 7.59 + -0.39. Does v = j?
False
Let t(b) = 2731*b + 7985. Let g be t(-4). Is -2942 bigger th