t r = 1020/13 - 7583/65. Let u = -37 - r. Which is greater: u or 2?
2
Let p = 48995/7798 - -3/1114. Which is smaller: -0.1 or p?
-0.1
Let b(y) = -y - 10. Let m = -12 + -15. Let c = 16 + m. Let k be b(c). Are 2 and k non-equal?
True
Let g(z) = -6*z - 1. Let x(n) = -5*n. Let v(w) = 4*g(w) - 5*x(w). Let p be v(4). Suppose 2*t + 3*t = 5. Which is greater: p or t?
t
Let g be 38 - (3 - (-1 - -1)). Is g greater than 34?
True
Suppose 3*f - 33 = -3*u - 2*f, 0 = -2*u + 5*f - 3. Is 5 greater than or equal to u?
False
Let k = 4 + 0. Is 3 at most k?
True
Let b = 4.5 + -4.5. Which is greater: 1/6 or b?
1/6
Let i = 6 - 8. Let w = 0.05 - -0.95. Is w < i?
False
Let t be -1 - 20/(-12) - 1. Which is smaller: -0.2 or t?
t
Let k(i) = 6*i**2 + 5*i + 9. Let f(w) = -7*w**2 - 5*w - 10. Let s(v) = -5*f(v) - 6*k(v). Let a be s(-5). Is -5 < a?
True
Let w = -1 + 0.5. Let v = -24 - -22. Is w > v?
True
Let d = -2.5 - -0.1. Let s = d - -0.4. Let k = 2.5 + s. Is k at least -1?
True
Let a(k) = k**3 - 5*k**2 + k + 8. Let q be a(3). Which is smaller: q or -33/5?
q
Let u(m) = m**3 - 9*m**2 + 9*m - 6. Suppose 9*q + 4*j = 4*q - 19, -32 = 4*q - j. Let z = 1 - q. Let t be u(z). Which is greater: -2 or t?
t
Let r = 69 + -69.1. Which is bigger: r or 62?
62
Let q(r) = 0*r + r + 60 - 38. Let f be q(-14). Which is bigger: 7 or f?
f
Suppose 5*g - 4*a = -0 - 2, 18 = 3*g + 4*a. Let p = -9 - -11. Suppose 0*x + p*x = 4. Is g less than or equal to x?
True
Let a = 4 - -1. Let v = 3 - a. Let m = -1 + v. Is m greater than or equal to -1?
False
Let b = 6 - 0. Suppose 2*y = -0*y - b. Is -4 not equal to y?
True
Suppose 3*p = -0*p - 9. Let l(a) = 2*a + 11. Let r be l(-8). Let f = -7 - r. Which is smaller: p or f?
p
Suppose -28 = -3*b - 10. Let w = b - 4. Is w greater than 6/11?
True
Let z = 5/142 + 2897/2414. Is z bigger than 2?
False
Let l(z) = z**3 + 12*z**2 + 7*z - 2. Let f be l(-11). Let y be 4/(-14) - (-264)/f. Which is bigger: 5 or y?
y
Suppose -5*a + 15 = 0, -i + 80 = 4*a - 163. Let n be 183/i - (-6)/(-14). Which is smaller: 1 or n?
n
Let u = -34 - -33.9. Suppose 3*g = 3*a - 6, -4*a - 24 = -3*g + 7*g. Let d be 2/(-50)*a*5. Is u not equal to d?
True
Suppose 2*t = 8 - 4. Suppose 0*n = 2*n + t*k + 4, 0 = 4*k - 4. Do -2 and n have different values?
True
Let a be 8/28 - (-6)/((-336)/590). Which is greater: a or -9?
-9
Let k = 11 + -16. Let v = k - -1. Is -3 < v?
False
Let v = 41/13 - 1323/403. Which is greater: v or 1?
1
Let y = -69 + 209. Let c be (-4)/(-10) - 16/y. Are c and 5 nonequal?
True
Let a = 24 + -14. Let v = -8 + a. Is v at most 2?
True
Let q = -1 + -4. Let m = q + 4. Which is smaller: m or 4/17?
m
Let g(x) = -4*x. Let d be g(-1). Suppose 5*f - 2*y - 65 = y, f - d*y = 30. Let h be 16/f + 2 + -4. Is h not equal to -0.1?
True
Let p = -92 - -268/3. Which is bigger: -1 or p?
-1
Suppose 3*l - 3 = 6. Let x = l - -1. Which is greater: 5 or x?
5
Let w = -10 - -9. Which is smaller: w or -4/3?
-4/3
Suppose 4*w = -3*q - 2*q + 36, -2*q - 36 = -2*w. Let a = 10 - w. Is -3 less than a?
False
Suppose -t + 2*f = -2 - 6, -4*t - 5*f + 6 = 0. Is t <= 7?
True
Let d be (0 - 6/(-3)) + 1. Let s = 3 - d. Is 2/3 <= s?
False
Let m(l) = -l**2 + 4*l + 1. Let i be m(3). Suppose w + 1 = i. Suppose -w*a - 2*a - 10 = 0. Is -2 <= a?
True
Let u(d) = d**2 + 3*d - 5. Let l be u(-5). Let w = 2 - 2. Let v be 1*12/(2 + w). Which is smaller: l or v?
l
Let l = -3 + 5. Let x be (18/(-60))/(l/(-10)). Is 2 equal to x?
False
Let a = 758/21 - 13072/105. Let i = a - -90. Which is smaller: 2 or i?
i
Suppose -4*s - 5*u = -1, -4*s + 0*u = -5*u - 31. Suppose -s*g = -a, -2*a = a + 3*g. Is -2/21 less than or equal to a?
True
Suppose t + 4*m = -2*t - 1, -4 = m. Let n = 6 - t. Is 0 greater than or equal to n?
False
Let o(u) = u + 7. Let k be o(-8). Let c be 2*k - 8/(-2). Are 2 and c nonequal?
False
Let j be (-11)/(-55) + (-232)/10. Which is smaller: -2 or j?
j
Suppose -a + 0*a = 0. Suppose -3*h + a + 6 = 0. Let n = -1 + h. Is n > 2/5?
True
Let s be ((-80)/(-44))/5*-2. Do 0 and s have different values?
True
Let h = 18 - 18. Let c(n) = 2*n**2 - 2*n + 1. Let o be c(1). Suppose 2*m + 1 = -o. Is h at least as big as m?
True
Let w be (3/(-6))/(21/7110). Let v = w + 169. Are 1 and v non-equal?
True
Suppose -2*u + 7 = -q, q - 6*q = u + 24. Let r be -2 - (-111)/39 - u. Let d(j) = j + 4. Let n be d(-5). Which is smaller: r or n?
n
Let o be (-7)/((-3)/(5 + -2)). Let u be (-54)/(-56) + 2/o. Which is greater: 0 or u?
u
Let a = -39 - -72. Let m = -46 + a. Which is smaller: -14 or m?
-14
Suppose -5*b - 1 = -16. Let k be b/((-6)/40*1). Is k >= -19?
False
Let l(z) = -z - 1. Let q(n) = -4*n - 7. Let r(k) = 5*l(k) - q(k). Let v be r(0). Is -0.2 less than v?
True
Suppose 0*d + 53 = -v + 5*d, 3*v - 3*d = -147. Is v equal to 2/5?
False
Let c be 2 - (2 - 6/3). Are 2 and c non-equal?
False
Let x be 2 + 2 + -2 - 0. Suppose -x*c = -7*c. Let l be (1 - 12/8)*0. Is l > c?
False
Suppose 2*u = -u. Suppose c + 2*c + 3 = u. Let q be (c/2)/((-1)/2). Which is greater: -2/9 or q?
q
Suppose 2*b + 46 = 3*p, 3*b = -2*p + 8 + 14. Which is bigger: p or 11?
p
Suppose 2*t = 0, 3*x - 2*x = 2*t + 8. Suppose 0 = 3*u - 1 - x. Suppose -u*z - 2 = 7. Which is greater: z or -2?
-2
Suppose 54 = -3*r + 5*z, 5*r - 4*z = 6*r + 35. Is -47/2 less than r?
True
Let y = 3.6 - 3.9. Is y bigger than 4?
False
Let z be 0/(3 + -1 - 0). Suppose -2*n = -k + 10, z = k + 2*n + 2. Which is smaller: 3 or k?
3
Suppose -4*d + 3 = -5. Let g be (-1)/(-1) - (-5 + 2). Let m be (-2)/6*g + d. Are m and 0 nonequal?
True
Let u be ((-1)/2)/((-2)/(-4)). Suppose 0 = -2*m - 3*q - 4 - 12, 0 = -3*m + 5*q - 5. Let s be (-2)/(-8) - m/(-8). Is u at least as big as s?
False
Let z = 0.57 - 49.57. Which is smaller: z or 1?
z
Let f = -5 - -5. Let y(k) = -k**3 + k**2 - k - 2. Let w be y(f). Which is smaller: w or -8/9?
w
Let t = 0.38 - 0.28. Is -19 at least t?
False
Suppose 13 = -a + 4. Let l(j) = -j**3 - 5*j**2 - 3*j. Let z be l(-2). Which is smaller: a or z?
a
Let b(y) = y**2 + 7*y + 1. Let c be b(-5). Let k(p) = -14*p - 8. Let t be k(0). Is c >= t?
False
Let s = -0.04 - 0.76. Let b = s + 0.7. Which is smaller: b or -4?
-4
Suppose -5*p + 5*l + 45 = 0, -2*p - 24 = -3*p + 4*l. Let f = -36 - -29. Let t = f + p. Which is smaller: t or -2?
t
Suppose 4*h - 3*m - 2*m + 91 = 0, 5*h + 119 = m. Which is smaller: h or -26?
-26
Let r = -164 - -484/3. Which is bigger: -3 or r?
r
Suppose 0 = 2*n + 7 + 1. Let f(s) = -2*s**2 - 2*s. Let h be f(-2). Is n bigger than h?
False
Let p = -20 - -28. Let a = p - 11. Let o be ((-1)/4)/(a/(-4)). Which is bigger: 1 or o?
1
Let g = -17 + 33/2. Let u be 70/(-120) + (21/4)/7. Which is smaller: g or u?
g
Let f(n) = -n**2 + 9*n + 3. Let b be f(11). Is b equal to -19?
True
Let v = 943/86979 - -2/1101. Is v at most as big as -1?
False
Let f = 3.3 + -3.11. Let o = f - -0.01. Is 0.2 smaller than o?
False
Let c = 19 + -18. Which is smaller: 0.2 or c?
0.2
Suppose -5*k = -s - 0 + 1, 0 = -4*k. Is -1/38 > s?
False
Suppose -2*b + 4*b + 382 = -5*v, -5*v - 398 = -2*b. Let h = v + 232/3. Is h > 0?
False
Let p = -17 + 12. Let i = -10 - -6. Is p != i?
True
Let o = 0.6 + -1. Let g = 0.4 + o. Let t = -0.1 + g. Is t less than -0.2?
False
Let x = -16 + 14.9. Let u = x - -1. Let p = -21 - -23. Do u and p have different values?
True
Let x be -30*((-42)/9 + 4). Which is smaller: x or 21?
x
Suppose 3*d = -5*j + 5*d + 12, 5*j = 4*d + 4. Suppose -j*z - 17 + 65 = 0. Which is smaller: z or 11?
11
Let j = -0.11 + 0.05. Let k = -0.04 + j. Is k bigger than 0?
False
Let g be ((-5)/3)/(2/(-6)). Suppose k - g*k = -24. Which is greater: 5 or k?
k
Suppose 4*a - 11 - 1 = 0. Suppose -8*h + 5*h + a = 0. Is h greater than 3/23?
True
Let c be (-187)/(-579) - 2 - -1. Let f = 2/193 + c. Is -3 not equal to f?
True
Suppose -3*d - 27 = 3*h, 2*h + 3*d + 21 = -0. Let o(x) = -x**3 - 7*x**2 - 7*x + 1. Let b be o(h). Are 7 and b equal?
True
Let a be ((-2)/212)/((-15)/(-60)). Which is bigger: -1 or a?
a
Let n = -4.4 + -0.6. Let m = -4 - n. Is m < 1/3?
False
Let t be (-1)/4 + (-1)/(-4). Let k be (0 - -15)/(6/(-4)). Let q be k/12 - (-6)/4. Which is greater: q or t?
q
Suppose 3*q - 2 - 4 = 0. Let k be ((-4)/34 - 2) + q. Let a(r) = -r - 9. Let n be a(-10). Which is smaller: n or k?
k
Let o = 11 + -7. Let t be ((-1)/4)/((-2)/o). Is t <= 2?
True
Suppose 3*w + b + 31 =