t n = 78 + x. Which is bigger: n or 0?
n
Let u be 1 + (0 + 2 - -5). Let t = u - 5. Let l be (-1)/(t/(-3))*0. Which is bigger: -3/4 or l?
l
Let n be 3 - 3 - (-5)/(-8). Is n > -1?
True
Let i = 7.7 - 10. Let n = i + 1.3. Are n and -0.02 equal?
False
Suppose -b + 5*b - 8 = 0. Suppose b*t = t. Is 1/15 equal to t?
False
Let s = 73 - 514/7. Is s smaller than 0?
True
Let g(r) = 8*r**2 + r + 1. Let s be g(-1). Is s less than 9?
True
Let r(z) = -7 + z + z**2 + 6*z + 0*z**2. Suppose -8 - 52 = 5*o + 5*g, 20 = -5*g. Let f be r(o). Are f and 1/12 non-equal?
True
Let d = -1.12 - -0.12. Which is smaller: 10 or d?
d
Suppose 0*f - 2 = -2*f. Let u = -1/4686 - 52711/30459. Let k = -3/13 - u. Is f greater than or equal to k?
False
Let t(f) = -f**2 - 13*f - 17. Let l be t(-12). Which is bigger: 3 or l?
3
Let d = 13.1 - 13. Is d < -15?
False
Let s = -9 - -11. Let d be (s/6)/(9/(-81)). Is -4 greater than d?
False
Let n = -2741/11 - -249. Suppose 12 = -52*l + 46*l. Which is bigger: n or l?
n
Suppose -12*g + 8*g = -4. Which is smaller: 4 or g?
g
Let r = -1/97 - 93/388. Which is smaller: 7/5 or r?
r
Let m = -1450 - -2865. Let l = m + -949467/671. Let d = l + 1368/8723. Is d bigger than 1?
False
Suppose 4*t = -j - 0*j - 2, -j + 4*t = 10. Let a be (10/(-35))/(j/14). Are -0.4 and a unequal?
True
Let u = -251/195 + -20/39. Is -1 greater than u?
True
Let n be ((-16)/88)/(4/(-6)). Let d = 2 + -2. Which is bigger: d or n?
n
Let t(p) = 2*p**2 - 5*p - 4. Let a be t(5). Let k be a/(-35) + (-66)/(-10). Is 6 at most k?
True
Let k = -0.6 - -0.65. Let p = k + 0.05. Which is bigger: 0.03 or p?
p
Suppose 0 = -h - 2*c - 12, 5*h - 3*h - 21 = 5*c. Let p = 0 - 244. Let m = p + 1212/5. Which is smaller: h or m?
h
Let u = 0.38 + -0.08. Let r = 3 - 2.8. Let n = u - r. Are -1 and n unequal?
True
Let f(l) = -l**3 + l**2 + l + 2. Let o be f(0). Suppose o*b = 7*b. Suppose -i + 3 = -b*i. Is i smaller than 3?
False
Suppose 6 = -4*t + 2. Let p be (t - 2)*(-2)/(-14). Suppose 21*b = 27*b - 6. Which is smaller: b or p?
p
Let y be (-4)/(-8)*4/(-10). Let j(d) = d**2 - 4*d + 3. Let p be j(3). Which is greater: p or y?
p
Let a = -1 + 0.72. Let g = 0.08 + a. Is -1 less than g?
True
Let z = -0.52 - -0.27. Which is smaller: z or -2/3?
-2/3
Suppose c + 2 = -3*z, 11 - 3 = -4*c - 2*z. Let b be 3*2/c - -2. Is -1/5 greater than b?
True
Let n(o) = o**3 - 2*o**2 - 2*o + 3. Let m be n(3). Suppose 2*k + m = -0*k. Suppose 0 = -5*t + x - 12, -t = -0*t - 3*x + 8. Are k and t equal?
False
Let d be (80/(-24))/((-1)/(-3)). Does -10 = d?
True
Let d be (9/(-14))/(1 + -4). Is d less than 0.1?
False
Let m(b) = b + 7. Let t be m(-9). Suppose 0 = -4*g + 3*g - 3. Let h be 8/(-30) - (-1)/g. Is h at most as big as t?
False
Let m(h) = -h - 8. Let g be m(-7). Let w = 1 - -1. Let o be 2 - 2 - w/4. Is o less than or equal to g?
False
Let q(s) = s**3 - 7*s**2 - 6*s - 7. Let v be q(8). Suppose -v = -m - 2*m. Are 1 and m equal?
False
Suppose -2*z + 4*z = 3*z. Is z less than or equal to 2/107?
True
Let u = 4 - 6. Suppose -6*g - 4 = -10*g. Which is greater: u or g?
g
Let u be ((-1)/(-15))/(1/9). Which is smaller: u or 2?
u
Suppose f = -1 - 0, 3*z - 47 = -4*f. Are z and 21 nonequal?
True
Let x be 1/2*14/3. Let o be (-1)/1 + (5 - 2). Which is bigger: o or x?
x
Suppose 3*n - 4*n = -1, 81 = 4*k + 5*n. Let m = k - 20. Let f = -645/7 + 92. Is f <= m?
False
Let o(b) = -b**3 + 6*b**2 + 7*b - 9. Let w be o(7). Is w <= -9?
True
Suppose 3*n + d = -0*d, d = -n - 2. Are -1/6 and n unequal?
True
Let d be (-48)/(-9)*(-3)/2. Let x = d - -16. Let s be (-16)/(-20)*2/x. Is 0 less than s?
True
Let h(z) = -z**3 - z**2 + 2*z + 5. Let x be h(-5). Let t = x - 575/6. Which is smaller: -1 or t?
-1
Let j be (-8)/(-30)*(-20)/72. Is j greater than 0?
False
Suppose 2*d - 5 - 5 = 0. Let o(a) = 2*a - 6*a - 2*a + a**3 + 1 - 4*a**2 + 3. Let i be o(d). Which is smaller: i or -2/17?
i
Let f be 0 + (1 - (0 - 3)). Let b = 0 + f. Which is bigger: 1 or b?
b
Let w(l) = 3*l**2 + 3*l - 4. Let x be w(-3). Do x and 14 have the same value?
True
Let v be (-100)/15 + (-2)/(-3). Let c = v + 8. Let x be 6/(1/c*-2). Is x less than or equal to -5?
True
Suppose 5*d + 3*f - 48 = f, 4*d + 3*f = 44. Let z = -31/4 + d. Is z at least 5?
False
Let v(l) = l**3 + l**2 - 3*l - 3. Let o be v(-1). Let i be (7/(-20))/((-2)/8). Is i at most o?
False
Suppose -4*d - 2 = -6*d. Let k be ((-2)/16)/(-37 - -3). Let o = 555/2992 - k. Which is bigger: o or d?
d
Let n(c) = c**3 - 4*c**2 - 2*c + 3. Let v be n(4). Let r = 0.36 + -1.36. Is r > v?
True
Let k(h) be the second derivative of h**3/6 - 3*h**2 + 2*h. Let n be k(0). Let l be n - (-1 + 3 + -3). Which is bigger: -4 or l?
-4
Let h(s) = 4*s + 4. Let d be h(-4). Let c be ((-3)/15)/(d/75). Is c not equal to 0.1?
True
Suppose 0*x = 3*x - 9. Suppose 12 = x*c + 4*j, -4*c + 3*c - j = -5. Let o = c - 6. Which is greater: 3/4 or o?
o
Let m = 0.1 + 0.9. Is 0.08 >= m?
False
Let w(j) = -3 + 0 - 1 - j**2 - 2*j + 2. Let f be w(-2). Let z(u) = -u**3 - u**2 + u + 2. Let g be z(f). Which is greater: 3 or g?
g
Let a(y) = -y**3. Let t be a(1). Do -1 and t have the same value?
True
Let f(t) = -3*t**3 + 9*t**2 + 5*t + 18. Let g(o) = o**3 + o**2 - o - 1. Let m(r) = f(r) + 4*g(r). Let a be m(-13). Which is smaller: a or -0.07?
-0.07
Suppose -3*f = -3*z + 12, -4*f - z = 4*z + 34. Let k(p) = -p**3 - 5*p**2 + 5*p + 4. Let j be k(f). Let u be 36/j - 18/30. Which is smaller: 4 or u?
u
Let f(v) = 2*v - 10. Let p be f(5). Which is smaller: -4 or p?
-4
Suppose 0 = l - 2*l + 5. Suppose 19 = l*a + 4. Suppose a*w + 4 = 7*w. Are w and 1 non-equal?
False
Let d be ((-20)/(-8) + -3)/((-4)/(-1368)). Which is smaller: d or -170?
d
Suppose 0 = -5*b + 102 + 88. Let a be -5 + 6 + (-42)/b. Is 0 < a?
False
Suppose 0 = -u + 2*u. Let f be 0 + 1 + u/1. Let t be 3 + 1/(1/(-1)). Which is greater: t or f?
t
Let d = 1.5 + -2.3. Let v(f) = f**3 + 7*f**2 + 6*f - 1. Let g be v(-6). Is g < d?
True
Let x = 17 + -13. Which is greater: x or -1?
x
Let h be -1 - (-2 + -16 + 2). Suppose -2*f - 2*f - 1 = -5*v, v = -3*f - h. Let z be f + -2*(-3)/2. Is z bigger than -0.1?
False
Let x be (42/8)/((-6)/24). Which is smaller: x or -20?
x
Let n(q) be the third derivative of q**4/24 - 2*q**3/3 - 2*q**2. Let w be n(4). Which is smaller: 3 or w?
w
Let w be (12/(-20))/((-6)/4). Which is smaller: -18 or w?
-18
Let l = 15 - 14. Let g = -1 - -1. Are g and l equal?
False
Let d = 832 - 4141/5. Which is bigger: 3 or d?
d
Let q(n) = n**2 + 7*n - 3. Let l be q(-8). Let a = -5 + l. Let j = -6 - -7. Which is smaller: j or a?
a
Let f be 2*((-30)/4)/(-5). Suppose f*x - 3 = 2*b, -3*b - b - 14 = 2*x. Which is smaller: x or -2?
-2
Let d be ((-5)/2 - 0)*-34. Suppose c - d = -4*c. Let o = 49/3 - c. Is 0 < o?
False
Let d = -0.1 + 1.2. Let l = -0.9 + d. Which is smaller: 5 or l?
l
Let s = -2 + -6. Are s and -10 nonequal?
True
Let h = -10.4425 - -1.9595. Let t = h + 0.183. Let j = t - -8. Are j and -2 nonequal?
True
Suppose 0 = -k - 4*w - 13, 4*w = 5*k + 2*w - 23. Suppose k = 2*x - 5. Is x greater than or equal to 4?
True
Let x = -14 - -22. Do x and 8 have different values?
False
Let d = 4.9 - 0.9. Let u = 4 - d. Is 1.2 smaller than u?
False
Let r(m) = 21*m**3 + 2*m**2 - 1. Let g be r(1). Suppose -27*b = -g*b - 5. Let i be 4/6 - (-2)/6. Is i greater than b?
False
Let o(z) = 9*z**3 - z**2 - 2*z - 1. Let g be o(-1). Let t = -11 - g. Let a = 89/120 + -3/40. Which is smaller: a or t?
t
Suppose -7*d + d + 24 = 0. Suppose 4*c + c - 10 = 0. Is d less than or equal to c?
False
Suppose 9*x - 13*x = 24. Which is smaller: x or -7?
-7
Suppose 2*w = 4*w - 3*k, 3*k = 6. Let q be w/2*(2 - -2). Is 6 != q?
False
Let o(k) = 3*k + 5. Let t be o(10). Let p be ((-2)/(-12))/((-7)/t). Do -0.1 and p have the same value?
False
Let p be 80/(-14) + 2/(-7). Let v(b) = -b**2 - 12*b + 22. Let r be v(-14). Is p bigger than r?
False
Let x(r) be the first derivative of 1/3*r**3 + 6*r + 3*r**2 + 2. Let q be x(-4). Which is smaller: q or -3?
-3
Let a = -20 + 0. Let c be 8*(a/8 + 2). Are c and -5 equal?
False
Let z = -21 - -15. Let n be z/4 - 2/(-4). Is n at most -1/7?
True
Suppose 0*o - o - 4 = -3*i, 2*o + 8 = -4*i. Suppose -z - 4*q - 8 = 0, -6*z + q = -z - 2. Is z != i?
False
Let u(j) = -j**3 + 4*j**2 + 6*j - 1. Let l(w) = -w + 10. Let m be l(5). Let k be u(m). Let i = k + 2. Are i a