 d be g(9). Let q be 6/(-18) + (-1)/d. Let l = 0.1 + -0.1. Is q greater than or equal to l?
True
Let k = -1620 - -2246. Which is smaller: k or -1/4?
-1/4
Let b = -315 + 88. Let q = 162 + b. Is -1 greater than q?
True
Let i = 49204 - 251875274/5119. Which is bigger: i or -1?
i
Let q(w) = w**3 + 7*w**2 - 1. Let g be q(-7). Let c be (886/860*3)/((-468)/48). Let y = -2/215 - c. Which is smaller: y or g?
g
Suppose 11*n + 817 = 223. Is -58 greater than n?
False
Suppose -4*g = -4*h - 30 - 10, -4*h = g + 15. Let y be ((-112)/(-35) - 3) + (-76)/g. Suppose 0*k - 2*k = 0. Is y at least as big as k?
False
Let b = -13061/658449 - -13/739. Is b >= 1?
False
Let f = -71 - -74. Suppose 3*r - 23 = -5*q + q, f*q - 15 = 0. Let g = -50 - -448/9. Which is bigger: r or g?
r
Let n be (-1)/4 + (-12504)/(-48864). Which is bigger: -1 or n?
n
Let k(g) = 7*g**3 + g**2 - g + 1. Let x be k(1). Suppose 3*j + j + x = 0. Let o(l) = -l**2 - 7*l - 7. Let y be o(-6). Is y at most as big as j?
False
Let w = -0.051 + -28.949. Let v = 32 + w. Which is smaller: v or 0.1?
0.1
Let b(t) = -t**3 - 16*t**2 + t - 10. Let y be b(-16). Let q be (-4)/y + (-140)/65. Are -3/2 and q non-equal?
True
Let n = 0.0097 + -3.6797. Let q = n - 0.33. Which is greater: q or -2/7?
-2/7
Suppose 34 - 87 = -g - 5*f, 195 = 4*g + 3*f. Let q = 43 - g. Let n = 222/5 - 44. Is n < q?
False
Let a = -132.848 + -0.152. Let n = 144 + a. Which is smaller: n or 1?
1
Let f = -230 + 192.7. Let r = -7.3 - f. Which is greater: -1 or r?
r
Suppose -223 = -2*p - w, 5*w + 190 + 291 = 4*p. Is p >= 113?
True
Let q = 695 - 607. Which is greater: q or 90?
90
Let p be 518920/(-57375) - -5 - -4. Let j = p + 2/459. Which is smaller: j or -1?
-1
Suppose 3*h = 3*w + 42, -38 = 5*w - h + 32. Suppose 4*y = 2*y - 36. Let c = w - y. Which is bigger: 5 or c?
5
Let p = 1.01 - 0.01. Suppose 0 = -3*d + 4*s + 42, 3*s - 11 = -3*d + 52. Which is smaller: p or d?
p
Let i be 15/6 + 6/(-4). Let f(r) = r + 3 + i - 14. Let m be f(20). Are m and 7 nonequal?
True
Let f = 0 - 3. Let v = 3 - f. Let w be 6/(-28) - v/21. Is -1 > w?
False
Suppose 4*p - 15 = -3*x + p, 1 = -x + 2*p. Suppose 0 = -x*k - k + 296. Let a be 1/(-2) - k/(-132). Is a at least -1?
True
Let d be (846/4)/(19/38). Do d and 422 have the same value?
False
Let q be 1/(-7)*-1*(-3 + -631). Is -90 smaller than q?
False
Let r(m) be the second derivative of -m**4/6 - 11*m**3/6 + 5*m**2/2 - 21*m. Let a be r(-6). Let u = -37 - -261/7. Is u greater than a?
True
Let z(q) = -5*q + 10. Let a be z(6). Let u = a + 27. Suppose -3*s = -u*s - 12, -5*i + 3*s + 34 = 0. Is i less than or equal to 3?
False
Let u(c) = 46*c. Let v be u(-1). Is 0.08 at least as big as v?
True
Suppose 5*c - 444 = 3*c. Suppose 3*g + 224 = -k, -3*g - 4*k - c = -k. Let p be (-1)/(-2) - g/(-50). Which is smaller: 1 or p?
p
Suppose -v - 18 = 5*t - t, 0 = v - 2*t - 12. Let y = -60 - -71. Let r = 3 - y. Is r < v?
True
Let n = 0.0489 - 3.0489. Which is greater: -37/7 or n?
n
Let y = -2 - 96. Let l = -46 - y. Is 0 equal to l?
False
Let h be 12 - (3 - 3 - -3). Let v be h + (-10)/(-15)*-3. Which is bigger: 20/3 or v?
v
Let q be 2/(5 + (7 - 10)). Is q < 1?
False
Let n = 12.84 - 4.7. Let x = 0.14 - n. Let a = 7 + x. Is -1/8 not equal to a?
True
Let c = -478 + 423. Which is smaller: c or 4?
c
Suppose -5*s = 5, -2*v - 2*s - 14 = 2*s. Let w be (-88)/(-30) + (-2)/v. Suppose -6*q - 712 = -724. Is q equal to w?
False
Let n be (-6)/3*1 - -24. Suppose 3*r = 7 - n. Is r != 2?
True
Let f = 0.038 - -21.962. Let w = f + -22.1. Let m = w + -0.9. Is -2/21 > m?
True
Suppose 10*k + 814 = -k. Let s = k + 372/5. Do s and -50 have different values?
True
Let o be (-2)/(-10) - (-56)/20. Let t be -1 - 3*o/(-6). Suppose m = 3*m - 2*w + 2, -2*m = -5*w + 11. Is m > t?
True
Suppose -39*j - 144 = -45*j. Which is greater: j or 25?
25
Let q = -216.88 - -224. Let k = q - 1.12. Which is smaller: 2 or k?
2
Let l(b) = b**2 - 2*b - 554. Let u be l(-19). Is -159 smaller than u?
True
Let x be (1 - 2)*-3*(-2)/(-6). Let b = 2/3 - x. Which is greater: -4 or b?
b
Suppose n - 4 = 4*s, 3*s + 5*n = 4*n - 10. Let d = 6 + 36. Let u = d - 130/3. Which is smaller: u or s?
s
Let a be ((-4)/10)/(8/340). Which is bigger: a or -52/3?
a
Let k = -10.14 - -0.14. Let s = k - -7. Let a = -0.05 + -0.15. Is a smaller than s?
False
Let g(n) = 3*n - 3. Let w be g(6). Let i = -15 + w. Suppose 2*h - 5*h - 21 = i. Which is smaller: h or -6?
h
Let a = 38 + -23. Let o(q) = -q**2 + 13*q - 28. Let b be o(12). Let t = a + b. Which is bigger: t or 2/5?
2/5
Let z = 101 - 89. Suppose -2*k + z = 4*k. Is k at most -4?
False
Let l = -13 - -13.1. Which is smaller: 0.023 or l?
0.023
Let h = -0.04306 + 0.14306. Let p = 4.7 + 0.3. Is h > p?
False
Suppose -j = -5*u + 2, 4*j + 0*j + 8 = 4*u. Let h = -92 + -95. Let f = 938/5 + h. Which is greater: f or u?
f
Let w = -170 + 98. Let b = 88 + w. Is 15 greater than or equal to b?
False
Let n = 29 - 43. Let j = n - -13.5. Let y = -0.4 - -3.4. Is y greater than or equal to j?
True
Suppose -4*k + 4*h = 40, -35 = 3*k - k + 3*h. Is k equal to -7?
False
Let x = -54 + 59. Let z be 0/1 - (-1 + 1). Suppose -y - 3*y - 14 = -t, z = -5*t - 5*y - 5. Which is smaller: t or x?
t
Suppose 0 = 5*y - y - 2516. Let m be y/440 - (-6 + 7). Let j = 3/55 - m. Is j at least as big as -1?
True
Let r = -14 - -13. Let d = 2 + 10. Let c = 15 - d. Which is bigger: c or r?
c
Let t(w) = 3*w**2 - 23*w - 11. Let v be t(8). Let i be (-4)/v*(-51)/34. Which is bigger: -8/3 or i?
i
Let v = -1385 - -1386. Which is smaller: v or -6/521?
-6/521
Suppose 6*r = 910 + 680. Is r less than 265?
False
Let o = 21.0336 - 0.0336. Let d = -252.1 + 273. Let j = d - o. Which is smaller: 7 or j?
j
Let i be 1/(1 + 0 + 0). Let x = 15241516/679 + -22447. Let y = -1971/14938 - x. Which is smaller: i or y?
y
Suppose -2*r - 7 = -5*a - 6, r = 2*a - 1. Do -1/210 and a have the same value?
False
Suppose -s = -11 + 9. Suppose s*j + 4*h + 2 = -0, -2*h = 2*j + 4. Is 2 less than j?
False
Let g = 40 - 19. Which is smaller: 19 or g?
19
Let y = 17207/108 + -637/4. Let v = 9 - 9. Which is smaller: v or y?
v
Suppose -6*q - 814 = -322. Which is smaller: q or -1068/13?
-1068/13
Let m = 0.04 - -0.06. Suppose 0 = -6*z + 297 - 27. Let n = -313/7 + z. Which is bigger: n or m?
n
Let g = 1 + 8. Let k(z) = -z**2 - 14*z + 3. Let s be k(-14). Suppose -t = -h - 10, -s*h - 20 = -t - 0*h. Which is bigger: t or g?
g
Let a(q) be the third derivative of q**6/120 + q**5/20 - 5*q**4/24 - q**3/6 + 7*q**2. Let w be a(-4). Let f be (0/12)/(1 - w). Is 1/3 < f?
False
Let w be (12/(-9))/((-6)/(-9)). Let r be (5 + -5)*w/6. Let l be (-2 - -3) + r + -3. Does l = -1?
False
Let d(s) = s**2 - 3*s + 2. Let v be d(2). Suppose 0 = 26*c - 22*c + 4. Let l be c*7/(140/16). Is l less than v?
True
Let c be 14/(-21) + (-227)/(-3). Let o be ((-24)/20)/((-3)/c). Suppose -2*b = 2*i - o, 4*i + 0*i - b = 60. Is i >= 15?
True
Let u be ((-13)/(-4))/((-3)/6). Suppose -8*r - 10 + 2 = 40. Are u and r nonequal?
True
Let u = 42641/75090 - 3/2503. Is u > 2?
False
Let j(s) = s**2 + 8*s + 1. Let l be j(-8). Let x be (-1833)/4324 + 2/(l + 7). Which is smaller: -1 or x?
-1
Let r be 111/(-21) - 6/((-6)/5). Let y = -6.1 - 0.9. Let k = y + 5. Which is bigger: r or k?
r
Let n be (2/(-1) - -2) + -1. Which is bigger: -11/7 or n?
n
Let h = -0.047 + 34.047. Let k = h - 33.81. Let j = 0.09 - k. Is j > 8?
False
Let f = -78 + 236/3. Let j = 51.016 - 51. Let m = j - -2.984. Which is smaller: m or f?
f
Suppose 2*j - 884 = g, -3*j = -58*g + 62*g - 1348. Is 444 at least j?
True
Suppose -o = -4 + 1. Suppose -3*b + 2*b = -o. Suppose -4 = -2*t - 5*u - 0, b*t - u = -11. Which is greater: 0 or t?
0
Let u be (4/(-10))/((-1)/15). Let w be ((-2)/(-19))/(u/9). Suppose -4*s - 187 = -191. Do w and s have the same value?
False
Let q be (-222)/(-27) - (-2)/(-9). Suppose w + 4*s = -q, s + 8 = 5*w - 3*s. Is -1/51 at least as big as w?
False
Let m be -9 + 1460/132 + -2. Which is smaller: m or -1/10?
-1/10
Let m = -3.5 - -3.57. Let q = m - -0.33. Which is bigger: -0.1 or q?
q
Let z = -54.962 + 55. Let x = 0.108 - z. Are -1 and x nonequal?
True
Let i be (-108)/(-8) - (-2 - 10/(-4)). Suppose -4*g = -2*v - 5 + i, v = -4. Which is smaller: -2 or g?
g
Let t(a) = -4*a + 172. Let w be t(43). Is w less than or equal to -2/461?
False
Let a(w) =