221. Is q less than 1?
True
Let s be 3 + (-40)/7 - -1. Let t be (-7)/49*58/(-6). Let n = t + s. Does n = -0.1?
False
Let f = -587 - -580. Is f != -11?
True
Let k = 855 + -865. Suppose -2*h - 19 + 1 = 0. Is h less than or equal to k?
False
Let y be 428/18 + (-4)/(-18). Let k be (43/y + -1)*1. Let q = -2/3 + k. Which is smaller: -1 or q?
-1
Let c(d) = d**2 + 10*d - 22. Let i be c(-12). Suppose 4*n - i*n = -12. Let q = 0 - 5. Which is smaller: q or n?
n
Let o = 346 - 255. Which is smaller: o or 92?
o
Let w = -624 + 622.9. Which is smaller: 2/29 or w?
w
Let u(t) = -404*t + 63. Let c be u(-1). Are c and 466 non-equal?
True
Suppose 5*h + 26 = 36. Let q = -4 - -9. Suppose q*s = h*s. Which is smaller: s or 1/11?
s
Let d = 1.223 + -1.323. Let i = 1.4 + -7.4. Is i > d?
False
Let f(q) = -q - 24. Let t be f(-12). Let i(j) = -6*j - 22. Let y be i(t). Is 51 at least as big as y?
True
Let y = 1081 + -1086. Which is bigger: -24 or y?
y
Suppose -10 = q - 2. Let l = -233/2 + 187/4. Let n = -70 - l. Is q at least as big as n?
False
Let m(i) = 6*i**2 + 10*i - 35. Let y be m(4). Is y greater than 102?
False
Suppose 9 = -y - 8. Let g = -8 - y. Suppose -8 + g = t. Is 3 != t?
True
Suppose j + 24 = 5*z, 0 = -5*z - 3*j + 5 + 3. Let s be (2 + 1 - z) + 13. Suppose -4*a + 8*a + s = 0. Which is bigger: -1 or a?
-1
Let u be (-5 + (-293)/5)*10/4. Is -155 <= u?
False
Suppose 5 = u + 2*k, -5*u - 2*k + 5*k - 14 = 0. Is 1/292 less than u?
False
Let w = -3/2336 - 3385/1002144. Let x = -171459/679 - -1838281243/7282275. Let b = x - w. Is 0 <= b?
False
Let b = 8 + -93. Is b <= -1?
True
Let r(l) = -l**2 + 7*l - 6. Let p be r(6). Suppose 2*t + 5*x + 15 = -3*t, -t + x - 5 = p. Let n be 12/16*t/17. Is n != 1?
True
Let l(w) = -w**2 - 5*w - 2. Let q be l(-3). Let z be ((-4)/6)/(2/(-18)). Which is smaller: z or q?
q
Let g(u) = 12*u + 144. Let t be g(9). Is 252 at most as big as t?
True
Let p(g) be the third derivative of -2*g**4/3 + 6*g**2. Let f be 0 - 3/(-9)*-3. Let o be p(f). Do o and 16 have different values?
False
Let o be -2 - (25920/2169)/(-6). Which is smaller: o or 1?
o
Suppose 5*w = 5*s, -3*w + 20 = 4*s - 3*s. Suppose 10*m - 5*m = -w. Is m >= -3/25?
False
Let u be ((-9)/486)/((-1)/3). Let j(t) = -3*t - 16. Let n be j(-5). Is u > n?
True
Let u = 10 - 10. Let p(g) = g**3 - 2*g**2 - 2*g - 1. Let t = 11 + -12. Let k be p(t). Is u at most as big as k?
False
Let d(t) = -t**2 + 15*t - 18. Let y be d(11). Suppose -y = 2*b + m, -2*b = -10*m + 5*m + 14. Which is greater: b or -10?
-10
Suppose -n = -0 - 4. Let v be -2*n*(-2)/(-1320). Which is smaller: -1 or v?
-1
Let n be ((-63)/112)/(105/(-20)). Is 1 not equal to n?
True
Let t = 367/234 + 5/18. Let u = t + -83/52. Let i be (-15)/(-13) - 8/52. Which is greater: i or u?
i
Let i = 164347/382323 + 1/4111. Is i >= 1?
False
Suppose 3*f - 12 = -3*l, 4*l - 5*l - 4*f + 10 = 0. Suppose 1 = -l*n + n. Let y(k) = 11*k**2 + 2*k + 2. Let w be y(n). Is 11 != w?
False
Let v = 0 + 0. Let j be ((-1)/(-3))/(((-3)/(-1281))/(-1)). Let y = j - -142. Is v at least as big as y?
True
Let f = 3.8 + -6. Let x = -851 - -852. Do x and f have the same value?
False
Let a = 756 + -1169. Which is smaller: -414 or a?
-414
Let o(q) = -373*q**3 + 4*q**2 + q - 4. Let c be o(1). Is c bigger than -373?
True
Let c(q) = -q**3 - 8*q**2 + 8*q - 9. Suppose l + 4 = 5*k, 3*k - 3 = -5*l - 51. Let b be c(l). Suppose -n - 1 = -b. Which is greater: -3/4 or n?
-3/4
Let u = -5 - -7. Let p be 1*13 + (-22)/11. Suppose -p*k + 18 = -15. Is k less than or equal to u?
False
Let o = 13 + -11. Suppose -4*g - o = -2*g. Which is smaller: g or 2/23?
g
Let a be ((-2)/4)/(15/(-150)). Suppose 13 = -a*t - 7. Is -2 <= t?
False
Suppose 166 = -3*q + 5*v - 215, 4*q + 503 = 5*v. Is -122 > q?
False
Let i be (-4 + 66/24)/(2/(-8)). Is i >= 10?
False
Suppose 0 = 23*u - 16*u - 7. Which is smaller: u or 1/20?
1/20
Suppose 0 = 2*w + 9*w + 198. Let c = w - -23. Which is greater: 3 or c?
c
Let y = -5.84 - 0.16. Let x = y + 6. Let p = -104 + 104. Is x at most as big as p?
True
Suppose -30*x + 2010 = -3810. Which is greater: 195 or x?
195
Let h be 21/(3 + (-28)/7). Which is greater: -22 or h?
h
Let z be 2 - 1 - 6/4. Let s = 0 + z. Is -17 at least as big as s?
False
Suppose -117 - 9 = 18*z. Which is smaller: -23 or z?
-23
Let g = -6.2 - -6. Suppose 0 = 4*h - 0*w - 3*w + 148, -4*h - 128 = 2*w. Let y be (-2)/(-4) - h/(-44). Is g > y?
True
Let u be (-116)/258 - (-3 - -7)/(-12). Let f(t) = -t**3 - 9*t**2 + 8*t - 21. Let q be f(-10). Is u equal to q?
False
Suppose 0 = -3*i - 3*c - 6, -2*i + 30*c - 9 = 33*c. Let r(a) = -a + 6. Let q be r(-6). Is i at least q?
False
Let c be (2 - 3) + 592/580. Which is smaller: -1 or c?
-1
Let p = -63 + -18. Let g be 2/7 + (-11195)/(-140). Let v = p + g. Which is greater: 0 or v?
0
Let t = -0.6 - -0.1. Let h = -0.7 - t. Is h > -0.07?
False
Let k = -1.97 - 0.03. Suppose 0 = -6*v + 49 + 1943. Let n = v + -2320/7. Which is smaller: k or n?
k
Let v = 8 - 6. Let g = v - 3. Let p be ((-3)/(-6))/(1/(-2)). Are g and p nonequal?
False
Let s be ((-39)/806)/((-1)/(-2)). Which is greater: s or -1?
s
Suppose -24 = 4*x - 56. Suppose x*n + 39 = 95. Is n at least 6?
True
Let b(d) = d**2 - 3*d - 25. Let f be b(8). Is f at most 11?
False
Let a(b) = 15*b - 39. Let i be a(0). Is -3 bigger than i?
True
Let v(o) = 18*o + 90. Let i be v(-5). Let n = 421/1462 - 9/34. Which is smaller: i or n?
i
Let t(b) = 9*b**3 - b**2 - 2*b - 1. Let j be t(-1). Let c be (4/10)/(j/15). Is c at most -9?
False
Let i = -32/717 + -346868/3585. Is i at most -98?
False
Let i = -3117/2 + 6145/4. Let n = i + 22. Suppose -k + 4*m + 10 = 6*m, k + 5 = m. Is k less than or equal to n?
False
Suppose 0*r = 3*r. Suppose r*u - 5*u = -20. Let b = -2 + u. Do b and 0 have different values?
True
Let w = -55 + 49. Let k be (-2)/w*-1*-3. Is -4/41 at least k?
False
Let z = 925 - 903. Which is smaller: 32 or z?
z
Let c = -1495 + 1467. Is -26 at most c?
False
Let n(y) = 2*y + 2. Let d be n(6). Suppose -q - 76 = -5*h, -q = -4*h + 5*h - 20. Which is greater: d or h?
h
Let y(t) = -2*t + 4. Let v be y(6). Let d(j) = -j**3 + 13*j**2 + 27*j + 49. Let q be d(15). Let s be (v + q + 2)/2. Which is smaller: 0 or s?
s
Let k = -98 + 102. Does -5 = k?
False
Let f be 10/(-4)*(-36)/15. Let v = f - 3. Let q = 2 - 2. Which is smaller: v or q?
q
Let m(o) = -o**3 - 6*o**2 - 9*o - 53. Let y be m(-6). Is y equal to 4/125?
False
Let q = -84 + 84.08. Let h = 0.02 + q. Let d = -0.2 - -0.14. Is d bigger than h?
False
Let u be (-8)/(-1) - (-132)/(-10). Is -4 < u?
False
Let o = 710 + -701. Let m be (23/(-4))/((-3)/4). Is o <= m?
False
Let f be ((-1)/3)/(104/144). Suppose -2*o = l - 3*o - 4, -2*o - 2 = 0. Let u(q) = -q + 2. Let h be u(l). Which is greater: h or f?
f
Let b = 34.6 - 34.7. Which is bigger: -1193 or b?
b
Let t be 1*(0/(-1))/(-2). Let j = 73 + -58. Let x be (-40)/(-50)*j/(-22). Is x < t?
True
Let i(j) = 2*j**2 - 16*j + 51. Let y be i(6). Let b be ((-308)/33)/(2/(-6)). Is y greater than or equal to b?
False
Let j = -0.94 - -1. Let u = -1494 + 1492. Is u bigger than j?
False
Let m = -1191/4 + 260833/876. Is m greater than or equal to 1?
False
Let a(q) = -q - 3*q + q**2 - q + 2*q - 3. Let d be -2 - -1*12/2. Let t be a(d). Are 1 and t non-equal?
False
Let u(y) = 3*y - 45. Suppose 4*z - 70 = 2*w, 2*w - 69 = -3*z - 20. Let k be u(z). Is 10 less than k?
False
Let q = -24 - 33. Let h = 57 + q. Which is smaller: -0.1 or h?
-0.1
Suppose 5*s + 13 = 148. Let i = 20 - s. Is i bigger than -6?
False
Suppose h = -7 + 1. Let c be (9/21)/(h/(-4)). Is 2 greater than c?
True
Let l = -28 - -21. Let y(m) = m + 3. Let d(n) = -n - 6. Let u(i) = l*y(i) - 4*d(i). Let g be u(-5). Do 18 and g have the same value?
True
Let k = -93.8 - -88. Which is smaller: k or 3?
k
Let b = -0.01 - -3.01. Let g be 9/6*14/(-84). Which is bigger: b or g?
b
Let i = -74 + 91. Let r be 15/i + 14/119. Which is bigger: r or -1/22?
r
Let n be (3 - 20/8)*-24. Let m be 30/n*1/(-115)*-4. Suppose 0*w + 2 = -2*w. Is m at least as big as w?
True
Let l be 245/(-3276)*1 + 3/36. Is -0.1 greater than l?
False
Suppose 30 = 3*t - 6. Let r be (1/6)/(t/36). Let x(n) = -n**2 + 5*n - 4. Let w be x(4). Is r != w?
True
Let n be 2/((-2)/15 - 1492/60). Suppose 4*l = -20, 15 - 7 = -3*u - l. Which is bigger: n or u?
n
Let y = 136 - 138. Suppose