, 2*q - 4*n - n = 35. Suppose q*m - 3*f = 30, 3*m + f - 19 = 3*f. Are r and m nonequal?
True
Let q be -2 + 160/15 + -4 - 2. Let r(m) = -m**2 - 8*m + 13. Let x be r(-9). Is x != q?
True
Let d = -70 - -70.85. Let v = 0.9 - d. Let g = 0.04 - -2.96. Is v at least as big as g?
False
Let v = 18.201 - 0.201. Is v bigger than -0.1?
True
Let n = 24 + -8. Suppose 9*w = 4*w + 15. Suppose w*g - 14 = -f + 2*g, 0 = 2*f + g - 30. Is n at least as big as f?
True
Let p = 5 - 10. Let y = p - -7. Let a = -2 + y. Is -3/5 bigger than a?
False
Suppose 9*x - 342 = 6*x. Suppose -3*w - 36 - 8 = -s, 0 = 3*s - 3*w - x. Suppose -s = 2*o + 3*o. Which is greater: -6 or o?
-6
Let h(a) = -a**2 - 6*a - 6. Let v be h(-5). Let m = 0 + 1. Let g be 16/112 - m*v. Which is bigger: g or 2?
2
Let y = 38 - 52. Let h be (-4)/y + 1/((-168)/(-330)). Which is bigger: -1 or h?
h
Let z = -443 + 555. Which is greater: z or -1/8?
z
Suppose -23*h + 69 = -69*h - 23*h. Let d = 119/9 - 14. Is d >= h?
True
Let q be 7*(12/112)/((-2)/24). Suppose 0*h = -h - 11. Which is greater: q or h?
q
Suppose -3*j + 52 = -50. Suppose 4*k - 185 = 9*k. Let n = j + k. Which is smaller: n or -1/2?
n
Let s = 3 + 8. Let l = -1001 + 1011. Do l and s have the same value?
False
Let d be (412/3)/((0 + -2)*-7). Let b = 57/7 - d. Is b greater than or equal to -1?
False
Let b(y) = -y**3 - 8*y**2 + y + 2. Let p be b(-8). Let v be 15/(-10)*4/p. Let m = 1919/9 - 213. Is v smaller than m?
False
Let g = 691 + -692. Is g less than -6/395?
True
Let f = -9.2 + 85.2. Which is smaller: f or 0.1?
0.1
Let b = -7 + 6.99. Let w = -0.11 - b. Let x = 0.875 + -0.885. Is w smaller than x?
True
Let p = 13924/638937 + -4/5031. Which is bigger: 1 or p?
1
Let y = 490 - 503. Are -13 and y nonequal?
False
Suppose -187 - 85 = -16*o. Let r be -19 - -22 - (-1)/((-6)/o). Which is greater: r or -1?
r
Let g = 20.6 - 23. Let q = -25.4 - g. Let h = q - -21.4. Which is bigger: h or -2/3?
-2/3
Let c = 0.5586 - -31.5114. Let n = c - 32. Is n at least as big as 5?
False
Let v = 4036 - 3909. Let l = 421 + -293. Is l at least v?
True
Suppose -587*f = -583*f. Are f and 1/231 equal?
False
Let s = 2.93 + -3.03. Which is greater: -1/84 or s?
-1/84
Suppose -8*z - 691 = -667. Suppose -5*n - 4 = -4*n. Let j be 1*-2*(-2)/n. Is j >= z?
True
Let j be ((-12)/(-24))/(9/(-6)). Let r = -17/12 - -37/24. Is j greater than r?
False
Let y = -0.15 + 0.15. Which is bigger: 2.79 or y?
2.79
Suppose -3913*u = -3916*u - g - 68, 0 = -2*u + g - 32. Let c = -23 - -2. Is u > c?
True
Let r be ((-3)/(-6) + 0)*-59. Let v = -30 - r. Let n(m) = m**3 + 5*m**2 + 2*m + 9. Let w be n(-5). Is v >= w?
True
Let j be (-10)/(-4)*(-24)/30. Let r be (j/(-18))/(2/2). Is r greater than or equal to -1?
True
Let v(n) = -n**2 - 6*n - 6. Let i = -31 + 1. Let u be ((-1)/(-3))/(2/i). Let l be v(u). Are l and 1/6 unequal?
True
Let k = -1961/1050 + 6/175. Which is greater: 2/3 or k?
2/3
Let k = -2714 - -2710. Which is smaller: -60/19 or k?
k
Let j = 162151/276 - 1175/2. Which is smaller: j or 1?
j
Suppose 12 = 3*z + b, -4*z + 0*z + 3*b + 3 = 0. Let s be z*((-16)/5 + 3). Let i = 1.014 + -0.014. Which is smaller: i or s?
s
Let h = 1368 + -1889. Which is greater: h or -522?
h
Let w = -3 + 2. Let q = 1151/11660 + 3/2332. Which is smaller: w or q?
w
Let b be (0 - 1*-29) + 1. Let j(y) = -3*y**2 + 42*y - 8. Let a be (-87)/33*-5 - 2/11. Let p be j(a). Is p less than b?
False
Suppose 101 = -q + 288. Which is greater: q or 188?
188
Let l = 58 - 65. Let a be (-6)/15*5/l. Are a and -1 nonequal?
True
Let z(l) = l**3 - 24*l**2 + 5*l - 85. Let a be z(24). Which is smaller: 34 or a?
34
Let j be 1*2/(-14)*1. Let z = 6 + -11. Let r(x) = -2*x - 9. Let d be r(z). Are d and j unequal?
True
Let b = -0.12 + -2.78. Let d = b - 1.1. Let t(n) = -n**3 + 38*n**2 - 72*n. Let y be t(36). Which is greater: y or d?
y
Let h = 1715 - 2691. Which is bigger: -975 or h?
-975
Suppose 3*b - 572 = -5*a, -3*a - 235 = -5*a + 5*b. Which is bigger: 6 or a?
a
Let g be -6*((-33)/9)/(-11). Does 0.1 = g?
False
Let h be -39 + 3 - (13 + -6). Which is smaller: -214/5 or h?
h
Let n = -38 - -44. Let t(z) = z**2 - 6*z - 8. Let u be t(n). Which is smaller: u or -6?
u
Suppose -3*z + 0*z = 254739. Let q = z + 593056/7. Let j = q + 191. Are j and 1 unequal?
True
Let q be (-140)/40*6/(-7). Suppose 0 = -q*f - 4*k - 7, 2 + 3 = -5*k. Let v = 0 + f. Do v and 1 have different values?
True
Let f be ((-6)/(-8))/((-4)/(-16)). Let v be (-549)/(-135) - (-4)/f. Let w = -79/10 + v. Do -4 and w have the same value?
False
Let u = -0.131 + -2.869. Are 14.6 and u nonequal?
True
Let c be -2*(-114)/4*2/3. Let j be (-34)/(-119) - c/35. Which is greater: -2 or j?
j
Let o = 5.8 + -6.3. Which is greater: o or 14?
14
Let s = -3.4 + 3.5. Let l = 0.1 - s. Is l at most -2.1?
False
Let j = 954317/2558180 - 1/13828. Let g = 1/37 + j. Let h = 1/11 - 57/22. Are g and h equal?
False
Suppose 9 = -3*i + 4*p, -4*i = -5*i + 5*p - 14. Let o = 5 - i. Suppose o*h + 11 = -5. Which is bigger: h or -3?
-3
Let y(l) = l**3 + 14*l**2 - 28*l - 163. Let z be y(-15). Is 31 greater than or equal to z?
False
Let m = 39 - 36. Let s = 12.97 - 13. Which is bigger: s or m?
m
Let f(p) = p - 4. Let k be f(4). Let y = 21506/20247 - 4/1191. Is k < y?
True
Let n = 10 + -10. Suppose 2*q = j + 6, -5*j + 4*q = -n*q. Suppose 2*t = j*t. Is 2 not equal to t?
True
Let q be (44/168)/(-11)*284. Let m = q - -24/7. Which is bigger: m or -4?
m
Let i = -46 + 38. Let o = -6 - i. Let g = 143 + -713/5. Is g <= o?
True
Suppose -4*t - 296 = 4*d, 2*t - 5*d + 62 = t. Let i be (t/(-52))/(-3)*-2. Is 1 equal to i?
False
Let u = 53 + -50.1. Let c = u + 0.1. Is -10 smaller than c?
True
Let f = -19 + -16. Let u = -34.8 - f. Which is greater: u or -0.03?
u
Let r(t) = -t**2 - 2*t - 3. Let x be r(-3). Suppose -4*l + 5*q - 2 = 0, -l - q + 4 = -0. Are l and x unequal?
True
Let d be 48/34*(231/28 - 8). Suppose j - 5 = -2*y, 0 = -3*y + 4*y + 5*j - 16. Do d and y have the same value?
False
Let f = 9.92 + 0.08. Let d = -0.206 + -8.794. Let i = f + d. Which is bigger: -2 or i?
i
Let x = 1.18 - -10.82. Let u = -12 - x. Is -3 at least as big as u?
True
Let f = 47.9 + 1.1. Let d = -49.29 + f. Let t = 0.26 + d. Which is smaller: t or 0.1?
t
Let f be (20/30)/((-35)/27). Are -1 and f equal?
False
Let i = -842.0609 + 842. Is 2 smaller than i?
False
Let j(m) = 15*m + 5. Let g be (2 - 0) + (-4 - -5). Let z be j(g). Suppose -5*b = -105 - z. Which is smaller: 30 or b?
30
Let g(h) = 2*h**2 - 36*h - 64. Let q be g(20). Which is greater: 278/19 or q?
q
Suppose 7*w = -5*w - 468. Is w at most -39?
True
Let k = -2445 - -2446. Let u be ((-2)/2)/(6/27). Which is smaller: u or k?
u
Let p = -6 - -23. Suppose -18 = 5*i + p. Let z(l) = l**3 + l**2 - 1. Let y be z(-2). Are i and y nonequal?
True
Suppose 2*v - 21 = -2*d + 31, 5*d - 3*v = 138. Is 21 at most as big as d?
True
Let m(d) = -42 + 42 + 7*d. Let y be m(1). Suppose 2*h = y*h - 40. Is 7 at most as big as h?
True
Let t = -79 - -396/5. Does t = 5?
False
Suppose 10*s - 10 + 20 = 0. Which is greater: -4/93 or s?
-4/93
Let l(q) = q**2 - q - 1. Let n be l(1). Let f(i) = -i**3 - 41*i**2 - 401*i - 17. Let d be f(-25). Is d < n?
False
Let x = 134 - 83. Suppose 6*q = 81 + x. Let p = -16 + q. Which is smaller: p or 8?
p
Let z = -88 - -90. Suppose 0 = z*i - 8, -2*v + 4*i = -10 - 76. Is v greater than 52?
False
Let t = 87 - 59. Suppose 5*l - l - t = 0. Suppose 0 = l*q - 2*q + 45. Which is bigger: -10 or q?
q
Suppose -11*y = -5*y - 12. Suppose y*b = 4, -2*v + 3*b - 8 = -0*b. Is 2/43 at least v?
True
Let w be 12/36 + 601/(-3). Is w not equal to -197?
True
Let y be 12/(-24) - 102/4. Let d = y - -9. Does d = -16?
False
Suppose r + 5*l + 4 = -25, -6 = -r + 2*l. Let d(z) = z**2 + z + 2. Let s be d(r). Let k be -2 + s + 2/2. Is 13 equal to k?
True
Suppose -2*v - 415 = 3*v. Let a = v + 116. Suppose 5*r - a + 13 = 0. Is 3 at most r?
True
Let l = -25312/1437735 + 19/1095. Is 1 at most l?
False
Let g = 50 + -42. Suppose -6*f = -2*f - g. Which is smaller: 11 or f?
f
Let t(y) = -5*y - 3*y - 3 + 10 - 4 - 2*y**2. Let o be t(-4). Suppose -o*p = -0*p + 9. Which is smaller: 0 or p?
p
Suppose -12 = -6*t + 3*t. Let q(f) = f - 1. Let l be q(t). Is -1.8 bigger than l?
False
Suppose 4*k = 2*t - 4*t + 72, 4*k = 2*t - 72. Suppose -b + m - 1 = -39, 64 = 2*b + 4*m. I