+ 6. Suppose 2*i - 2 = -r - 7, -w*r - 2*i = 8. Let f = -95 - -92. Which is smaller: r or f?
f
Let b = -2.32 + 0.32. Is b at most as big as -0.14?
True
Suppose -9 - 1 = -2*o. Let f = -9 + 5. Let c = f + o. Which is bigger: c or 2/13?
c
Let r = -7305 - -80297/11. Let f = r - -2864/539. Do f and 0 have the same value?
False
Let r = 0.6 + -0.52. Let i = r - 0.08. Let p = 3 - i. Which is greater: 0.2 or p?
p
Suppose -7*p = -2*p + 3*r + 19, -2*r = p + 8. Is -2 >= p?
True
Suppose -3*u + 60 = -3*k, -2*k - 88 = 3*k - 2*u. Is -18 at least k?
False
Let r = 1/34 + -291/68. Which is smaller: -5 or r?
-5
Suppose -14 = 2*t - 5*t + 5*a, 4*t = 4*a + 24. Let q = 1 + 2. Let j be (-6)/t*2/q. Which is bigger: j or -2?
j
Let a be (-2)/(6/(-15) + 0). Which is smaller: a or 6?
a
Let d = -8361/19 + 440. Let n be (-4)/6*(-6)/4. Which is smaller: d or n?
d
Let p = -825 + 1711/2. Let u = p - 31. Which is smaller: -3 or u?
-3
Let r(i) = i - 14. Let q be r(16). Suppose 0 = q*m - 19 - 7. Is 12 smaller than m?
True
Let p(a) = a**3 + 6*a**2 + 6*a + 7. Let l be p(-5). Are l and 1 unequal?
True
Let y(z) = 21*z**3 + 2*z - 1. Let i be y(1). Let h be 4/i - 48/22. Let c be ((-6)/4)/((-1)/(-2)). Does c = h?
False
Let q = 2.2 - 2. Let n = 0.4 - q. Let j = n + -0.1. Which is bigger: j or -2?
j
Let z = 4275/13 - 329. Are z and -1 non-equal?
True
Suppose 5*a = 2*n + 8, -7*n + 2*a = -3*n. Is -3 <= n?
True
Let w = -20 - -19.8. Let b = 0.2 + -0.3. Let v = b + -0.1. Is v greater than or equal to w?
True
Let q = -25 - -26. Is q at most as big as -16?
False
Let n = 2/6851503 - 40417016461/904398396. Let b = n + 179/4. Which is greater: b or 0?
b
Let t be ((-231)/12)/7*4. Is -11 less than or equal to t?
True
Let z(c) = -4*c + 3. Let i be z(2). Let s = i - -8. Which is smaller: 2 or s?
2
Let v(l) = l**3 + 5*l**2 + l - 4. Let j be v(-4). Suppose -3*a + 10 = -j. Let n be 10/(-15)*a/2. Is n greater than or equal to -4?
True
Let s be ((-4)/3 + 1)*6. Suppose c = -0*c + 4. Suppose 2*f + 2*f + c = 0. Which is bigger: f or s?
f
Let v = -7 - -5. Let g = 1 - 0. Let t = g + v. Which is smaller: t or -2/3?
t
Suppose -7*v + 3*v + y + 4 = 0, -4*y = -3*v + 3. Which is smaller: v or -31?
-31
Suppose -j - 4*k - 6 = 6, -3*j - k = 3. Suppose 3*h + 2*h - 15 = j. Let y be h - ((-3 - -3) + 2). Which is smaller: 2 or y?
y
Let p = 24 + -15. Let o be (-50)/(-18) + 2/p. Which is smaller: o or 4?
o
Let r be ((-4)/((-4)/(-5)))/(-1). Suppose -r*b - 3 + 33 = 0. Let y be 6/10 - b/(-15). Which is greater: y or 1/4?
y
Let r(l) = -2*l**2 + 1. Let y be r(-2). Let i = -5 - -15. Let w = y + i. Which is smaller: 2 or w?
2
Let v = -3/1322 + 3103/202266. Which is smaller: 1 or v?
v
Let h = -215/8 - -27. Let b = 2 + -1. Does b = h?
False
Let r(h) = h**3 + h**2 + h + 1. Let a be r(0). Let c = 139 - 1109/8. Which is bigger: c or a?
a
Let r(g) = g**3 - 9*g**2 - g + 9. Let n be r(9). Let j be (-2 - -1) + (-4 - n). Is -4 at most as big as j?
False
Let f = 155/13 + -12. Let v = f + 15/26. Let p = -22/27 + 4/27. Is v bigger than p?
True
Suppose -2*g + 17 = 3. Is g less than 8?
True
Let m(j) = -2*j - 19. Let a be m(-9). Which is smaller: 3 or a?
a
Let x(v) = v**2 + 6*v - 6. Let y be x(-8). Suppose b + 7 + y = -2*m, 0 = -2*m + 3*b - 13. Which is bigger: m or 2/3?
2/3
Let z = -12 - -9. Suppose -2 - 18 = -4*y. Let k = z + y. Is 4 greater than or equal to k?
True
Suppose 36 = 2*y + 2*y - 4*q, -5*q + 3 = -y. Suppose -5*w - y = 3*d, -2*w = -d - w - 4. Let u = -333/2 - -163. Which is smaller: d or u?
d
Let c be (6/5)/(-3) + 96/240. Is c less than 4/21?
True
Let f be 2/(-6) - 26/(-42). Suppose 0 = 4*q + q + 5. Which is smaller: f or q?
q
Let p(u) = -u - 4. Let v be p(-6). Suppose -3*x + 7 = 5*a - 0, 0 = -x + v*a + 6. Suppose -x*s + 0*s = -4. Is 0 at least as big as s?
False
Let a(y) = -y**3 + y**2 - 2*y + 1. Let f be a(1). Let s be ((-18)/21)/(f/7). Let k = -10 + s. Which is smaller: -3 or k?
k
Let n(d) = -d**3 - 8*d**2 - 10*d + 11. Let b be n(-6). Does -2 = b?
False
Let q = -182 + 2004/11. Is -1 less than q?
True
Suppose 0*j - j = -1. Is 1 less than or equal to j?
True
Suppose -6*n + 6 = -9*n. Which is smaller: n or -5?
-5
Let c be -2 - ((-96)/(-13))/(-4). Is 0 less than c?
False
Let c = -0.03 + -0.02. Let f = c + 0.55. Let v = 0.7 - f. Which is greater: v or -3?
v
Suppose 11*f = -101 + 24. Is 6 less than f?
False
Let f = 0.4 + 2. Let h = f + -2.4. Which is smaller: h or 11?
h
Let h be 0/(-2)*-1 + 3. Suppose -4*l + 4 = -0*m + m, 2*l - 2*m - 12 = 0. Do h and l have the same value?
False
Suppose -3*h - h = 0. Let t be 0 + 1 + -1 - h. Let m be 3*8/(-18) - -1. Is m at most t?
True
Let z be -3*(-2)/(-4)*2. Let k be ((-4)/z)/(11/22). Do 2 and k have different values?
True
Suppose -17*z = -18*z + 27. Do z and 27 have different values?
False
Let o be (-530)/1100 - 6/(-33). Which is smaller: -1 or o?
-1
Let w be (22/(-33))/((-2)/(-3)). Are -5 and w nonequal?
True
Let q = 51 + -83. Do q and -30 have the same value?
False
Let m be 10/11 + ((-5)/(-5))/(-1). Which is smaller: -1 or m?
-1
Let t = 42 + -337/8. Is t at most -1?
False
Let n be 1/((-1)/(10/(-2))). Suppose 5 = -0*z - n*z. Let x(a) = -a**3 - 18*a**2 + a + 17. Let s be x(-18). Is z less than or equal to s?
True
Suppose 4*t - t = 0. Let f be t/(-3 - 0/1). Is 3/13 less than f?
False
Let f be (0 + -2)/(8/(-12)). Suppose -r = f - 13. Let o be (r/25)/((-6)/(-10)). Which is smaller: 1 or o?
o
Let x = 10454149/473 + -247938/11. Let u = 438 + x. Does u = 0?
False
Let o = -3 + 3. Suppose o = -2*c + z + 5, 3*c + 4*z + 3 = 5. Let b(k) = k**3 + 5*k**2 - k - 4. Let u be b(-5). Is u smaller than c?
True
Suppose 0 = 5*d - 2*w - 25, 0 = 3*d - 2*w - 14 - 5. Suppose 4 = d*j - 2. Suppose -4 = j*a + 2. Which is smaller: -2 or a?
a
Suppose 5*g - 19 - 1 = 0. Does g = 5?
False
Let p = 14 - 10. Suppose y = -4*q - 14, p*y - 8*y = -5*q - 49. Is 6 at most y?
True
Let p = 4.6 + -5. Let h = 4.4 + -5.4. Which is greater: h or p?
p
Let h be 1/(2/(3 + -5)). Is h at most 4/9?
True
Let r be 9/((-666)/152) + -1 + 3. Is r != -1?
True
Suppose 5*n + 73 = -4*x, -n = x - 2*n + 25. Let z be (-4)/x + (-24)/(-110). Is 1/2 at least as big as z?
True
Let s(c) = c - 6. Let n be s(5). Let w be (-2 - -2) + 277/(-9). Let i = -31 - w. Is n < i?
True
Let u = 9 + -8.79. Let g = -13.79 - u. Is -0.1 greater than or equal to g?
True
Let d be (-272)/(-12) + (-4)/(-6). Let j = -23 + d. Let b = -0.1 + 0.2. Is j not equal to b?
True
Let h be (-22)/(-8) + (-9)/(-36). Suppose 4*u - 6*z + 8 = -z, h*u - 4*z = -7. Let v = 1 - u. Is -2 at least v?
True
Let l = -329/388 + -1/485. Let b = 5/4 + l. Suppose 0 = p - 0*p. Do p and b have different values?
True
Let g(m) = 6*m - 69. Let w be g(11). Is w >= -19?
True
Let i = -37 + 22. Which is smaller: -1/2 or i?
i
Let t = -1.77 - -1.9. Let b = -0.07 - t. Is b <= -0.1?
True
Let j(q) = q**2 + 7*q + 3. Let k be j(-6). Let c be (k/(-3) - -2) + -2. Which is greater: 0 or c?
c
Let q = 1477/8 + -185. Which is smaller: 0 or q?
q
Let u = 0.119 + -0.239. Is u equal to -0.5?
False
Let y(n) = n + 1. Let f(z) = 12*z + 6. Let c(h) = -f(h) + 10*y(h). Let s be c(6). Which is greater: -5 or s?
-5
Suppose -11 = 6*j + 67. Which is smaller: j or 3?
j
Let a = 0 - 0. Let f = -2.54 + 0.04. Let i = f - -1.5. Which is smaller: i or a?
i
Let s = 113641487/143 + -794706. Let h = 155/13 + s. Which is greater: 1 or h?
h
Let u(i) = -i**2 - 6*i + 2. Let a be u(-6). Suppose -a*k - 28 = -5*v + 8, 2*v - 3*k - 10 = 0. Is 8 less than or equal to v?
True
Let l = 64 + -255/4. Is l at most 0.09?
False
Suppose 3*r + 2 + 4 = 0. Is -2 less than r?
False
Let s = 90 + -74.8. Let b = 15 - s. Let w = 0.2 - 0.1. Is b <= w?
True
Let t(m) = -m**2 + 8*m - 12. Let h be t(8). Let x(s) = -s**2 - 14*s + 4. Let i be x(-15). Is h < i?
True
Let q(v) = v**2 + 10*v + 12. Let k be q(-9). Let t = k + -3. Is 1/2 equal to t?
False
Let h = -17 + 12. Let q = -6 - h. Let k be (-2)/(-16)*q/1. Which is smaller: -1 or k?
-1
Let g = -2.8 + 6. Let a = -1.9 + g. Do a and 2/3 have the same value?
False
Let d(h) = 915*h**2 + h + 1. Let k be d(-1). Let z be (0 - (-852)/k)/2. Let r = 4/61 - z. Which is smaller: 0 or r?
r
Let q be -7 - ((-8)/2 + 0). Let t be 1/4 - 10/8. Which is greater: t or q?
t
Let y = -345/7 - -18989/385. Which is bigger: 0 or y?
y
Let v = 0 + 4. Suppose 3*d - v = d. Suppose