n?
n
Let l = -8.413 + 8.3. Let v = -12.087 + l. Let h = v - -12. Is h less than or equal to -1?
False
Let b be 2/((-6)/(-3)) - -8. Suppose b = u + 10. Is -2/93 <= u?
False
Suppose -2 + 1 = -3*r + 2*d, -r + 2*d = -3. Are -1/55 and r non-equal?
True
Let t be ((-15)/(-30))/((-2)/8). Are -25/13 and t non-equal?
True
Let r = -1.55 - -0.8. Let j = -0.7 - r. Let q = 0.05 - j. Which is smaller: q or -3/5?
-3/5
Let p be (-2)/5*70/42*-12. Is 87/10 != p?
True
Let i = -86 - -100. Let y = 1.76 - 0.76. Is y > i?
False
Suppose -4*b + 1370 = -2*i, 36*i + 2055 = 33*i - 5*b. Is -683 at least i?
True
Let l be (-2)/(-1 - (-2 - -3)). Let d = -2.11 - -2. Let s = -17.11 - d. Which is smaller: l or s?
s
Suppose -4*h + 3*s = -368, h - 24 - 68 = -s. Is 92 equal to h?
True
Suppose 0 = -6*s - 0*s + 30. Suppose 4*g + 27 = n, 0 = -2*g - 5 - s. Which is smaller: n or 9?
n
Let w(f) be the second derivative of f**4/4 - f**3/2 - f**2/2 + 3*f. Let g be w(3). Let z = g - 33/2. Is 0.04 < z?
True
Suppose -6 = -3*x + 3. Let w be 6/(x*(-4)/(-6)). Suppose 16 = 4*y - w*m + 2, 3*y + 2*m = 19. Is 7 > y?
True
Let l = -40 - -40. Suppose 5*g - 4*g + 2 = l. Is g at least -2?
True
Let w = -0.1565 - -74.1565. Which is smaller: w or 0?
0
Let k = 683.9 - 684. Which is smaller: k or 118?
k
Let m = 15 + -10. Suppose -5*n = m*x + 5, n + 2 = 3*n. Suppose -3*h = 41 - 32. Which is smaller: h or x?
h
Let m = 0.05 + -0.09. Let n = -0.04 - m. Let z = -849/7 + 121. Is z less than or equal to n?
True
Suppose 0 = -15*t + 12*t - 1824. Is t smaller than -608?
False
Let j(k) = -k - 9. Let c be j(-4). Let h be -2*1*(5 - 7). Let y = c - h. Is y not equal to -8?
True
Let g = 35 - 35. Let z = 151867/500 - 1215/4. Is g bigger than z?
True
Let q(t) = 4*t**2 - 4*t + 9. Let x be q(6). Is 128 equal to x?
False
Suppose 2*g = 7*g + 5, 5*c + 83 = 2*g. Let l = -21 - c. Let n be l*-1*(-3 + 2). Is -4 less than or equal to n?
True
Let j = 97 - 69. Let w = 24.3 - j. Let t = w - 0.3. Which is bigger: -2/5 or t?
-2/5
Let x(r) = r**3 - r**2 + 4. Let p be x(3). Let w(o) = 2*o**2. Let l be w(0). Suppose c - 5*b - 32 = l, 23 + 37 = 3*c + 3*b. Is c < p?
False
Let z(r) = -3*r - 25. Let m be z(-10). Suppose m*j - 7*j - 2 = 0. Let o(k) = k**2 + 4*k + 3. Let v be o(-4). Which is smaller: j or v?
j
Let l be ((-12)/14)/3 - 14274/(-273). Is 50 smaller than l?
True
Let h be (11/3)/((-5)/15). Suppose 15 = -69*p + 74*p. Let a be 2 + 2 + (-42)/p. Which is bigger: h or a?
a
Let u be 2/(-2) + (1 - 7 - -6). Which is smaller: u or -2/37?
u
Let q = -18 - -25. Suppose -4*y - 20 = -5*v - 62, -10 = 5*v. Which is smaller: y or q?
q
Let z(f) = -f - 3. Let x(s) = 1. Let i(t) = -15*x(t) - 3*z(t). Let h be i(-7). Is -27 less than h?
False
Suppose 0 = -4*j + 4*h - 100, -32*h = -3*j - 31*h - 83. Which is greater: j or -27?
-27
Let d(v) = -28*v + 4 - 1 + 26*v + 0. Let i be d(6). Let b be 159/(-168) + i/(-24). Which is smaller: b or -1?
-1
Let c be ((-48)/(-120))/((-22)/150). Which is smaller: -4 or c?
-4
Let p(s) = -s + 12. Let r be p(-14). Let k = 63 + r. Which is smaller: -1/4 or k?
-1/4
Let x = -1664.9 + 1665. Which is smaller: -141 or x?
-141
Let y = 2 - 4. Suppose 8*v - 45*v + 296 = 0. Let q = y + v. Which is greater: 4 or q?
q
Let b = 53487/29 + -1845. Are -1 and b equal?
False
Let l = -84 - -148. Let o = 65 - l. Is 1 >= o?
True
Let m = 12840 - 12789.927. Let v = -0.073 + m. Which is smaller: v or 1?
1
Suppose -w - 19 = -2*i + 4*w, 5*i = -2*w + 62. Let g be 40/i + (-4)/(-6). Suppose -2*b - g = 2. Is b not equal to -5/3?
True
Suppose 23*d + 7106 + 3428 = 0. Is 2 greater than d?
True
Let j be 270/(-567)*(-24)/20. Which is smaller: j or -2/29?
-2/29
Suppose c - 7 = -12. Let m be ((-3)/4)/(c/20). Suppose 2*w - 3 - 1 = 0. Which is bigger: w or m?
m
Let z = 141 + -145. Is -0.037 bigger than z?
True
Suppose -g - 1 = -3*x + 4, 0 = 3*g - x - 9. Suppose 2*w = -g*z - w - 14, -5*z = 3*w + 16. Let k be (-2)/8 + 4/16. Which is smaller: z or k?
z
Let d = 5.3 - 5.4. Is -642 greater than d?
False
Let d = 256 + -251. Which is bigger: -2/9 or d?
d
Let u(p) = p + 22. Let b be -2 + (-1 - -2) + -20. Let o be u(b). Suppose -c - 4 = -2*f, -4*f - c - 3*c = 16. Is f at least o?
False
Suppose 403 = -o + 403. Is o equal to 2/187?
False
Suppose -2*q = -x - 11, 0 = -4*q + 12 + 8. Let o(b) = 13*b. Let f be o(7). Let r be f/39*6/(-10). Which is greater: x or r?
x
Let x(t) = -t**3 + 8*t**2 - 12*t + 3. Let u be x(6). Suppose 4*n - u = 2*f - 31, 5*f = -n + 15. Is 4 greater than f?
False
Let t = -3/4 - -19/12. Suppose 27 = 3*n - b + 6*b, 4*n = -4*b + 44. Suppose -8 = -3*q - z, -z + 4*z - n = q. Are t and q non-equal?
True
Let p = 179423 - 31757747/177. Let z = -6138/59 + 104. Let d = p + z. Is d > -0.02?
True
Let k = -83341/47 - -1773. Is k < 0?
True
Let y = -190 + 188. Which is bigger: -6/13 or y?
-6/13
Let x = 9.219 + -9.479. Let w = -2 + 1. Which is greater: x or w?
x
Let h = 779 - 542. Let z be h/(-18) + (-8)/6. Is z at most -0.2?
True
Let k be (-40)/100 + 772/5. Is k at least as big as 156?
False
Let w = -6 - -5. Let y = -62 + w. Which is bigger: y or -64?
y
Let s be -3 + (-123)/(-12) + 1/(-4). Suppose s*k - 216 = -13. Which is smaller: k or 27?
27
Suppose 2*u - 5*x + 2 = -3*x, -9 = 3*x. Let s be (12/99)/(u/(-42)). Which is bigger: 0.1 or s?
s
Suppose 0 = 4*a, 0*r + 3*r - 3*a = 3. Suppose -1 - r = 2*u. Is u at most -3?
False
Let c = -1542 + 1542.08. Are -28/17 and c nonequal?
True
Let d(h) = -6*h - 92. Let b be d(-16). Is 82/15 at most b?
False
Let b(q) = -1. Let s(i) = 5*i + 1. Let k(y) = 5*b(y) + s(y). Let u be k(2). Let r be (u/(-35))/((-1)/7). Which is greater: 1/4 or r?
r
Let n = -309 + 289. Do -17 and n have the same value?
False
Let v be ((-2)/(-4)*1)/(24/(-48)). Are 2/59 and v non-equal?
True
Suppose -175*b + 14064 = -187*b. Which is greater: -1173 or b?
b
Suppose 499 - 746 = 247*x. Let o = 1260216 + -13853010/11. Let p = -852 + o. Which is bigger: x or p?
p
Let g = 198.81 - 198. Let d = -0.11 + g. Let w = 34 + -38. Which is smaller: d or w?
w
Let y(q) = -q**2 - 2. Let t(o) = o**2 + o + 2. Let r(x) = -6*t(x) - 7*y(x). Let a be r(6). Which is smaller: a or 11/4?
a
Suppose f + 1 = 0, 2*o - 2*f - 2 = -0. Let a be 169/28 + -5 + -1. Is a smaller than o?
False
Let s = 110 - 183. Let i = -73.2 - s. Is i <= -0.1?
True
Suppose -29 = 2*a - 95. Is a < 163/5?
False
Let m = -101/9 + 116/9. Which is greater: m or 3/2?
m
Let i(j) = j**3 + 13*j**2 + 11*j - 9. Suppose 3*q + 48 = -q. Let f be i(q). Which is bigger: f or 0.11?
f
Suppose -4*z + 3*d + 84 = 5*d, -5*z - 5*d = -95. Suppose -5*v - z = -8. Let w be 12/162 - 0/v. Is w smaller than 1?
True
Let c = 0.1 - -0.1. Let d = -2987/4 - -14947/20. Which is bigger: c or d?
d
Suppose z = 3*z - 4. Suppose 0*s - j = -z*s - 5, 4*s - 3*j + 5 = 0. Suppose 4*c = 0, -12 = 4*k - c + 8. Is k greater than s?
False
Let p = -20.11 + 20.283. Is p at most -2/25?
False
Let s(z) = 9*z + 12. Let f be s(-2). Let q be (-96)/(-9) + (-2)/f. Is q greater than or equal to 11?
True
Let k(y) = -y + 2. Let j be k(0). Suppose 0 = z - 4*u + 17, -2*z - 12 = -3*u + j. Let g be z*4 + (-7 - -7). Is -4 at most g?
True
Suppose 5*t - 4*g + 7226 = 0, 5*g - 8425 = 4*t - 2646. Is t less than or equal to -1445?
True
Suppose 5*q + 395 = -2*o - o, 2*o = -4*q - 314. Let d = q - -74. Let z = -0.4 + 0.2. Is d equal to z?
False
Let b be ((-1346)/57)/((-10)/(-310)). Let a = b - -732. Which is bigger: a or 0?
0
Let x = 11 + -20. Let d = x + 7. Let t = -3 - d. Is t less than or equal to 1?
True
Let j = -132 - -228. Are j and -2 non-equal?
True
Let p be -1 + ((-81)/18)/(-9)*-2. Suppose 0 = -5*o + o. Which is greater: p or o?
o
Let k(m) = 12*m**2 + 4*m - 6*m**2 - 3*m - 5*m**2. Let x be k(-2). Is 7 less than x?
False
Let h = 1152 - 1637. Let t be (-2)/(-5)*25/h. Let f = -89/388 + t. Which is smaller: -1/2 or f?
-1/2
Let x = 1/65390 - 15731/2445586. Is x less than or equal to -1?
False
Suppose 6 = -5*v - 3*j, 10 = -0*v - 2*v - 5*j. Suppose 17*u - 15*u - 96 = v. Which is bigger: u or 47?
u
Let f = -1/1152 + 3625/194688. Which is smaller: 1 or f?
f
Let h be -1 + (-487259)/546 + 30/70. Let b = 893 + h. Which is greater: 1 or b?
1
Let j be 1105/663 - (1 + -1). Let n be 2*3/(-2)*-1. Which is bigger: n or j?
n
Let p = -0.75 - 31.25. Let m = p - -45. Let b = 3.2 + -3. Is b smaller than m?
True
Suppose