Let w = 9996 + -10007.003. Let j = w + 0.003. Is 0.2 >= j?
True
Let j be (-561)/(-6) - (-3)/6. Let m be (-2)/4*4/j. Which is smaller: -1 or m?
-1
Let i be 3/(-21)*(-140)/(-72). Let t = 785341/36 - 21817. Let n = i + t. Which is greater: n or -3?
n
Let o be (822/21)/((-10)/(-2)). Let i = o - 52/7. Which is bigger: i or -56?
i
Let p be 22/(-22) + 94/50. Let t = p + -459/550. Is t greater than or equal to -1?
True
Let i(r) = -2*r**2 - 15*r - 3. Let c be i(-7). Which is bigger: 6 or c?
6
Let v = -19 - -21. Let h = -1.9 + v. Are 4 and h nonequal?
True
Let u = 0.67 + -1.4. Let m = 0.83 + u. Which is smaller: 2/63 or m?
2/63
Suppose 12*q + 489 + 2367 = 0. Is q equal to -238?
True
Let l = 0 - 2. Let a(c) = 2*c - 3*c - 6 + 18. Let o be a(15). Is l bigger than o?
True
Let f = -2233 - -1617. Which is greater: f or -615?
-615
Let k be 4/14 + 4/84*57. Suppose -g = -k*d, 0 = g + 2*g + d. Is 1/11 > g?
True
Let s(g) = -3*g**2 + 17*g - 6. Let u be s(8). Let c = u + 72. Is 10 less than or equal to c?
True
Suppose -12 - 3 = -5*h. Suppose -h*w = 2*w - 5. Is -3/7 <= w?
True
Let h(u) = -u + 4. Let i be h(5). Let g be (-1)/((-1)/(i - -8)). Suppose -4*k + 21 + 11 = 0. Which is smaller: g or k?
g
Let h be 202/(-872) + (-8)/(-32). Let q(y) = 3*y**2 - 12*y - 16. Let c be q(5). Is h >= c?
True
Let o be 8/(-32) - 6/8. Let w = 0.4 - 1.6. Let h = w + -0.8. Is o at most as big as h?
False
Suppose 2*d + 0*d = 64. Suppose 0 = -f - 3*f - d. Let w = -4 - f. Is 3 bigger than w?
False
Suppose 0 = -19*s + 23*s - 30*s. Which is bigger: -6/557 or s?
s
Let o be -1 - 10*(-20)/8. Suppose o = 2*d - 26. Suppose x - 50 = -x. Is d at least as big as x?
True
Let j = 13 + -7. Suppose 5*b - 2*b - 28 = 2*p, 3*p + j = 0. Suppose b*g = 3*g. Are -10 and g non-equal?
True
Let w = 2147 + -2154. Let p = -49/4 + 27/4. Which is smaller: p or w?
w
Let x = 20 - 18. Suppose 0 = 4*p + 8, x*p = 2*q + q + 35. Do -11 and q have the same value?
False
Let y be ((-9)/15 - 11/(-10))*42. Suppose 9 + y = 2*q + 3*w, -42 = -3*q - 3*w. Is q >= 8?
True
Suppose 3627 = -15*a + 567. Is a at least as big as -204?
True
Let g = -2 - -2.2. Let k = 13.2 - g. Let y = 2 - k. Which is smaller: 0 or y?
y
Let m = 23 - 33. Let w be (-255)/m*8/1. Let f be 30/w*(-4)/(-5). Which is bigger: f or 5?
5
Let i = -8 + 9. Let t = 0 + -0.2. Let j = 0 + t. Which is smaller: j or i?
j
Suppose -26 = 6*k - 8*k. Let v(j) = j**3 + 19*j**2 - j - 4. Let c be v(-19). Is c greater than k?
True
Let v be (-3)/(-21) - (-104)/7. Suppose 20*w = v*w. Let g = 3 + -1. Is g at most as big as w?
False
Let w be (-2)/24*(-2397)/4. Let t = -50 + w. Suppose 4*h = -4*z + 12, -9 = z + 2*h - 5*h. Is z greater than t?
True
Let i = 0.48125 - -106.55375. Let v = i + -107. Which is smaller: v or -0.2?
-0.2
Let h be 0*(-4)/16 - 18/(-4671). Is h at most -1?
False
Let d be ((-8)/10)/(4/(-10)). Suppose -d*q = 3*q. Let v = 8 - 119/15. Is q at most as big as v?
True
Let x = 16/13 - -131/52. Let h(b) = -b**2 + 6*b - 5. Suppose 2*s = s + 4. Let y be h(s). Is y less than x?
True
Suppose y + 4*a - 36 = 0, -2*a + 11 = y - 3*a. Let b be (-64)/(-6)*(-21)/14*-1. Are b and y non-equal?
False
Let u(w) = w**3 + 3*w**2 + w. Suppose 4*a + 3*f = 12, -4*a + 0 = -f + 4. Let p be u(a). Is p greater than or equal to -3/50?
True
Let a be (-3)/(4/((-496)/12)). Let c = a + -20. Which is smaller: 2/3 or c?
2/3
Let d = -6 - -1. Let n = d + 8. Let o be 9/(3*n/9). Which is smaller: 8 or o?
8
Let q be ((-2)/4)/((-1)/10). Suppose -q*l + 5*g + 30 = 0, 3*l + 2*g = 6*l - 22. Let j = l + -10. Is 0 less than or equal to j?
True
Let j be ((-6648)/(-16))/((-1018)/(-1) - -2). Let k = 1/136 - j. Is 0.11 less than k?
False
Let u = 3145/3 - 1048. Suppose 3*t = t. Is u smaller than t?
False
Let m = -1295 - -1384. Which is bigger: 91 or m?
91
Let q be (-84)/(-48)*(-9)/21. Which is smaller: q or -1?
-1
Let l = 7/36 - 4/9. Let i = 27 + -33. Let h be ((-3)/(-57))/(i/18). Is l greater than or equal to h?
False
Let i = -221/1896 - 2/237. Is i >= 1?
False
Let p = -86 + 86.2. Which is smaller: 0.73 or p?
p
Let x = 702.88 - 702. Is -2 smaller than x?
True
Suppose 3*d + 7 + 2 = 0. Suppose -4*q + 22 - 38 = 0. Let y be (10/q - -2)*4. Which is bigger: y or d?
y
Let j = 3296 + -3315.23. Let n = j + 0.23. Does n = 1?
False
Suppose 8*q + 6 = 9*q + 3*b, 0 = 2*q + 3*b - 9. Suppose 0 = -l + 2*m - 2 - q, -3*l = 4*m - 5. Do l and 8 have the same value?
False
Let c(h) = -h**2 - 7*h + 6. Let l be c(-7). Suppose 0 = l*s + 19 - 211. Let i = 18 - s. Which is smaller: i or -13?
i
Suppose -4*v = -8*v + 12. Suppose r - 3*y = 12, -y - 4 = -v*r - 0*r. Which is bigger: 2 or r?
2
Suppose -3*r + r = 5*q - 516, 0 = -3*r - 2*q + 785. Suppose 0 = -4*g + 3*m - 218, 5*g - m = -2*m - r. Is -53 greater than or equal to g?
True
Suppose 6 = 35*a - 38*a. Let u = -1 + a. Which is bigger: -12 or u?
u
Let f be 114/(-133)*7/205. Which is smaller: f or 0?
f
Suppose 17 - 267 = -10*p. Suppose 50 = -6*i + 8*i. Is i <= p?
True
Suppose -y + f = -2*f - 19, 2*y = 5*f + 33. Let q = 144 + -140. Is y at least as big as q?
True
Let i(r) be the second derivative of r**5/20 - 11*r**4/12 + 11*r**3/6 - 7*r**2 - 5*r. Let t be i(10). Is t at least as big as -2?
False
Suppose -4*o = 36*o + 2000. Let w(r) = 6*r**3 - r**2 - 2*r - 1. Let s be w(-2). Which is smaller: s or o?
o
Let k = 98 - 397/4. Let v(c) = -c + 0*c - 10 + 2*c - 4*c. Let p be v(-3). Is p equal to k?
False
Let p be (-2)/6 - (-3005061)/(-252). Let q = 11927 + p. Let f = q + -15/14. Are 1 and f nonequal?
True
Let h(p) = 3*p - 7*p + 6*p + 38. Let g be h(-17). Which is greater: g or 5/2?
g
Suppose -3 = 3*d - j - j, -3*d - 3 = 4*j. Let g(c) = 2*c**2 + 16*c - 14. Let o be g(6). Let a = 2003/13 - o. Is d greater than a?
False
Suppose 63*c = 2465 - 128906. Does 1/2 = c?
False
Let j = -0.14416 + 0.04416. Let m = 32 - 55. Is j less than or equal to m?
False
Let j be 4/30 - 0/(-11). Suppose 0 = -4*y - 4 - 0. Let z = y + 1. Which is greater: z or j?
j
Let s = 34.623 + -0.123. Let z = -7.5 + s. Does -0.1 = z?
False
Let q = 1637 + -1635. Let i(m) = -m - 8. Let t be i(-6). Is t smaller than q?
True
Let x be (3 - (-14)/(-4)) + 109/2. Does x = 53?
False
Let i = -10 - -8. Let m be i/(-4)*7/(-7). Which is smaller: 12 or m?
m
Let q = 80 - 78. Suppose -q*n = r - 1, 3*r - 2*n - 2 = 5*r. Which is bigger: r or 1?
1
Let o = 56.9 - 24.9. Let j = -0.06 - -26.06. Let f = o - j. Is -0.2 at most as big as f?
True
Let c(r) = -5*r - 208. Let h be c(-42). Which is smaller: 34/27 or h?
34/27
Let p = -22 + 285. Is 263 less than or equal to p?
True
Let x = -66547661/11 - -6035157. Let f = x - -15046. Let z = 416 - f. Is 1 bigger than z?
True
Let k be -2 - 4/(1920/(-935)). Which is bigger: 1 or k?
1
Let x(m) = 7*m. Let r be x(-1). Let d be r/68 - (-3)/(-12). Suppose 21 = 83*a - 62*a. Which is bigger: d or a?
a
Let i = -1998/425 - -84/17. Are i and -3 nonequal?
True
Suppose -4*v = v. Suppose v = 4*p + 3*f + 41 + 13, 2*p + 2*f + 28 = 0. Let n be 3/2 + p/24. Does 2/25 = n?
False
Suppose 4*a = 31 - 979. Which is smaller: a or -238?
-238
Let m = 256 + -15106/59. Let a(v) = -v**2. Suppose 0 = j + 3*j. Let f be a(j). Is f < m?
False
Let q(y) = y**2 - 11 - 12 - 12*y + 20. Let h be q(12). Is h at most -17/6?
True
Let l = 17 - 14. Suppose -2*w - 8 = 2*w + 4*i, 2*w = l*i + 21. Suppose -5*n = -w*n. Is 0.2 >= n?
True
Let c = 54 - 58. Which is bigger: -0.27 or c?
-0.27
Let o = 11.96 + -12. Let l = o - -0.04. Let b be 6/(-4)*(-3)/9. Which is greater: b or l?
b
Let g be -1 + 6 + -16 + 15 + -4. Is -2/7431 equal to g?
False
Let p = -73 - -39. Let h = -35 - p. Which is greater: h or 0.08?
0.08
Let s = -11 + 28. Let i = s + -17.2. Let h be 60/(-14) - (-4)/14. Is h equal to i?
False
Suppose 0 = q + c + 9, -5*q + 0*c - 2*c = 36. Let x(t) = t**2 + 6*t - 1. Let w be x(q). Which is smaller: w or -5?
-5
Let h be 3*((-4)/6)/1. Let j = h - -3. Suppose 6*k = 14*k + 18*k. Which is smaller: j or k?
k
Let n = -0.5 + -0.5. Suppose -4*x + 2*y + 15 + 1 = 0, -20 = -5*y. Suppose -3*b = -x, 0 = -3*c + 4*b - 14 - 57. Is n smaller than c?
False
Let x(b) = 7*b**2 - 4*b**3 + 5*b**3 - 1 + 13 - 1 - 8*b. Let j be x(-8). Suppose -j*d + 6*d = 0. Which is smaller: d or -7/5?
-7/5
Suppose 0 = -5*o + 3*r - 5, -5*o - 2 = 5*r + 3. Is -2/259 != o?
True
Let w be -458 + (-2)/5 + 48/20. Which is greater: -4