 - 12 = -3*k - a*t. Which is smaller: k or -2/7?
k
Let z(p) = 1223*p - 4. Let b be z(4). Let u = 1334426/273 - b. Let s = u - -60/91. Is 2 greater than s?
True
Let u = -3 + 0. Let x = 1 + u. Let g = x + 3. Which is smaller: g or 0.2?
0.2
Let h be 0*1*(-1 - -2). Which is greater: 1/5 or h?
1/5
Let k = 16 + -10. Suppose -a + 3 = -2*x, 2*a - k = -0*a - 4*x. Is 5 greater than a?
True
Let j = -0.06 - 0.14. Let h = 1.16 + 0.04. Let x = j + h. Is 2/7 greater than x?
False
Suppose 14 - 77 = -3*w. Is -2/3 at least w?
False
Let n = -0.29 + 1.99. Let r = 0.7 - n. Is r at least as big as -1?
True
Let g(u) = -u**2 + 2*u + 6. Let m be g(3). Which is smaller: m or 1?
1
Suppose 0 = -l - 20 - 23. Is -45 >= l?
False
Suppose 4*j - 3 = -3*a, -3*a - 4 = -7*a - 3*j. Which is smaller: a or 1/20?
1/20
Let l(b) = 0*b**2 + b**2 - 3 + 2 + b + b**3. Let k be l(0). Let n(u) = u**3 + 5*u**2 - 3*u - 15. Let f be n(-5). Which is bigger: k or f?
f
Suppose -g + 3*g - y = 38, -5*y - 28 = -g. Let c be (-4)/(-6)*g/42. Is c != -1?
True
Suppose 20 = -4*t - 16. Let w be (-9)/(-12)*(-6)/t. Which is greater: w or 2/3?
2/3
Let g = 3 + -1. Let s = -1 + g. Let u = s + -0.9. Is u greater than -0.1?
True
Let h = -7.851 - 0.049. Let k = -2.1 + h. Which is smaller: 1 or k?
k
Suppose 2*x + 2 - 6 = -4*d, 2*x - 3*d + 24 = 0. Which is greater: x or -5?
-5
Let r = -12 + 12.7. Which is smaller: r or 2/7?
2/7
Let u = 1 - -10. Let m(d) = 2*d. Let i be m(5). Is i less than or equal to u?
True
Let r be (-4)/10 - (-176)/(-10). Let x = r - -128/7. Is x at most as big as 1?
True
Let k be 1/(-2 - -3) + 1. Suppose 3*z + k = -1. Let o be (2 + z)*(6 - 4). Is 2 less than o?
False
Let l = 5 + -1. Which is bigger: l or 22/5?
22/5
Let p be 6/9 - 34/42. Suppose 0 = 2*r - 4*r. Suppose -5*w + 3*w = r. Is w less than or equal to p?
False
Let h be ((-2)/(-40))/(2/(-4)). Suppose -14 = -5*c + 5*i + 6, 3*i + 14 = c. Is c greater than h?
False
Let j = -9 - -16. Let r = -7 + j. Are -0.3 and r non-equal?
True
Suppose -4*o = s + 43, -20 - 6 = 2*s - 4*o. Is s at most as big as -23?
True
Let r = 1.17 - -0.13. Is -0.1 <= r?
True
Suppose -3*b = 3*b + 6. Do b and -2 have the same value?
False
Suppose -43 = -5*n - 8. Let l be (-1235)/(-171) + (-2)/9. Does l = n?
True
Suppose 16 = 12*z - 14*z. Is -8 at most z?
True
Let q be 3/(-26)*12/(-3). Which is smaller: 1 or q?
q
Suppose -2*k + g = 3 - 5, g - 3 = -3*k. Let l = 33 + -35. Let m be l - (4 - 93/15). Is m greater than or equal to k?
False
Let k(q) = q - 5. Let z be k(0). Let o = -50 + 45. Is z > o?
False
Suppose 4*p - g - 126 = -36, -5*p + 102 = 4*g. Let x be p/8 + 6/24. Is 4 < x?
False
Suppose 7 = -4*z - 1. Let g(r) = 17*r + 1. Let t be g(1). Suppose t = -2*x - 3*b, 4*x - 2*b + 0*b + 4 = 0. Is z greater than or equal to x?
True
Suppose 14 = -4*t + 2. Let m = -6.9 + 7. Do t and m have different values?
True
Let n(c) = c**3 + 7*c**2 + c - 5. Let b be n(-7). Let j be ((-16)/84)/(b/14). Is -1 equal to j?
False
Let w be ((-16)/(-10))/((-4)/(-10)). Suppose -8 = -w*c + 8. Let z be (21/12 - 1)*c. Is z > 3?
False
Let c = -811/1876 - -1/268. Let l(d) = d**2 - 8*d + 7. Let x be l(7). Is x <= c?
False
Let v = -0.4 + 0.4. Let k = -8 + 8. Let d = v - k. Is d bigger than 0?
False
Let c be (2 + -25)*(-10)/45. Are 4 and c equal?
False
Let x = -293/220 + -3/44. Which is smaller: x or 0?
x
Let d = 95 - 2183/23. Let p = 12 + -12.13. Let z = 0.23 + p. Which is smaller: z or d?
d
Let x = 3 + 3. Suppose -5*a + 12 = 4*l + 2, -5*l = 3*a - x. Suppose l*q = 2*q. Do 2 and q have different values?
True
Let x = -2.96 - 0.04. Let n = -26 + 28.8. Let v = x + n. Do -0.1 and v have the same value?
False
Let p = 194 + -193.7. Is p at most as big as 34?
True
Let z(t) be the third derivative of -t**5/60 - t**4/6 + 2*t**3/3 + 3*t**2. Let n be z(-5). Let r be 2/7*(-2)/(-2). Are n and r unequal?
True
Let m be (-35)/(-10)*2/3. Let i = 3 - m. Let q = 0.3 - -0.7. Is i equal to q?
False
Let r = 10 + -7. Let h = r + -5. Let p(q) = -q - 6. Let c be p(-7). Which is smaller: c or h?
h
Let n be (20/6)/(2/3). Let i(u) = u**2 + 8*u + 2. Let t be i(-6). Let l be (1/(-17))/(n/t). Is l bigger than 1?
False
Let o be (-10)/25*8/6. Are -2 and o equal?
False
Let d(u) = u**2 + 2*u + 1. Let p be 17/4 + (-4)/16. Suppose -5*b - 3*v - 21 = -v, 12 = -p*v. Let m be d(b). Which is bigger: m or 3?
m
Suppose -6*l = -2*l - 8. Let p be -1 + l + (-2 - 0). Let y = 2 + p. Is 2 equal to y?
False
Let g = 7 - 7. Which is smaller: 3/7 or g?
g
Let b be (-3 - (3 - 35)) + (-3 - 0). Is b equal to 1?
False
Let w be 17/(-4)*-1*4. Which is greater: w or 18?
18
Let b(d) = -d**2 + 4*d - 7. Let u be b(5). Suppose 30*l - 15 = 35*l, 45 = -5*z + 5*l. Is z at most as big as u?
True
Suppose 0 = -w + 1 + 1. Let i = w + -2. Is 0 at most as big as i?
True
Suppose 2*s - 3*n + 27 = 0, -2*n = -3*n - 5. Let k = s - -23. Which is smaller: 3/5 or k?
3/5
Let m(n) = 5*n**2 + n**3 + 4 + 2*n - 4 - 4. Let g be m(-4). Suppose -5*q - 10 = -j, -4*q - 7 = -3. Which is smaller: g or j?
g
Suppose 3*v = 7*v + 4. Let t = -12.3 + 11. Let p = t - -0.3. Are p and v unequal?
False
Let o(n) = n**3 - 2*n**2 + 1. Let u be o(2). Suppose 0 = -3*g + u - 4, 3*p - 4*g + 8 = 0. Let y be (-12)/(-5) + p/2. Which is bigger: y or -1?
y
Let r be (-4)/(-6) - 624/1044. Which is smaller: 0 or r?
0
Let w be (18/16)/((-3)/(-4)). Is w < -0.2?
False
Let s = 8385 - 25448/3. Let q = s + 99. Which is greater: -3 or q?
q
Suppose -4*d - 3*k = 0, 3*k = -5*d + 2*d. Let x be -2 + 0/(-2) + d. Let y be ((-1)/x)/((-10)/(-8)). Is y greater than or equal to -1?
True
Suppose 1 = 3*c - t + 5, -5*c = t + 4. Which is bigger: -7/5 or c?
c
Let u be (-2)/(-3) + 10/(-15). Suppose -4*k + 13 + 19 = u. Is 9 not equal to k?
True
Suppose u + 4*u = 0. Suppose u*k - 4*n + 20 = 2*k, -2*n = -6. Suppose 21 = -0*s + k*s + l, -l = -1. Which is smaller: -1 or s?
-1
Suppose 8*c - 49 = -17. Are 6 and c nonequal?
True
Let r = -4 - -3.94. Let v = r - -0.07. Which is smaller: v or -1?
-1
Let c = 70 + -358/5. Is c greater than -1?
False
Let x be (5/9)/((-4)/(-12)). Is 3 greater than x?
True
Let m(w) = -w**3 - 14*w**2 + 2*w - 13. Let n be m(-12). Let y be (-345)/n + (-9)/15. Is -1 > y?
False
Suppose 9*u = -8*u. Which is smaller: u or 1/12?
u
Let j be -1*3/(-12) + 90/24. Is j greater than 4?
False
Suppose 3*r - 48 = 3*f + 6*r, 70 = -4*f - 2*r. Let u be 3/(-63)*f + -1. Let h = -10 - -11. Is u smaller than h?
True
Let h(s) = s - 11. Let v be h(8). Are v and 0.1 equal?
False
Suppose 2*l - 6 = 4*l. Let q be 420/45 + (-2)/l. Is q at most -0.2?
False
Let d = -76/11 + 413/55. Is d > 2?
False
Let m be (1/(-4))/(2/4). Suppose -3*v + 4*s - 16 = 0, -v - 20 = v - 5*s. Which is bigger: v or m?
v
Let r be 7 + 4/6*-3. Let y(h) = h**3 - 6*h**2 + 2*h + 6. Let n be y(r). Let b = n - -5. Are -2 and b unequal?
True
Suppose q + 3*q - 4*k + 12 = 0, 0 = -4*q - k + 3. Let b be (-26)/(-7) - 0 - (-280)/(-70). Is q bigger than b?
True
Let z = -26.2 + 24. Let a = -0.2 - z. Let u = a + -4. Which is smaller: u or -1?
u
Let w = -0.21 + 1.21. Which is bigger: w or 1/48?
w
Let m(c) be the first derivative of c**4/4 + c**3/3 - c**2 - 3. Let f be m(-2). Which is smaller: -1/5 or f?
-1/5
Suppose 3*j = -3*d - 6, -3*j - 2*d + 11 = -4*j. Let q = j + 7. Suppose -q = -0*g - g. Which is bigger: 1/2 or g?
g
Let r = 0.2 + -0.2. Let y = 0.6 + 0. Let q = 2.4 + y. Are q and r nonequal?
True
Let t be 2 + 2*74/(-84). Let m = -4/7 + t. Which is smaller: -1 or m?
-1
Let a(j) = -j**2 + 11*j - 10. Let z be a(10). Which is greater: 3 or z?
3
Let k = -11 + 4. Let v be (-2 + 1)/(k/14). Which is smaller: v or 3?
v
Let m = -1.8 - -1.1. Are -1/9 and m nonequal?
True
Suppose -2*h = -d + 29, 2*d - 5*h - 1 - 59 = 0. Is -0.1 greater than or equal to d?
False
Let r(n) = -n**3 + 6*n**2 - 5*n + 7. Let w be r(5). Is -2 equal to w?
False
Let d(z) = -z**2 + 5*z + 3. Let c be d(5). Suppose -3*i + 2 + 14 = 2*q, 0 = -c*i + 4*q - 14. Which is greater: 0 or i?
i
Let o = 29 - 39. Is o < -10?
False
Let x(m) = -m - 1. Let b be x(0). Suppose -6 = 4*r - 14. Are r and b non-equal?
True
Let z = 26 - 25.5. Let b = 0.5 + z. Which is bigger: -5 or b?
b
Let w = -23.235 + 0.335. Let y = -19 - w. Let i = -4 + y. Is 2 > i?
True
Suppose -2*m - 4*a = 344, -4*a - 19 = -2*m - 323. Let b = m + 1136/7. Are b and -4 non-equal?
True
Let u = -13 -