90. Do p and x have the same value?
False
Let j = -10 - -18. Suppose -j*q + 12*q + 24 = 0. Let t be q/(-144) - (-1)/(-6). Is -1 at most as big as t?
True
Suppose -2*d + x = -6, 3*d - 2 = 3*x + 1. Let f = d - 28. Let q = 23 + f. Which is greater: 1/6 or q?
1/6
Let a(f) = 19*f + 677. Let o be a(-36). Which is smaller: o or 5?
o
Let j be ((-47740)/(-30))/(-14) - 1/3. Which is smaller: j or -121?
-121
Let b be 22/5 - 3/(-5). Suppose -b*z + 3*z = 4. Let g = -2.1 + 1.1. Is z at most as big as g?
True
Suppose 6 = 5*z - 4. Suppose -2*f = 5*g - 3*g + 30, z*f = -8. Let r = 8 + g. Is r != -5?
True
Let x(m) = 2*m - 1. Let s be x(-8). Let o = 18 - 35. Is s greater than o?
False
Let w = -25643 + 17411486/679. Let q = w - -2/97. Which is smaller: q or -1?
-1
Let y = 0.059 - -33.941. Let a = y - 11. Which is smaller: a or 0?
0
Let j = 3.01 + -0.71. Is -4 <= j?
True
Let i(n) = -68*n + 173. Let m be i(-20). Which is bigger: m or 1534?
1534
Let u(j) = j**2 + 2*j - 5. Let o(x) be the second derivative of x**3/6 - 7*x**2 + 4*x. Let s be o(10). Let i be u(s). Is 5 > i?
True
Let m be (-12)/(15/5) - 5. Which is bigger: 2/9 or m?
2/9
Let p be 1*5 + -9 + 7. Suppose -4*g - p = 1. Let a be (-15)/10*g/6. Which is greater: 0.3 or a?
0.3
Let c = 0.19 + 0.15. Let b = -103 - -102.86. Let y = c + b. Is y smaller than 0?
False
Let x = -68 + 41. Let l be -29*2/(-18)*(15 - 24). Which is smaller: x or l?
l
Suppose -2*y - 8 = -3*j, 4*y + 4 = j - 12. Let n = 13 + -23. Let h(x) = x**3 + 11*x**2 + 11*x + 4. Let m be h(n). Is y < m?
False
Suppose 12*z + 973 = 5*z. Let c = z - -144. Is 46/9 at least as big as c?
True
Let m = -99469/3279 + 2/1093. Let y = m + 30. Let z = -3.47 - -3.37. Is z greater than or equal to y?
True
Let t = 2.8 + -1.8. Let h = 2.1 - t. Which is smaller: -1/2 or h?
-1/2
Let o = -388.696 - 0.304. Which is greater: -0.1 or o?
-0.1
Let q(g) = -2*g**3 - 4. Let u be q(-2). Let z be 3 + (-1 - 0)/1. Suppose z*o = 7*o - 60. Are u and o equal?
True
Suppose 61*q = 63*q - 66. Let p = 11 - q. Is p at most -21?
True
Let p(h) = -h**3 - 7*h**2 + 6*h - 5. Let v be p(-8). Let n = 14 - v. Let y = 0 + n. Which is smaller: y or -1?
-1
Suppose -3*f - 16 + 49 = 0. Is f >= 78/7?
False
Let s = 0.088 + 7.962. Let w = s + -8. Let n = -1.3 - -0.3. Is n >= w?
False
Let o = -29458600/22378287 - -1/126431. Let l = o + -1/59. Which is greater: l or 0?
0
Suppose -l + 120 = -5*l. Let u = 30 + l. Suppose u = 6*r - 0 - 12. Do r and 1/15 have the same value?
False
Suppose -2*d - 4*x = -8, -8*d + 4*d - 4*x = -36. Let j be 150/12 + (3 - 3). Which is greater: d or j?
d
Suppose 0 = -o - 1. Let j be (1 + (-30)/40)*(-1)/((-6)/(-16)). Which is smaller: j or o?
o
Let n = 29 - 18. Suppose 10*o = n*o + 2. Let l be 24/(-36)*(-3)/o. Is l < -1/2?
True
Suppose 2*a + 3*n = 10, 0 = -4*a - 5*n + 4*n. Are 3/38 and a unequal?
True
Let z be -306*(-18)/(-1374) + (-4)/(-1). Is 1 less than z?
False
Let h = -0.014 - 35.986. Let t = -16 - h. Let c = 0.24 + -0.14. Is t at most c?
False
Let x(r) = -r**2 + 12*r + 18. Let k be x(13). Let j = 22 + k. Are j and 27 equal?
True
Let s = -7.7 - -11.5. Let v = s - 3.8. Which is greater: v or -64?
v
Let l = -12/11 - -64/99. Is l at least as big as 6?
False
Let a(g) = g**3 + g**2 - 1. Let l be a(1). Let z be 3/((-5)/((-100)/(-6))). Let n be (-9)/z + (-1)/((-20)/(-8)). Which is greater: n or l?
l
Let h be 24/(-616) - ((-20)/7 + 3). Which is smaller: h or 7?
h
Suppose 0*t - 3*t = t. Which is smaller: t or -6/119?
-6/119
Let k(f) = -f + 0 + 2 + 0*f - 4. Let g be k(-1). Is g < -21/2?
False
Let h(o) = 4*o + 25. Let u be h(-6). Let l = 140/9 + -30511/1962. Which is greater: l or u?
u
Suppose -3*a = -c - 4*c + 94, a + 2*c = -13. Which is bigger: -183/8 or a?
-183/8
Let m(u) = -u**3 - 12*u**2 - u - 13. Suppose 3*d + 9 = -0*d, -3*i + 42 = -d. Let f = i - 25. Let p be m(f). Is p equal to -0.1?
False
Suppose -8*p - 65 = -7*p. Let x = -32 - p. Let r be 2/(-3) - (-10)/x. Do 0 and r have the same value?
False
Suppose 0 = q - 3*q + 28. Let h be 13/(4 - (-7)/(-2)). Let l = 42 - h. Which is smaller: q or l?
q
Suppose 20*b = -422 + 2342. Is b at least 95?
True
Let o = 14 - 11.1. Let k = o - -18.1. Are 0.3 and k nonequal?
True
Let j(u) = -u**3 + 10*u**2 + 2*u - 7. Let o be j(10). Suppose -z + 13 = 3*l + 39, -l = -4*z - o. Is -16 != l?
True
Let y(h) = -h - 4. Let w(v) = -v - 5. Let n be w(3). Let a be y(n). Let p be ((-1)/2)/(34/a). Is p not equal to 1?
True
Let k = 5.1 + -4.99. Let q = k - 0.081. Is 0 greater than q?
False
Let a = -157 + 160.95. Let v = -1.05 - a. Is v >= 1?
False
Let d be (-1390)/7*(-2282)/815. Is d at least as big as 556?
True
Suppose -p + 605 = 2*g + 29, -2*p = 3*g - 862. Which is bigger: g or 291?
291
Let b = -4329 - -818179/189. Is 1 greater than or equal to b?
True
Let o = -51.1 + 51. Let j = -0.53 + 0.6. Do j and o have the same value?
False
Suppose -y + 3 = 4*t - 4, 6 = 3*t + y. Let l = 0.27 + -0.27. Let s = -0.03 + l. Which is bigger: t or s?
t
Let b = 0.33 + -0.4. Let g = b + 9.07. Let t = 410.8 - 411. Is t less than or equal to g?
True
Let r be (-5 - (-44)/12)*9. Which is bigger: r or -7?
-7
Let r(d) = d**3 + 9*d**2 + 2. Let v be r(-9). Suppose -v*k = -6*k + 264. Which is smaller: -2/3 or k?
-2/3
Let i be 30*7/(98/21). Which is bigger: 47 or i?
47
Let g(h) = -h - 5. Let j be g(-5). Let f = -148/5 + 2526/85. Is f not equal to j?
True
Let b be (-19)/(-76) + 98/(-40). Let y = b + 27/10. Is y at most 2?
True
Let u(s) = 3*s - 2. Let j be u(2). Suppose 1 = 3*w + 16. Let k be 9 + w + (1 - 2). Which is bigger: j or k?
j
Let j = 15 + -8. Let t = 6 - j. Let l be 5/25*(-2 + 0). Is t >= l?
False
Let b = 3 + -5. Let f = 5 - 84. Let s = -72 - f. Which is bigger: s or b?
s
Let u = 537 - 537.1. Is u < 63?
True
Let z = -56041/4620 + 182/15. Are 0 and z unequal?
True
Let j be -1 + 1 - (22 + 2). Let z = j + 26. Which is smaller: z or 4/5?
4/5
Suppose -2*d = -5*m - 3*d + 1073, -3*d - 1061 = -5*m. Is 1 >= m?
False
Let m = 0.6161 + -0.2331. Do 1 and m have different values?
True
Let y = 11 - 10.97. Let c = y - 5.03. Let u = c + 3. Is u less than 0?
True
Suppose 216*i - 3 = 219*i. Let v(h) = -h**3 + 7*h**2 - 6*h + 3. Let f be v(6). Let s be 1 - (f + 15/(-9)). Which is smaller: i or s?
i
Let a = -201.57 + 4.57. Is -1 greater than a?
True
Let q = 124919/1054 - 10/527. Which is bigger: 120 or q?
120
Let p be ((-15)/(-6))/(-5)*-156. Suppose 3*k - p = -5*d, 2 = 4*d + 3*k - 58. Which is bigger: 19 or d?
19
Let f = 373.402 + 2.598. Is -2 at most as big as f?
True
Let s = -2.3 - -19.3. Is 1 smaller than s?
True
Suppose -15*q = q - 96. Which is bigger: q or 75/11?
75/11
Let x = -12 + 14. Suppose 3*a = x*a + 4. Suppose a*s = -s. Is -1 not equal to s?
True
Let m = -25 + 15. Let j be 8/5*m/(-4). Let l be (6/4)/(16/64). Is j at most as big as l?
True
Let o = 274 + -273.4. Is o at most as big as -1.5?
False
Suppose -4*n + 9*n = 0. Suppose 3*a - 40 = 3*v + v, -3*a - 2*v + 34 = n. Let w be (a/(-30))/((-1)/25). Which is greater: 9 or w?
w
Let t(h) = -h**3 - 6*h**2 + 2. Let a be t(-6). Let v be a/(-4)*(-2 + 0). Let p = 20/3 + -7. Which is smaller: v or p?
p
Let j = 82/5 - 669/10. Which is smaller: -51 or j?
-51
Suppose 0 = 2*p - o - 5 + 8, 4*o + 40 = -5*p. Does p = -1?
False
Suppose 8*v - 18*v = -290. Which is smaller: 26 or v?
26
Let q = 0.3421 - 0.2421. Let t = 0 - 1.5. Which is smaller: t or q?
t
Let o = 3 - 4. Let x = -20.988 - 0.012. Let y = x + 21.2. Which is bigger: y or o?
y
Let n be 29/(-3) + (-1)/3. Let x(o) = o**2 - 16*o + 5. Let v be x(15). Are n and v unequal?
False
Let q = -12.24 - -13. Let v = -0.04 - q. Let n = v + 0.7. Is 0.04 != n?
True
Suppose -2*m - 7 = -15. Suppose f = -3*k + 110, 2*f + 50 = k + m. Which is smaller: 39 or k?
k
Suppose j - 4*d = -3*j + 400, 2*j = -3*d + 175. Let i be j/(-38)*(-8)/(-38). Is -1 <= i?
True
Let h = 138 - 134. Suppose 31*a - 35*a - h = 0. Is 2 >= a?
True
Let m(p) = -p**3 + 4*p**2 + 4*p + 1. Let c be m(5). Let b be (-4 - c)/(-4) + 2. Which is greater: -1 or b?
b
Let v = 3.4 - 3.15. Let w = -0.75 - v. Is w bigger than -1?
False
Let w be 3/12 - (-70)/(-440). Is w >= 26/7?
False
Suppose 516*a = 534*a + 4104. Which is smaller: a or -226?
a
Let i = -188 - -204. Which is bigger: i or 192/13?
i
Suppose -119 = -2*c + 5*g, 0 = c - 5*c - 2*g + 178. Do c and 49 have the same va