?
False
Suppose -4*k - 5 = -17, 3*k = -3*j. Let z = -11 + 15. Let x be (z - 1)/(-33)*j. Which is greater: x or 1?
1
Let i = -0.34 + -0.06. Let c = -0.6 + i. Suppose 5*s - t + 7 = 0, 5*t + 12 + 9 = -3*s. Which is greater: c or s?
c
Let d = 14.8 - 15. Let i = d - -0.4. Let h be ((-1)/2)/((-2)/4). Do h and i have the same value?
False
Let f(r) = -8*r**2 + r. Let k be f(1). Let n = k + 6. Is 1/13 at most n?
False
Let g = -2 - 6. Is -7 equal to g?
False
Let h be (10/(-8) + 2)*8. Suppose 4*c = c + h. Let y be c/(-7) + 38/(-14). Which is smaller: y or -5?
-5
Suppose -g + 23 = 4*c, -g + 3*c + 1 - 6 = 0. Do g and 6 have different values?
True
Let h = 20.03 - 20. Is h <= 3?
True
Let j = 167 + -166. Is j at most 0.068?
False
Let c = -3.6 + -0.4. Let h = c - -6. Is -0.3 > h?
False
Let c be (2/14)/(6/342). Let l = -349/42 + c. Is -1 >= l?
False
Let u(b) = b - 2. Let h be u(-7). Are h and -10 non-equal?
True
Let g = -534/4351 + 4/229. Suppose -4*l + o = 1, -3*o = 4*l - 5*o + 2. Which is greater: l or g?
l
Let s = 8 + -16.9. Let d = 9 + s. Let n = -7 - -11. Is d greater than n?
False
Let a be 3/(-5) - (168/(-30) + 4). Let h = 1486/11 + -135. Is h >= a?
False
Let f be (0 + -3 - -4) + -5. Let s = -5 - -3. Does f = s?
False
Suppose -7 = -y - 21. Let d be (-4)/y + 32/(-14). Suppose 4*k + 2*v = -12, -4*v = -5*k + v + 15. Is d less than or equal to k?
True
Let y = 1 - -4. Suppose -4*f - y*o = -10, 0 = 3*f - f - 2*o + 4. Let k be (-51)/(-21) - (2 - f). Which is bigger: k or -1?
k
Suppose 2*s + 3*s - 15 = 0. Suppose 2*p = -0*p - 2*y, -5*p - 3*y + 10 = 0. Suppose i + 4*i = -s*j - p, 0 = -4*j. Is i at most 1/3?
True
Let b be 2/1 - (-14)/(-6). Let r = -0.8 - 0.2. Let y = r - -1.2. Is y smaller than b?
False
Suppose -24*s + 3 = -27*s. Which is smaller: 1/35 or s?
s
Let i be (-55)/22*4/(-22). Is -0.1 at least i?
False
Let d = -8917/10 + 891. Which is smaller: -2 or d?
-2
Let v(s) = -s**2 + 8*s + 11. Suppose 0 = -b + 5 + 4. Let x be v(b). Suppose -5*g = -x*d - 1, 0 = -d - g + 4*g - 1. Is 1 at least d?
False
Let k = -0.1 - -5.1. Let l = 6 - k. Which is smaller: 3/10 or l?
3/10
Let g be (-2)/(2 - -2) - (-3)/(-24). Which is bigger: g or -2?
g
Suppose 35 = 5*x - 2*x + 4*k, 44 = 4*x + 4*k. Let o = x - 8. Is 2/5 less than o?
True
Let m be (-292)/(-147) - 1 - (4 + -3). Is -1 equal to m?
False
Suppose -2*m + 2*k = -24, -5*m + 4*k + 20 = -35. Which is bigger: 13 or m?
13
Suppose 44 = -5*u + j + 226, -3*u - 4*j + 123 = 0. Suppose -3*f = -0*f + 3*p + 129, -f - u = -5*p. Let b be (-2)/4 + (-3)/f. Is 1 not equal to b?
True
Let z(i) = 2*i + 2. Let k be z(0). Let r be (-45)/(-10) + k + 2. Which is smaller: r or 8?
8
Suppose -2*u - 2*w - 8 = 0, 3 = 3*u - w - 1. Is 0 greater than u?
False
Let m = 19683/31 + -635. Which is bigger: m or 0?
0
Suppose 5*v = -4*p - 15, 6*v = -2*p + v + 5. Suppose 1 + 3 = 4*r. Let d be p/(-6) - 2/r. Which is greater: -0.5 or d?
d
Suppose -3*c = 2*c - 10. Let p be (-3)/(c/(-2)) - 5. Let v = -12 - -10. Is v at most p?
True
Let t(b) = -b**3 - 16*b**2 - 16*b - 20. Suppose 42 + 18 = -4*o. Let n be t(o). Is -5 less than n?
False
Suppose 2*l - 8 = -0*l. Suppose 2*o = -t + 6, 4*o = l*t + 21 + 3. Which is smaller: t or -3?
-3
Suppose 2*d = -3 - 7, 0 = -2*i + 4*d + 28. Let x = 7 - 2. Suppose x*r + 8 = -i*s + 3*s, -s = -2*r - 6. Is 1 smaller than s?
True
Let o = -21 + 20.9. Is -0.1 greater than o?
False
Let h = -0.8 - 0.2. Let y = -1 - h. Are 0 and y equal?
True
Let m be (4 + -6 - 8) + 0. Is -7 at most m?
False
Let n = 89921/80 + -1124. Which is smaller: n or -1?
-1
Let n be 3 - (3 - (3 - 4)). Which is bigger: n or 2/41?
2/41
Suppose -n + 6*n = -p + 13, -5*n + 7 = -p. Which is smaller: 1/2 or n?
1/2
Suppose 2*s = -0*f + 5*f - 16, -3*f = -4*s - 4. Suppose 4*b - s = 2. Is b smaller than 0?
False
Suppose 0*v = k + v + 5, 3*v + 11 = k. Let j be (k - 4/(-3))*-3. Is j at most -2/9?
True
Suppose -2*l - 1 = -5*i, i - 10 = 2*i + 3*l. Is i at most -6?
False
Let u = 0.34 + 0.06. Is 0.3 greater than or equal to u?
False
Suppose -k - 4*k = -25. Let x(j) = -j**3 - 4*j**2 + j - 12. Let s be x(-5). Suppose o - s = k*o. Which is smaller: -2/3 or o?
o
Let z(t) = t**2 + t + 3. Let y be z(0). Let a be 0/(y + -5 + -1). Which is bigger: 0.2 or a?
0.2
Suppose 27 = 3*r - 0*r. Let f be (r/6)/(5/10). Is f bigger than -1/2?
True
Let u(x) = x**2 - 4*x - 6. Let j be 5 - 1/1*0. Let b be u(j). Let z be (-4)/7*2/4. Is z less than b?
False
Let y be (3 - 1)*4/2. Let v be (8/10)/(6/(-33)). Let q = v + y. Which is greater: -1 or q?
q
Let l = 2.3 + -4.7. Let w = -0.2 - l. Let r = w - 0.2. Is r < -0.1?
False
Let j be 24/(-54)*(-9)/6. Let r be (-4 + 2 - -3)/1. Is r less than j?
False
Let g be ((-2)/4)/((-2)/(-8)). Let f be 4/(-3) + 1/3. Is f at least as big as g?
True
Let n = -0.3 + 1.1. Let c = n - -0.2. Let o(d) = -d + 1. Let l be o(0). Is l greater than c?
False
Let b be (9/(-5))/(42/15). Is b <= -1?
False
Let d = -311/5736 - -3/239. Suppose -p + 2 = -4*f + 1, -3*f - 4*p = 15. Which is smaller: d or f?
f
Suppose -4*u - 2*p = -3*p + 5, 4*p - 20 = -5*u. Let o = 168 - 169. Which is smaller: u or o?
o
Let v = -7 - -6. Which is smaller: -2/25 or v?
v
Let n = 13 - 11. Suppose 9 = -m - n*o - 2*o, m = 2*o + 3. Is -4 <= m?
True
Let j(p) be the third derivative of 0*p + 2*p**2 + 7/24*p**4 + 1/60*p**5 + 0 + 1/6*p**3. Let u be j(-7). Which is greater: -1/3 or u?
u
Let k = 1899/301 - 44/7. Let g = k + 81/215. Suppose 0 = -2*h + 10*h. Is g equal to h?
False
Let x = -70 + 70.22. Let p = -0.1 - -0.12. Let o = x - p. Which is smaller: o or 2?
o
Suppose 0 = -5*y + 2 - 2. Suppose -2 = -4*u - 4*x + 3*x, -4*u + 14 = -5*x. Let r = y - u. Which is bigger: r or -4/5?
-4/5
Let c(t) = t**3 - t + 2. Let f(x) = x**3 - 6*x**2 + 6*x - 5. Let d be f(5). Let a be c(d). Let y be (-2)/a + 2 + -2. Which is greater: -1/2 or y?
-1/2
Let h = -79 - -71. Is -7 < h?
False
Suppose -2*c = -3*v + 9, 0 = 8*c - 12*c - 12. Which is smaller: 4 or v?
v
Let h(z) = z**2 - 1. Let m be h(1). Suppose 6*x - x + 3*r - 23 = m, 0 = x + 5*r + 13. Do x and 8 have the same value?
False
Let v = -11 + 7. Let c = -5 - v. Let q = -2 - c. Is 0.2 at least q?
True
Suppose 3*q = 42 - 9. Which is greater: q or 12?
12
Let d(g) = g + 14. Let l be d(-17). Which is bigger: 3 or l?
3
Suppose 0 = o - 1 - 2. Suppose 0 = o*g - 2*g + 2. Let s be (-10)/g*3/5. Is 2 less than or equal to s?
True
Suppose -q - 5*f + 1 = 0, 1 = q + f - 0. Let w be 0 - 0 - (-6)/(-7). Let i = w + 19/14. Are i and q unequal?
True
Let c = -118/119 + 12/17. Which is bigger: 41 or c?
41
Let y = 33 - 21. Which is greater: 0 or y?
y
Suppose 0 - 4 = -2*b. Suppose x - b = -h + 3*h, x + 4*h + 4 = 0. Let p = 4/9 + -17/18. Which is greater: p or x?
x
Let d(b) = -b**3 + 12*b**2 - 2*b + 14. Let c be d(12). Is -11 > c?
False
Let m = 2 - 0. Which is bigger: -0.1 or m?
m
Let z be -2*3*(-1)/(-2). Let l be 4/20 + 351/(-130). Is l >= z?
True
Let a = -5 + 4. Let t be 1*2 + -1 + 2. Suppose -7 + 1 = t*f. Which is smaller: a or f?
f
Let p be 8/(-5)*30/(-12). Let c be (-20)/(-90)*3/p. Is -1 bigger than c?
False
Let r = -0.09 - 0. Let i = r + 0.99. Let u = 0.7 - i. Which is smaller: u or 2/3?
u
Let w = 1.3 + -2. Let h = -1 - w. Let k = h + 0.2. Is k equal to -1?
False
Let o = 26/49 - 685/1568. Let q = 14623599/160 + -91397. Let z = o - q. Which is smaller: 0.1 or z?
z
Let h = -37 + 25. Which is greater: h or -11?
-11
Let p = 245 + -1714/7. Suppose 3*t - 8 = 5*f, 0*f - 3*t = -2*f - 5. Which is greater: f or p?
p
Let h be 21/6*(-1 + -1). Let y = 28 + h. Which is bigger: 22 or y?
22
Suppose 2*w - 1270 = -4*k, 2*w = 3*k - 0*k + 1235. Let j = -2479/4 + w. Is 5 > j?
False
Suppose -3 = -5*p + 2. Let j = 2 - 2. Suppose j = f - p. Is 1 less than f?
False
Let c = -3 - -2. Let g(u) = -u**3 + 1. Let h be g(c). Which is smaller: h or -0.1?
-0.1
Let n(u) = -u**2 + 7*u + 6. Let o be n(8). Let j(q) = 2*q + 3. Let z be j(-2). Let s = o + z. Which is smaller: s or -1?
s
Suppose -y = -1 + 15. Is -15 less than y?
True
Suppose 6 = 2*t - 4*w - 6, 0 = -2*t - 5*w + 30. Is t bigger than 0?
True
Let g(v) = v - 4. Let c be g(4). Let y be ((-6)/10)/((-14)/(-10)). Is c not equal to y?
True
Let d = 1/197 - 247/9850. Are d and 0 unequal?
True
Suppose 0 = 5*w + 5*p - 5, -4*w - 4*p + 2 = p. Suppose -4*k - w*l = -270 - 44, k - 5*l = 90. Let t be 6/10 - 78/k. Whi