Suppose 9*n + 14*n + 138 = 0. Does n = -8?
False
Let i = -20 - -17. Let o = -271/36 - -31/4. Is o not equal to i?
True
Let a(y) = -7*y - 11. Let v be a(0). Let u = -12 - v. Which is smaller: u or 2/19?
u
Let f = 8.3 - -2.8. Let c = f - 11. Let o = -3 + 3. Which is bigger: o or c?
c
Let y(v) = -v**3 - 2*v**2 + 12*v + 8. Let j be y(-4). Suppose m - 6 = 3*i - 2*m, -2*m = -i + 3. Are j and i equal?
False
Let t be 12/369*(-1)/2. Suppose -3 = 10*p - 7*p + 3*d, 4*p + 4 = 5*d. Are p and t unequal?
True
Suppose -v + 2 + 4 = 2*o, 0 = -4*v + 5*o - 28. Let u(l) = -l**3 - 4*l**2 - 4*l - 2. Let r be u(v). Let j be 4 + r - (2 + 0). Is j greater than or equal to 1/5?
False
Let m(r) = 7*r - 11. Let q be m(8). Let d = 45 - q. Is d at most -16/5?
False
Let t = -20 - 7. Let m be 2/6 - 369/t. Suppose 54 = 4*o - m. Which is bigger: o or 16?
o
Let s = 0.05 + -0.1. Let f = 0.08 + s. Let n be 24/(-180) - (-2)/(-15)*-6. Is n >= f?
True
Let j(h) = 4*h**3 - 3*h**2 + 2*h - 1. Let v be j(2). Suppose 0 = 7*r + 30 - 86, 3*i - 96 = -3*r. Which is smaller: i or v?
v
Let w = 0.1 - -0.04. Let o = w + -0.34. Let x = 0.03 + 0.97. Are o and x unequal?
True
Let g = -2436 - -2319. Which is smaller: g or 1?
g
Let x = -0.09 + -0.03. Suppose 3*h + 10 = -5*z + 8*h, 2*z - h = 0. Which is bigger: z or x?
z
Let z = 5308/3 + -4437497/2508. Is z greater than 0?
False
Let l(g) = g**3 - 9*g**2 + 10*g + 2. Let f be l(2). Let c = -19 + 13. Is f greater than or equal to c?
True
Let o = 28/193 + 9448/4053. Let s = 4/3 - o. Is -1 smaller than s?
False
Let c = 191 - 134. Suppose 0 = -g, -2*g = -f - c + 8. Which is greater: f or -48?
-48
Suppose -11*y + 8*y + 45 = 0. Let z = y + -16. Is z greater than -2/3?
False
Suppose -110 = m - 220. Which is smaller: 111 or m?
m
Let t = -6 - 9. Let s be 3/6 + t/10. Which is smaller: 1/4 or s?
s
Let t = 107.5 - 15.5. Let k = -114 + t. Which is bigger: k or -0.2?
-0.2
Let d be 4*2*44/24. Let t = 214/15 - d. Let f = 0 - -0.07. Which is smaller: t or f?
t
Let t(h) = -20*h - 240. Let s be t(-12). Does 2/21 = s?
False
Let g be 7 + (3 - 6) + -1. Suppose -4*r + g*j + 1 - 8 = 0, -2*r - 2*j = 14. Let b be -2 + (-6)/r + -3. Do b and -3 have different values?
True
Let f = 1708 + -1789.3. Let u = f + 81. Which is smaller: u or -12?
-12
Suppose 2*c = -3*c - 4*p + 141, 5*p = 4*c - 121. Let d(q) = -q**3 - 3*q**2 + 50*q + 229. Let n be d(-5). Are c and n nonequal?
False
Suppose -k - 16 = -2*b + k, -3*b + 5*k + 32 = 0. Let v = 7 - 6. Suppose -14 = -b*g + 2*w - 4*w, -w = v. Is g greater than 4?
False
Let j be (-90)/171*1/4. Let r = 2/57 - j. Which is bigger: r or -1?
r
Let j be -2*(0 - 2/(-10)). Let q = 6.219 - 0.119. Let d = -0.9 - q. Which is greater: j or d?
j
Suppose -35 - 70 = 5*a. Let s = a + 10. Suppose -2*k - 10 = -k. Which is smaller: s or k?
s
Let s = -40 - -43. Let k = s + 3. Which is smaller: 5 or k?
5
Let v be (-9048)/336 + (-2)/28. Are 0.25 and v non-equal?
True
Let w = -1713/5971 + 1/853. Which is bigger: 435 or w?
435
Let f be (-4)/(-6) - 2500/(-870). Let m = f - 6/29. Is m at least as big as 4?
False
Suppose -9 = z + 2*s, 3*s - 9 - 10 = z. Let r = 31 + -41. Which is bigger: z or r?
r
Let s = -3.33 - -0.03. Let r = -1.5 - s. Let a = r + -1.8. Which is smaller: a or 2/5?
a
Let y = 378.9 + -379. Let r be -2*(-2)/(-4) + -5. Which is bigger: r or y?
y
Suppose -n = 2*n + 21. Let o be 3/2*(-156)/(-18)*-2. Let s be (-4)/(-16)*o - (-12)/(-8). Is n > s?
True
Let q be 775/50 - (12 - 2). Is 6 less than q?
False
Let n = 1/2564 + -15419/89740. Are n and -1 unequal?
True
Let n(j) = j**2 - 12*j - 32. Let h be n(14). Which is bigger: h or 2?
2
Let a = -1 - -1.1. Let p be 308/44 - 33/5. Which is smaller: a or p?
a
Suppose 7*n = 3*n + 36. Suppose -1 = 4*p - n. Let c = 0.22 - 0.22. Is c less than or equal to p?
True
Let p be (2/1)/(2/(-6)). Suppose 44 = -10*c - 56. Which is bigger: p or c?
p
Let x(w) = -w**2 + 7*w + 30. Let b be x(-3). Do 1/84 and b have the same value?
False
Suppose 14*a - 7*a = -35. Is a >= 0.26?
False
Let z = -24811/2226 - -1/318. Let f = z + 11. Let s = -1.5 + 1. Is f <= s?
False
Let t be -1*1/2*0. Let q = -3/115 - -672/12535. Is q < t?
False
Let w = -309 + 234. Which is bigger: w or -74?
-74
Let f = -478 - -478. Which is bigger: f or 6/77?
6/77
Let j(l) = l - 12 - 3*l - 2*l. Let v be j(-7). Let r be (-20)/45*6/v. Which is smaller: -3 or r?
-3
Let u be (-6436)/66 + 22/121. Which is greater: u or -97?
-97
Let s = 5522.78 + -5442. Let u = 80 - s. Let h = 0.22 - u. Which is bigger: 13 or h?
13
Let z = -29/3 + 107/12. Suppose 2*v + 50 = 7*v. Let b = v + -11. Is z at most as big as b?
False
Let g = -328 + 218. Let n = -120 - g. Which is greater: -15 or n?
n
Suppose -q - 4 = 0, -2*v + 8*q - 5*q + 8 = 0. Which is smaller: -5/6 or v?
v
Let x(v) = -v**2 + 16*v - 15. Let z be x(15). Let g(d) = -d**3 + 3*d**2 + 3*d - 37. Let u be g(z). Is -38 less than or equal to u?
True
Suppose -50 = 2*i + 3*i. Let a be i - -7 - (-4 + 1). Let b = -112 - -1457/13. Which is smaller: a or b?
a
Let v be (-1 - -1)*(-1 - -2). Let z(n) = -2*n - 11. Let o be z(-8). Suppose -19*k + o = -14*k. Is v not equal to k?
True
Suppose -37*f + 38*f + 207 = -3*p, -5*p - 331 = -3*f. Which is smaller: p or -6?
p
Let h be (-16)/(-3)*(-2)/(-8). Let o = 4131.1 - 4131. Which is greater: h or o?
h
Suppose 5*u - 2832 = -2*i, -4 = i - 5*i. Which is bigger: 567 or u?
567
Let r = -49/20 - -16/5. Let a = 22.61 - 0.41. Let y = 22 - a. Are r and y non-equal?
True
Suppose 3*q + 2*s + 603 = 0, -q = -5*s + 233 - 15. Let o be (-1)/(q/(-2) + -5). Which is smaller: 1 or o?
o
Let v(g) = g**3 + 19*g**2 + 19*g + 29. Let y be v(-18). Is y > 19?
False
Suppose -8*s - 139 + 27 = 0. Let y be 108/20*10/(-4). Which is greater: y or s?
y
Suppose -11*i + 269 + 182 = 0. Is i at most as big as -0.1?
False
Let m(l) = -l**2 + 20*l - 35. Let d be m(2). Which is smaller: d or -1/196?
-1/196
Suppose 3*a + 3*h + 0*h = 51, -4*a + 71 = 5*h. Let k be (a/6)/7 + 3/45. Which is smaller: k or 2/13?
2/13
Let d be (-2 + 64 + 1)/(33/22). Which is greater: -2/15 or d?
d
Let t(x) = x**3 - 10*x**2 + 2*x - 6. Suppose 0*v - 5*v + 50 = 0. Let o be t(v). Let n be (-10)/o*14/(-105). Is n <= 1?
True
Let u be (4/(-3))/(8/24). Let z = 4 + u. Suppose 5*q + 2*h = h - 4, -h - 4 = z. Is q > 0?
False
Let g = -10 + 9. Let i = 111 + -111.71. Let b = 0.11 + i. Which is greater: b or g?
b
Let u be 56/(-9)*30/20. Let w = u - -32/3. Which is smaller: -0.1 or w?
-0.1
Suppose -182 = 6*h - 2. Let u be (h/(-15))/(-1*2/1). Which is smaller: u or -2.5?
-2.5
Let n = -0.5 - -0.43. Let p = -63.1 + 78. Let c = p - 13.9. Which is bigger: c or n?
c
Suppose -j + 33*x - 153 = 38*x, -3*j = 3*x + 507. Which is bigger: j or -168?
-168
Suppose -20 = 5*l + 2*w - 4*w, -2*l = 2*w - 6. Let u be -1 + (-4 - -3)*0/l. Is u < -2/75?
True
Suppose -170*c - 924 = -126*c. Which is smaller: -28 or c?
-28
Let r(x) = 3*x + 1. Let h be r(1). Suppose -6 = -q + h*k, q + k - 1 + 5 = 0. Is q >= -1/3?
False
Let c = -36 + -9. Which is smaller: c or -46?
-46
Let m = -13981661/333 - -41987. Let o = m - 21665/666. Let k = 33 + o. Which is smaller: k or 8?
k
Let n(p) = -p**2 + 9*p + 86. Let u be n(8). Which is smaller: u or 92?
92
Suppose 7*y = 3*y - 16. Let p be ((-39)/y)/(10/(-40)). Is -40 < p?
True
Suppose -2*w + o + 590 = 0, 5*w + 4*o - 1475 = 3*o. Let n be 20/4 + w/(-20). Which is greater: n or -11?
n
Let l(f) = -f**2 + 21*f - 10. Let x be l(20). Let c be ((-6)/(-5))/((16/x)/(-4)). Let w = -5 + 9. Is w smaller than c?
False
Let q be -1 + 1 - (-1009)/3740. Let z = q + 1/340. Which is smaller: z or 0?
0
Let h be (-334)/64 - ((-2)/(-2) - 6). Is 0 greater than h?
True
Suppose 0*x = -3*x + 24. Let y be x/104*(-1)/4. Which is smaller: y or 1?
y
Let b be 2 + 1/((-22)/48). Let i = -554 - -555. Which is bigger: i or b?
i
Let d = -1316 + 2559. Is d <= 1243?
True
Let s = 30 - 29.948. Let h = -0.148 - s. Is h equal to -2/9?
False
Let y(u) = u**2 - 13*u + 42. Let s be y(7). Do s and -1.2 have the same value?
False
Let y = -297 + 317.9. Let l = y - 21. Let a(i) = -i**3 + 6*i**2 - 5*i + 7. Let g be a(5). Which is smaller: l or g?
l
Suppose -11680 = 315*g - 347*g. Does g = 366?
False
Let p be 21/7*(-10)/6. Let w = -147 + 132. Let r be p/(w/69) + 4. Which is greater: 28 or r?
28
Let f(s) = s**2 - 5*s + 2. Let p be f(5). Let o be 4*