nd q non-equal?
True
Suppose -5*l = -5*x + 470, 5*l - 6*x + 3*x + 468 = 0. Which is smaller: -90 or l?
l
Suppose -2*l = 6 - 18. Let r(d) = -2*d**2 - 31*d + 239. Let o be r(-21). Which is smaller: o or l?
l
Let p be 89 - 92 - (-1 + 3*-1). Is p less than or equal to 26/23?
True
Let x be 24/4 + (0 - 2). Let l be 129/15 - x/(-10). Let u(y) = -y**3 - 11*y**2 - 10*y + 9. Let c be u(-10). Is c at most as big as l?
True
Let d = 41.6 - -0.4. Let f = 42 - d. Which is smaller: -2/93 or f?
-2/93
Let l(a) = -a**3 - 5*a**2 - 5*a - 4. Let r be l(-4). Suppose 3*u + 5*b = -r*b - 9, 0 = -3*b. Let z be (-4)/4*(-2)/u. Which is smaller: -4/9 or z?
z
Let r = -639 + 638.993. Is 2 greater than or equal to r?
True
Suppose 5*x + 5 + 0 = 0. Suppose 5*r - 8 = -98. Let u be ((-1)/4)/(r/(-16)). Is x smaller than u?
True
Let f = -2053 - -2207. Does f = 150?
False
Let t be 30273/(-60) - 7/35. Let a = -509 - t. Is -4 less than a?
False
Suppose 0 = 2*t + 4*w - 46, 4*t - 3*t = -w + 24. Let f be (t - 27)*2*(-2)/(-8). Which is bigger: f or -2/195?
-2/195
Let r be (132/(-8))/(1/14). Let a be (-3 - r/70)/(24/(-50)). Which is greater: -1 or a?
a
Suppose 9*j + 274 - 40 = 0. Let n = j - -960/37. Which is smaller: -1 or n?
-1
Let k = 246 - 146. Suppose -69*y + k = -64*y. Is y equal to 19?
False
Let v be (-2)/(-5) - 9/(315/1666). Let q be (-2)/(-2)*94/(-2). Let g = q - v. Is -0.1 not equal to g?
True
Let v be 2/((-66)/21 - -3). Let w = -12 - v. Suppose -10 = w*o - 4. Is o at most -4?
False
Let j = 13 - 7. Suppose -2*w = g - 3, -5*w + j = -2*g + 4*g. Suppose 3*y + 0*y + 6 = w. Is -2 not equal to y?
False
Let u be -12 + -8 + (9 - -387). Are u and 1 equal?
False
Let h(l) = 2*l + 14. Let t be h(-5). Let k(c) = -t*c**2 + 5*c**2 - 4 + 3 + c. Let s be k(0). Do 1 and s have the same value?
False
Let a(n) = n**3 - 11*n**2 + 11*n - 9. Let d be a(10). Let s be 2/((-15)/18 + d). Is s at most 12?
True
Suppose -2*v - 108 = -14. Let d = -30529/6 - -5135. Let k = d + v. Which is smaller: k or -1?
-1
Suppose -a = 10*a - a. Which is smaller: 1/38 or a?
a
Let n = 141 + -139. Let r = -2.93 - 0.07. Let d = 3 + r. Which is smaller: n or d?
d
Let v be -3 - ((-1)/((-4)/(-32)) + 4). Let x = 68123/37 - 1841. Which is smaller: x or v?
x
Let h = -387 - -387.1. Is h less than or equal to 2/185?
False
Let v(t) be the third derivative of t**4/24 - 13*t**3/6 - 11*t**2. Let m be v(13). Which is bigger: m or 5?
5
Suppose 11*n - 3*y = 16*n - 226, 4*y = 5*n - 247. Are n and 46 unequal?
True
Suppose 4*h + 3 - 41 = s, h = s + 11. Let u(k) = k - 21. Let b be u(h). Which is bigger: -13 or b?
b
Let a = 0.21 - 2.41. Let h = a + -4.8. Is 4 > h?
True
Suppose 0 = -f + 4*v + 8, -4 = -11*f + 6*f + 2*v. Is -2/411 equal to f?
False
Let a = 1.67 + -12.37. Let z = a - -10.6. Is z smaller than -12?
False
Let p = 8295 - 41721/5. Which is smaller: p or -50?
-50
Let x be -1 + (-4)/(-12)*27. Which is smaller: x or 4?
4
Let i = -25 - -27.2. Let x = 12 + -13. Do x and i have the same value?
False
Let p(a) = a**2 - 52*a + 581. Let s be p(36). Do 22/5 and s have the same value?
False
Let k be -1*9/(-21) + (-45)/7. Which is bigger: k or -108/19?
-108/19
Let w(j) = -j**3 + 2*j - 1. Let a be w(1). Suppose a = 6*m - 43 - 11. Suppose u = 5*k - u + 46, m = 3*u. Which is smaller: k or -13/2?
k
Let k be (12/14)/(52/65). Let u = k + -535/238. Let t = u + 35/102. Is -1 equal to t?
False
Let y = -181 + 183. Which is smaller: y or 20/7?
y
Let v be -2 + (-5 - 171/(-24)). Is -2/35 at least as big as v?
False
Let m = -5 - -7. Suppose 4*y - 4 = -3*q, 1 = -0*y + y + m*q. Let j = -39.97 - -40. Which is smaller: y or j?
j
Let j = 13/12 + -35/36. Let y = 2332 + -2333. Which is greater: j or y?
j
Let x = 262 - 1051/4. Let h = -0.03 + 3.03. Which is bigger: x or h?
h
Suppose -2*o - 180 = -4*g, 0*g - 78 = -2*g - 5*o. Let j = g + -74. Let m = j + 59/2. Is m not equal to 0?
True
Let o be 7 - (-4 + (-24)/(-4)). Let s be 2/o - (-140)/25. Which is greater: 5 or s?
s
Let b be (-2)/4 + 6/(-12). Suppose 2*k + 3 + 17 = 0. Let f = k - 2. Which is bigger: b or f?
b
Suppose 2*v = 3*v - 2. Let b = 93 + -87. Which is smaller: b or v?
v
Let h be (2/5)/(-2)*-3. Let b = 2371 + -2369. Which is smaller: b or h?
h
Let u = 414 + 51. Is u equal to 465?
True
Let n = -0.1 - 0. Suppose -3 + 15 = -6*d. Let c = d - -4. Do c and n have the same value?
False
Suppose 0 = 93*n - 90*n + 9. Let o be ((-1)/4)/((-24)/(-180)). Is n greater than o?
False
Suppose 0 = -4*f + d - 85 + 8, -4*d - 92 = 4*f. Let r(z) = 3*z**2 - 4*z + 4. Let b be r(3). Let x = f + b. Which is greater: x or -3?
x
Let g = 0.1 - 1.1. Let o = 13 - 26. Let m = 19 + o. Are m and g unequal?
True
Let a(r) = -56*r**3 + 4*r + 3. Let n be a(-2). Let s = -1313/3 + n. Which is smaller: s or 5?
5
Let w(o) = -104*o**3 + o**2 - o. Let a be w(1). Let r be a/6*(7 + -4). Let n be (-6)/r*(-4)/(-6). Which is bigger: n or -0.1?
n
Let i(z) = 3*z - 2. Let f be i(-1). Let r = 13 - 17. Let h be ((-4)/40)/(r/(-190)). Which is greater: f or h?
h
Let w be (-1104)/(-22)*42/9. Let i = -234 + w. Is -1 at least i?
False
Let j = -102.98 - -103. Let x = j - 5.02. Is x at least as big as 1?
False
Suppose -l + 9 = 5*x - 18, -x + 11 = 3*l. Suppose -5*n = m + 45, 6*n + 7 = l*n + 5*m. Let p be 11/(-44) + 78/n. Is p smaller than -11?
False
Let q = -838/12887 - -1/263. Is q > 0?
False
Let v be 18/21*(-15 - -1). Let d be (-5)/(15/v) - 4. Which is smaller: 1 or d?
d
Suppose 2*p + 130 = 2*f, 3*f - 2*f = 4*p + 50. Let k be 4/(-10) - (-3163)/45. Let a = k - f. Is 1 greater than or equal to a?
True
Suppose -9*z = -11 - 16. Let n be (-1 + -2)/(0 - z) + 5. Let v = 24 - 16. Is v at most as big as n?
False
Let k = -53.9 - -54.9. Is 39/4 at least as big as k?
True
Suppose 0 = -2*j + 4, j = 9*n - 4*n + 47. Does -12 = n?
False
Let c = 75.024 + -0.024. Let h = 74.89 - c. Are -1 and h unequal?
True
Let c = 1386 + -1544. Which is bigger: c or -159?
c
Let l = -118.8 - -102.8. Is l greater than -2/17?
False
Let a(z) = -z**2 - 4. Let l be a(0). Let o be 2 + 5/(10/l). Let i = -39/2 - -19. Do o and i have different values?
True
Let a = 1979 - 1979. Is a bigger than -20/79?
True
Suppose g + 15 = 11. Which is smaller: g or 36?
g
Suppose 0*b - 44 = -2*b. Suppose -457*z - 552 = -480*z. Which is smaller: z or b?
b
Let n = 0.2619 - -0.2381. Is n greater than or equal to -3/184?
True
Let l(k) = -k**3 - 18*k**2 + 21*k + 11. Suppose -3*v + 7 = 64. Let c be l(v). Which is bigger: c or -28?
c
Suppose -2*c - 3*a + 285 = 0, -c - 3*a + 147 = -0*c. Let t = 1243/9 - c. Is 0 at most t?
True
Let j = -10 + 6. Let x = 2578 + -2577.3. Is j <= x?
True
Suppose 4*z = -3*o - 505, -z + 4 - 5 = 0. Is -168 greater than or equal to o?
False
Let h(b) = 18*b**2 - b. Let q be h(1). Which is greater: q or 20?
20
Let h = 79/2 - 40. Let n = 347.1 + -342. Are n and h non-equal?
True
Let p = 8 + -8. Let w be p - (-2 - 8/4). Let s be w/6*(-7)/126. Which is greater: 0 or s?
0
Suppose -4*i - 4*q = -20, 5*q + 4 = i - 31. Let r be 1/(i/(-28)) + 3/(-15). Which is bigger: r or -16/7?
-16/7
Let x(r) be the first derivative of -r**3/3 + r**2 + 4*r - 12. Let l be x(3). Is l smaller than -7?
False
Let l = 290/357 - 56/51. Let w(v) = 2*v + 5. Let c be w(-4). Which is smaller: c or l?
c
Let u = 1721 - 1385. Is u > 337?
False
Let y be (-276)/690 + (-232)/(-530). Suppose 0*m - m = -4. Suppose -5*r = -o - 4, 0 = -m*r - 2*o + 5 + 1. Which is greater: r or y?
r
Let z = -13 - -183. Let c be (1 + (-16)/10)/((-34)/z). Which is greater: 1.3 or c?
c
Let q be (24/(-14))/(2/(-14)). Let j = -89 - -108. Let r = j - q. Is r <= 7?
True
Suppose -10*d + 5*d = l + 12, 4*l = 12. Let c be (-2)/(-4) + d/(-6). Let h be c/(-3) - (-78)/(-9). Is h bigger than -9?
False
Let u be (2 - 5644/(-56))*-2. Let k = 261 + -55. Let g = u + k. Is -0.2 bigger than g?
False
Let m = 612 - 604. Is m at least as big as 37/4?
False
Let o(z) = z**3 + 2*z**2 - 4*z - 2. Let l = -9 + 6. Let n be o(l). Suppose -6*j = 8 + 4. Is j <= n?
True
Suppose -84 = 45*r - 39*r. Are -15 and r equal?
False
Suppose 13 = 5*i - 2*i - 4*t, -3*t = i + 13. Let r = -0.053 - 0.337. Let h = r - -17.39. Is i less than h?
True
Let g be -2 + 1 - 27/(-33). Let h = 15 + -10.1. Let a = h + -5. Which is bigger: g or a?
a
Let m be ((-18)/(-27))/(56/(-12)). Let q = -3 - -4. Which is bigger: q or m?
q
Let z = 393 -