*p + 12*p. Suppose -d*z + 17 = 3. Suppose 0 = 5*n - n. Which is bigger: n or z?
z
Let s = -286 + 278. Suppose 440*q - 28 = 444*q. Is q != s?
True
Let f be (-208)/156 - 1*6020/(-4542). Are 0 and f nonequal?
True
Let z(n) = -n**3 - 73*n**2 + 124*n + 3569. Let b be z(-74). Are -1710/13 and b unequal?
True
Let z(v) = -3*v**2 + 9*v**2 - 3*v + 11 + 10 - 7*v - v**3. Suppose t - 166 + 161 = 0. Let p be z(t). Is -7 at least p?
False
Let w = 64 + -62. Suppose 12 = -w*g - 3*d - d, -14 = 4*g + 3*d. Let p be (10/150)/(g/3*4). Is p bigger than -1?
True
Let f(q) = q**2 - 98*q + 1048. Let z be f(25). Which is greater: z or -3?
-3
Let g = 174 + -173. Suppose s = 2*s - 3*v - g, -2*s - 4*v + 2 = 0. Which is smaller: -1/92 or s?
-1/92
Let n(r) = -2*r**2 + 22*r + 17. Let i be n(11). Suppose -5*y = i - 12. Let t be (-22)/99 - y*(-13)/(-18). Which is greater: t or 5?
5
Let x be 46/((-1564)/102) + -8*(-1 + 4). Which is greater: x or -352/13?
x
Let v(f) = -f + 6. Let p be v(2). Let x be ((-3)/p)/(7/56). Suppose 41*r + 5*g = 36*r + 10, -16 = -3*r - 5*g. Is r smaller than x?
False
Let j = 13.986 - 11.986. Let q = 12370/11 - 1126. Do j and q have the same value?
False
Let j(l) = -21*l - 45. Let g be j(-3). Let r = 44 - g. Which is greater: r or 24?
r
Let s(q) = 2*q - 1. Let t be s(-15). Suppose -p = -4*f + 130, -4*f + 0*p - 3*p = -122. Let b = f + t. Are b and -1 equal?
False
Suppose 17*j = 21*j + 2*x + 1340, j + 341 = x. Let g = 185 + -523. Which is smaller: j or g?
g
Let p(h) = h**2 + 55*h + 701. Let m be p(-35). Which is smaller: m or 1/16282?
1/16282
Let f(t) be the first derivative of -t**2 + 17*t + 105. Let x be f(3). Which is smaller: 21/2 or x?
21/2
Suppose -x = -0*x + g - 49, 2*x = -4*g + 106. Let q = 77766 + -77716. Does x = q?
False
Let s be -12128 - ((-264)/440)/(1*(-1)/5). Do s and -12132 have different values?
True
Suppose -320*n + 283*n = 222. Which is greater: -0.017 or n?
-0.017
Let k be 2626/((16/(-28))/(2/(-7))). Which is smaller: 1308 or k?
1308
Let d = 0.01 - 2.01. Let a = 116179.2 + -116186. Which is smaller: d or a?
a
Let d = 38.72 - 11.72. Let p = -33 - -12. Let x = d + p. Is x > 2/5?
True
Let k = 7/415 + 501/19505. Suppose 2*j + t = -3*t - 58, 3*j + 5*t = -83. Let o be (-2)/(-3)*j/14. Which is smaller: k or o?
o
Let t be ((-16)/(-12))/(2/(-6)) + 243. Are t and -0.3 non-equal?
True
Suppose 5*q + 0*d - 167 = -d, 5*q - 4*d - 157 = 0. Suppose 3*j - 2*j - 10 = 0. Let n = j + q. Are 42 and n non-equal?
True
Suppose c - 1511*j - 93 = -1515*j, -c - 3*j = -96. Which is bigger: c or 107?
107
Suppose -3*a - 66 = -4*z, 7*a - 2*z = 2*a - 110. Suppose 0 = 5*w - 5*l + l - 186, 0 = 3*w - 4*l - 118. Suppose 41*y + 168 = w*y. Which is smaller: a or y?
y
Let q = -1.4647 - -2.7727. Which is smaller: q or 0.4?
0.4
Let t = 236/45 - 2792/315. Let i = -797334/7 + 11960894/105. Let w = i + t. Which is smaller: w or 4?
4
Let y be 4/(-22) - (-658)/5313. Let r be 0*(182/42 - 4). Do r and y have different values?
True
Suppose -5*z + 2*d = -75, 2*d + 60 = 4*z - 0. Suppose -z*b + 26 = -64. Which is smaller: 84/13 or b?
b
Let k be ((-6)/15)/((-4)/(-10)). Let f be ((-304)/24)/(-1 - k - 4). Which is smaller: 3 or f?
3
Let l(m) = m**2 + 3*m - 5. Let d be l(-6). Let c(w) = -11*w - 20. Let r be c(-6). Suppose 5*u - 47 = -4*s + 29, 0 = -3*u - 2*s + r. Is u greater than d?
True
Let c(q) = 2*q**2 - q. Let i be c(-1). Let g(s) = -132*s + 71*s - s**2 + 55*s - 6. Let v be g(i). Does -35 = v?
False
Let f = 48 + -59. Let h = -0.6 - -15.6. Let q = -13 + h. Which is smaller: f or q?
f
Let m = 6 + 0. Let u = 9 - m. Let g = 3145 - 3137. Which is greater: u or g?
g
Suppose -231*x - 137495 + 880475 = -202*x. Which is smaller: x or 25621?
x
Let d be (-4935)/(-1326)*6/60. Let a = -6/17 + d. Let l = 52 - 53. Which is smaller: a or l?
l
Let b = 1270 + -664. Let c be (-7)/(84/b) - -6. Are -46 and c nonequal?
True
Let r = 104 - 58. Let w = r - 43. Let f be 3 - (-18)/(-3) - w. Which is smaller: f or -5?
f
Suppose -390*c - 27458 = 23242. Does -143 = c?
False
Let l(v) = -v**3 + 14*v**2 - 24*v + 5. Let n be l(12). Suppose 4*a - 3*j - 18 = 0, -n*j + 0*j = -10. Which is greater: 0.19 or a?
a
Suppose 2540*j + 18612 = 2536*j - c, -5*c = -3*j - 13936. Which is smaller: -4655 or j?
-4655
Let t = -32 + 36. Let o(w) = -w**3 + 5*w**2 + w + 3. Let z be o(t). Let h(y) = -y**2 + 22*y + 20. Let x be h(z). Which is bigger: 10 or x?
10
Let z = -25633 + 76898/3. Let a(s) = -s - 4. Let g be a(-3). Let u be 0/(-2 - (g - 0)). Which is smaller: u or z?
z
Let v = -1089 - -5412/5. Which is smaller: v or 9?
v
Suppose -63*c - 389493 = 155795 - 40217. Which is smaller: c or -8019?
-8019
Let q = -1.543 + 2.843. Let o = 82.3 - 83. Which is smaller: q or o?
o
Let w = 46.62 - 46.55. Let r = 0.16 + -0.06. Which is greater: r or w?
r
Let q(l) = -l**3 - 77*l**2 - 30*l + 163. Let g be q(-76). Are g and -23332/7 equal?
False
Let x = -1550 - -6129/4. Let a be (-5 - -4) + 36/(0 + 1). Let d(m) = m**3 - 37*m**2 + 71*m - 53. Let t be d(a). Which is smaller: x or t?
t
Let y be (-504)/363*912/1316. Let i = y - -46/47. Which is greater: i or 1?
1
Suppose 43 = -5*x + 13. Let p be -9 - -9 - (-28 + 0). Let m be x/p + 36/(-126). Which is smaller: m or 7?
m
Let g = 13779.7 - 13768. Let k = -5 - -5.1. Which is bigger: k or g?
g
Let n = -10085 + 8805. Which is smaller: n or -3841/3?
-3841/3
Let f = -877 + 636. Let g = -440 + f. Which is smaller: g or -1?
g
Suppose -5*w - 15 + 0 = o, o = -4*w - 13. Let s = -7747/5396 - -49/284. Do w and s have the same value?
False
Suppose -2*l + 30 = 3*b + b, -l = 5*b - 30. Suppose -w + 2*d + d = -14, -w - l*d - 10 = 0. Is w < -8?
False
Let b be ((-2)/(-5))/(1031086/1645). Let t = -10 + 10. Is t equal to b?
False
Suppose f - 3*a - 6 + 2 = 0, 4*f - 33 = -5*a. Let c(z) = z**3 - 2*z**2 - 32*z - 17. Let b be c(f). Do b and 0 have the same value?
False
Let o = 11275 + -11271. Is o at least as big as -2472?
True
Let t(i) = -i**3 - 20*i**2 + 157*i + 817. Let y be t(-25). Let c(d) = 17*d**2 + d. Let r be c(1). Which is smaller: r or y?
y
Suppose 0*b + 3*b - 291 = 3*k, -3*k = -5*b + 299. Let m = 63 + k. Let v = -8 - m. Are v and 1 non-equal?
True
Suppose 83*n - 6 + 6 = -17*n. Which is smaller: n or -2457?
-2457
Let z be (1/2)/(1/3). Let m(y) be the first derivative of 2*y**2 - 5*y + 2. Let r be m(2). Which is bigger: r or z?
r
Let m = 0.228 + 0.072. Let x = 565/4 - 1145/8. Which is greater: x or m?
m
Let v(b) = -b - 1. Let z be v(-7). Let i = z + -11. Suppose -7*k + 3*k = 11 + 13. Does i = k?
False
Let q = 11193.86 - 11190. Which is smaller: -1 or q?
-1
Let w be 0*12/(-6)*1/(-6). Let m be (1/19)/(10/(-4)). Is m > w?
False
Let t = -56.11 + 10.11. Let v = 81.077 + -0.077. Let l = t + v. Is 0.1 at most l?
True
Suppose 53 = -x + 3*c, 7*x = 2*x + c - 195. Let t = 1953 - 9954/5. Which is greater: x or t?
t
Let l = 3 + -2. Let t(n) = -409*n**2 - 3*n + 1. Let p be t(-1). Let g be (-95)/(-63) + 15/(p/6). Which is smaller: g or l?
l
Let d(y) = 2*y**3 - 3*y**2 - 7*y + 6. Let a be d(4). Suppose 0 = 3*c - 5*o + 132, c + 7*o - 4*o + a = 0. Let m = -54 - c. Which is bigger: m or 4?
4
Let y = 8309 - 6698. Is y bigger than 1610?
True
Suppose 0 = 4*w - 3*o + 12274, -4*o - 12316 = -14*w + 18*w. Are w and -3074 equal?
False
Suppose 0 = -4*r + 261 + 91. Let j be -1*1 - (-61 - 1189/41). Is r at most j?
True
Let z(k) = -k**3 - 16*k**2 - 14*k + 17. Let y be z(-15). Suppose 3*q - 126 = -3*s, -4*s = y*q - 1 - 165. Is 40 != s?
True
Let t = -4994 + 7979. Is 2985 bigger than t?
False
Let i(s) = 4*s**2 - 236*s + 199. Let x be i(58). Let p(n) = -n**2 + 3*n + 6. Let d be p(-5). Which is bigger: d or x?
x
Let o = 257 + -254.98. Let k = o - 1.81. Are k and -10 equal?
False
Let k = 64 + -11. Suppose 11*q - 53 = -k. Which is smaller: q or 1.95?
q
Let c = 302.7 - 833.7. Which is greater: c or 10?
10
Let d be 8/116 + 7728/(-111215). Which is greater: 1 or d?
1
Let m(x) = x**3 + 64*x**2 - 273*x - 68. Let i be m(-68). Is -26/175 smaller than i?
True
Suppose -4430 = -4*r - 2*o, 2*r - o - 1100 = r. Is 5523/5 at least r?
False
Suppose 6*k = -34 + 82. Let x be k + 2736/(-549) - 3. Which is smaller: x or 1?
x
Let g be (343/21)/(-49) + ((-22038)/9 - 1). Which is smaller: g or -2458?
-2458
Let u = 2 - 2. Let k be 2/2*u/(-2). Let m be -4 - -5 - 24/(144/12). Is k > m?
True