 d be n(w). Does 3 = d?
False
Let q = 0 - -0.1. Let a = -316 + 288. Which is greater: a or q?
q
Let s be 48*18 - (3 - 1). Let c be s/(-22) + (-28)/(-154). Let j = c - -41. Is -7 >= j?
False
Let o = 425961/7 - 60727. Which is smaller: 125 or o?
o
Let k = -524 - -522. Let t = 145/3 - 46. Let w = 2 - t. Which is greater: k or w?
w
Let d = 1443 + -1431. Is -17/2 less than or equal to d?
True
Let t = -0.15 + 6.35. Is 1/4 at most t?
True
Let k be (462 - ((-4)/4 + 1)) + -3. Which is smaller: k or 462?
k
Let c be 1/((-4)/(2 + 26)). Let h(w) = w**2 + 6*w. Let r be h(c). Let f be (4 - r) + (-7)/1. Is f < -11?
False
Let z(p) = p + 18. Let b be z(-22). Let n be (-2)/4*(46 + b). Is n not equal to -21?
False
Let h = 1.78 + -2.1. Let o = h + 0.49. Let p = -0.17 + o. Which is bigger: p or 18?
18
Let d = 41.432 + -0.312. Let g = -41 + d. Is -2 != g?
True
Let k = -164 + 163. Are -4/29 and k nonequal?
True
Let g = -3.7 - -4. Suppose 129 = -l - 107. Let r = -1411/6 - l. Does r = g?
False
Let g(y) = -y**2 + y + 2. Let o be g(0). Let h = 0.17 + 0.13. Which is smaller: o or h?
h
Let w = 5 - 5.005. Which is greater: 1/3 or w?
1/3
Let k = -8.1 - -8. Let q = 294 + -583/2. Which is bigger: k or q?
q
Suppose -n = n. Let y be (-54)/91 + 1860/140 + -13. Which is greater: y or n?
n
Let f = -0.46 - -0.16. Let z = -0.15 - -0.18. Which is greater: f or z?
z
Let b(v) = -7*v**3 + 3*v**2 + 6*v + 7. Let t(j) = -8*j**3 + 4*j**2 + 7*j + 8. Let h(k) = 7*b(k) - 6*t(k). Let s be h(-1). Which is smaller: 3 or s?
s
Let n = -2 + 20. Let q = -10 + n. Which is smaller: q or 7?
7
Let c = -3 - -39. Suppose -4*j = -5*o - 14 + 47, 5*j - o + c = 0. Which is greater: -10 or j?
j
Suppose 6*j - 3*j = 0. Suppose -4*m + 13 + 7 = j. Suppose -4 = -n - m. Is n <= 2/11?
True
Let g = 110 - -338. Is 0.2 at most g?
True
Let g = 322 + -322.025. Which is bigger: 2/7 or g?
2/7
Let k be 1716/(-845) - -4*(-4)/(-8). Is -0.2 greater than k?
False
Let d = -3048 + 3868. Are 819 and d non-equal?
True
Suppose -3*l = 4*q - 130, 2*l + 0*q - 90 = -q. Suppose 0 = 47*i - l*i. Is 0 greater than i?
False
Let t be (-1513)/(-42) + -2 + (-312)/364. Which is smaller: t or 34?
t
Let l = -4.32 - -4. Let j = -0.67 - l. Let r = 0.22 + j. Is 0.1 less than r?
False
Let r(k) = k - 10. Let x = 10 - 6. Let t = 8 + x. Let o be r(t). Which is bigger: 9 or o?
9
Suppose 0 = r - q - 394, -5*q + 282 = -2*r + 1064. Is 396 equal to r?
True
Let f = -349 + 348. Which is bigger: f or -108?
f
Suppose -u + 2*m + 125 = 17, 342 = 3*u + 3*m. Suppose -14*b - u = -6*b. Suppose 2*s = 5*s + 39. Do s and b have different values?
True
Let g(b) = 4*b + 58. Let f be g(-10). Is f greater than or equal to 17?
True
Suppose 595 - 1999 = -13*p. Does p = 108?
True
Let i = -1 - 0. Let u = -8/19161 + 864221/4732767. Let f = 2/19 - u. Which is smaller: f or i?
i
Let h = -176 + 161. Which is smaller: h or 5/9?
h
Let c = -19.8 + 19.6. Is c smaller than 328?
True
Let x be (145/58)/((-2)/4). Which is bigger: x or 5/7?
5/7
Let i be 2/10 + -1 + 352/(-10). Is -37 greater than i?
False
Let b be (3 - 368/53) + 4. Let u = b - 395/424. Which is smaller: u or 0?
u
Let i be 0/3 - (-6 + (-5 - -51)). Which is smaller: i or -39?
i
Let x = 2/163 - -159/326. Are x and -37 non-equal?
True
Suppose -2*l - 9 = -29. Let d = l + 1. Let o be (d + -3)*3/(-4). Which is greater: -5 or o?
-5
Suppose 30*q = 25*q. Is q > 1/22?
False
Let g be (2/(-9))/(-7 + 9). Suppose 0*a + 2*a - b = 2, -3*b + 2 = -2*a. Suppose 3*j = 5*y - j - 4, -a*j = 2. Which is smaller: y or g?
g
Suppose -2*b = 2*m + b - 6, -b = 0. Let g(r) = 3*r**3 + 1 - r**m - r - r**3 + 0. Let l be g(1). Is 5/4 less than or equal to l?
False
Let b = -83 + 64. Let o = 21 + b. Which is greater: o or 4?
4
Let x be 2 - (3/42)/((-4)/(-208)). Which is greater: x or -3?
x
Let n = 271 + -278. Let s = 7 - -1. Let l = s + n. Which is smaller: l or 15/7?
l
Let f be 2 + 0 + 2 + -7. Let t(q) = q - 3. Suppose 4*m + 4 = -5*j - 2, 0 = -4*j + 4*m + 24. Let y be t(j). Which is smaller: f or y?
f
Let n = -15 + 17. Suppose 8*j - 2*j - 18 = 0. Which is bigger: n or j?
j
Suppose g = 3*i - 3, 4 = 5*i - 4*g - 1. Suppose -4*b - 16 = 0, 2*b + 219 = -3*v - 2. Let w be 5/v*20/50. Which is greater: i or w?
i
Suppose -5377 + 2101 = 4*m. Let h = 7379/9 + m. Is 1 bigger than h?
True
Let d(s) = -s**3 - 40*s**2 + 41*s - 3. Let q be d(-41). Is q greater than -3?
False
Let h be 85/(-34)*6/(-5). Suppose h*y + 66 = 15. Suppose -5*u - 4*q = 92, -7 = 5*q + 8. Which is smaller: u or y?
y
Let y = 108.9 - 96. Let q = 12.8 - y. Which is greater: q or 0.08?
0.08
Let z(n) be the third derivative of -n**4/24 + 5*n**3/6 - 16*n**2. Let r be z(-5). Which is smaller: r or -0.1?
-0.1
Let f(h) = 2*h**2 + 5*h - 34. Let l be f(-7). Which is smaller: l or 200/7?
200/7
Let f = -1 - 3. Let b be f/(-16) - (-29)/(-52). Is b bigger than 1?
False
Suppose -3*c = -2*c - 9. Suppose 5*k + 5*a + 55 = 0, 0*k + k + 3*a = -9. Let h be (c/27)/((-2)/k). Is h at most 4?
True
Let s = 88/315 - 2/35. Let v = 5.2 + -6.9. Let w = v + 0.7. Which is greater: w or s?
s
Let c = -468 + 5152/11. Suppose 2*z - m - 2 = -3*z, -3*z - 3*m = -12. Which is bigger: z or c?
z
Let x = 19/300 + 23453/3900. Are x and 6 nonequal?
True
Let t be (-92)/(-12) + (-1 + -11)*2/3. Let a be (4/(-6))/((-16)/(-21)). Which is smaller: a or t?
a
Let a be 22/6 + 2 - 2. Suppose -47 = 2*v + 2*r + 21, -5*v - 168 = 3*r. Let l be (-6)/v + 27/33. Do l and a have the same value?
False
Suppose 5 = 4*i - 15. Suppose 0 = i*q - 6*q - 3. Let s = -36.9 + 35.9. Which is greater: q or s?
s
Suppose y - 5*i + 31 = -2*y, 0 = 2*y + i - 1. Suppose p - 3*n = -2*n - 5, -4*n + 12 = -2*p. Let a = y - p. Which is smaller: a or 0.2?
0.2
Let q = -2183 + 2172. Which is smaller: 2 or q?
q
Let j be (-2 - -9)*-2 - -2. Suppose 1029*q + 2 + 148 = 1014*q. Which is greater: j or q?
q
Suppose -5*o - 44 + 9 = 0. Let s be (-8)/(-28) + 100/o. Which is smaller: -15 or s?
-15
Suppose 13*h - 744 = 790. Is h at least as big as 120?
False
Let h = 0.366 - 0.266. Is -5 > h?
False
Let c be (5 - 4/((-12)/(-9))) + -2. Let y be (c + 6)*6/54. Let b be (-1 + 0)/(-1) + 10. Is y <= b?
True
Let o(g) = -g**3 + 7*g**2 - 7*g - 5. Suppose -64 = 3*i - 7*i + 4*d, -82 = -5*i + 4*d. Suppose 2*f - i = -f. Let p be o(f). Which is smaller: -9 or p?
p
Suppose 3*l - 53 = 5*l - k, 4*k = -3*l - 74. Which is smaller: l or -25?
l
Suppose 5*u + 5 - 25 = 0. Let y be (-28)/(-8) - u - 3/(-2). Which is smaller: 2/91 or y?
2/91
Suppose 2*v = 24 + 2. Suppose 0 = p + 5 - v. Which is greater: p or 28/3?
28/3
Suppose 0 = 7*n + 126 - 133. Is n >= 2/759?
True
Let d be -15 + 18 - 12/1. Is -180/19 at least as big as d?
False
Let z(p) = -2*p - 1. Suppose -2*c + b + 0*b = -9, 25 = 5*c - 5*b. Let j be z(c). Suppose -5*q + 2*q - 6 = 4*x, -4*x - 4 = 2*q. Is q less than j?
False
Let u be (-2)/(-8) + 34/(-8). Let o(y) = 6*y**2 + y - 6. Let w(g) = -7*g**2 + 8. Let a(c) = -6*o(c) - 5*w(c). Let s be a(u). Is 18/5 at most as big as s?
True
Let a be (0 + 2/42)/(-37 - -74). Which is bigger: -1 or a?
a
Let w be (0/(3 - 4))/2. Let z be (2 - 3)/1*w. Let b be (4 - 1) + (7 - z). Which is smaller: b or 1/3?
1/3
Let b = -43.7 - -43.9. Let w = 1 - 1. Let o = b - w. Which is smaller: o or 2/11?
2/11
Let d = 177 + -210. Which is smaller: d or -38?
-38
Suppose 2*y + 1 + 3 = d, -5*y = -2*d + 9. Let r(k) = -27*k - 12. Let q(x) = -5*x - 2. Let v(z) = -34*q(z) + 6*r(z). Let m be v(d). Is m bigger than 11?
True
Let n = 35 + -28. Suppose 0 = 2*f + x - n + 2, -25 = -4*f - 5*x. Which is smaller: 1/2 or f?
f
Let d = -1203 - -273075/227. Is d not equal to -1?
True
Suppose 3*o - 18 = -2*u - 14, -2*o = -5*u + 10. Which is bigger: -7/53 or o?
o
Suppose 0 = -4*w - 4*i + 1476, -i + 15 = 12. Which is smaller: w or 365?
365
Let x be -141 - -140 - 3*-29. Which is bigger: x or 88?
88
Let i = 0 - 0.2. Let l = 0.3 + i. Let v = 1/1639 - -8191/6556. Which is greater: l or v?
v
Let f(k) = 4*k**2 - 5*k**2 + 356*k - 362*k + 8. Let m = -12 - -6. Let z be f(m). Which is bigger: 6 or z?
z
Let t(s) = -s + 38. Let x be t(13). Which is smaller: 24 or x?
24
Let q = -8 - -7.9. Let n = 5319/7 + -759. Does n = q?
False
Suppose -4*d - 3*w + 8 = 0, -6*w = 5*d - 7*w + 9. Is 2/561 equal to d?
False
Let v be (-8)/10*(-45)/18. Is 263 bigger than v?
True
Suppose 2*y = a - 8 + 7, 2*a - y - 2 = 0. W