 1). Let r = 152 - 1366/9. Which is bigger: r or v?
r
Suppose 8 = -0*f + 4*f. Suppose 0 = -2*t + 4*t - 14. Suppose 0 = i - 5, -3*i - 20 = -f*p - t*i. Do p and 0 have the same value?
True
Let k(o) = o - 4. Let p be k(6). Suppose -p*c + 5*c = -3. Which is bigger: -4 or c?
c
Let x(t) = -t**3 - t**2 - t + 1. Let l(p) = 4*p**3 + 2*p**2 + 3*p - 7. Let s(m) = l(m) + 5*x(m). Let k be s(-2). Which is bigger: k or -5/4?
-5/4
Let w be (-4)/(-20) + (-1)/5. Suppose w*i = -5*i. Do -2/35 and i have the same value?
False
Let o(k) = -k - 5. Let t be o(-7). Suppose -3 + 1 = t*a. Which is smaller: -0.1 or a?
a
Let o be (18/(-12))/(-11 + 7). Suppose 3*f = -6 + 3. Let i = f - -2. Is i <= o?
False
Let t = -30499/24 - -1271. Is -1 bigger than t?
False
Let i = 0 + 1. Let r be (3 - i) + 16 + 2. Let g be 48/r - 4/10. Is 3 > g?
True
Let i = 0.4 + -0.6. Let f = -1.2 - i. Which is smaller: -0.2 or f?
f
Let s = -0.061 + 1.061. Is s at most as big as 16?
True
Let d(k) = k**3 - 5*k**2 - 8*k + 7. Let b be d(6). Let h be ((-12)/(-150))/((-3)/b). Which is greater: 2/7 or h?
2/7
Let i(p) be the third derivative of 0*p + p**2 - 5/3*p**3 + 0 + 1/24*p**4. Let k be i(10). Are 2/3 and k non-equal?
True
Let r be (3/(-2))/((-9)/(-54)). Let m(b) = -b**3 - 10*b**2 - 11*b - 13. Let k be m(r). Let p = -12 + k. Which is smaller: p or -8?
-8
Let b = 18 + -11. Suppose -u + b = 3. Suppose q - 4*r - 10 = 0, 6*q - q + 22 = -u*r. Is q at least -1?
False
Suppose 3*i = -4*z - 35, -5 = -3*z - 3*i - 35. Let b = z + 4. Do -1 and b have the same value?
True
Let x = -583/13 - -45. Let q = -0.02 + 0.02. Is x at least as big as q?
True
Suppose u = 4*s - 2, 3*u + 2 - 8 = 0. Which is smaller: -4/19 or s?
-4/19
Let d = 0.69 - 1.69. Which is bigger: d or 8?
8
Let f(o) = o**3 - o**2 - o + 2. Let a be 4/3*9/6. Let v be f(a). Are 5 and v non-equal?
True
Let k = 18.84 - 20. Let a = -0.16 - k. Is a != 0.1?
True
Let o be 2/(-4) - 126/(-140). Which is bigger: -21 or o?
o
Let d be 1/(-2)*-6 + 0. Suppose -l = -d*l + 4. Suppose 0 = -l*z + 5*z. Is 0 > z?
False
Suppose 0 = 4*y + 4*q, 2*q = -3*y + 3 - 4. Is -5 bigger than y?
False
Suppose -4*x + y + 609 = -x, 2*y - 210 = -x. Let n = -811/4 + x. Which is smaller: 1 or n?
1
Let i be ((-7)/3 - -2)*0. Are i and -3 nonequal?
True
Let l(m) = m**3 + 4*m**2 - 4*m + 6. Let i be l(-5). Which is smaller: 2 or i?
i
Let j = -1/8 - -53/8. Let c = 55/8 - j. Suppose 2*z - 4*z - 2 = 0. Which is smaller: c or z?
z
Let x(d) = 2*d - 18. Let v be x(9). Let z = -9 - -8. Is z greater than v?
False
Let r(j) = 6*j - 17. Let q be r(0). Is q equal to -17?
True
Let a(g) = g + 7. Let y be a(-4). Suppose 0 + y = r. Is 2 != r?
True
Let d be 3/2 - (-3)/(-6). Let c be 3 - d - (5 + -4). Is c at least as big as -2?
True
Let s(i) = i**2 + 2*i - 2. Let r be s(-3). Suppose y - 3*y - 12 = 3*f, 0 = -4*f + 2*y - 2. Let w = f + 3. Is w equal to r?
True
Let k = 34 - 33.8. Is k at least as big as 4?
False
Let y = 33 + -30. Is 26/7 at most as big as y?
False
Suppose 5*c + 39 = -a + 4*a, -2*a = -2*c - 14. Which is smaller: c or -8?
c
Let j = 63.9 - 64. Let o = -2 - -2. Let h = o + -1. Is h less than j?
True
Suppose -3*m = k + 50, 2*k - m = k - 38. Which is smaller: 1 or k?
k
Suppose 0 = -r - 4*v + 18, -3*r = 2*r + 5*v - 15. Let o = r - -4. Let h = 2 - o. Which is greater: h or -1/7?
h
Let a be (-3 - -2) + (-126)/(-3). Is a equal to 42?
False
Suppose -2*w + 7 = -3. Suppose -w = 4*y + y. Let x be (4/6)/(-1) - y. Which is greater: x or 0?
x
Let f = -7 + 8. Let k = 3 - f. Let l = k + -1. Which is smaller: -1 or l?
-1
Suppose -16*g + 18*g = 18. Is -1 equal to g?
False
Let q = 42/5 - 321/40. Let o(v) = -v**3 - 5*v**2 - 3*v + 5. Let n be o(-4). Is n less than or equal to q?
False
Suppose -8*a - 17 = -3*a + 3*t, 3*t + 13 = -a. Is -9/5 > a?
False
Let z = -52522771/270 - -194529. Let k = -1/54 + z. Which is smaller: k or 0?
0
Let f = 4/1371 + 142564/6855. Let v = f + -1362/65. Let t(k) = 2*k**2 + 15*k + 7. Let x be t(-7). Which is bigger: v or x?
x
Let b = 1 - 2. Let n be 118/(-112) + (-3)/(-3). Let y = n - 73/728. Which is smaller: y or b?
b
Let j(o) = -o**3 - o**3 + o**3 - o. Let n be j(1). Is n at least -0.1?
False
Let l = 8854911/215 - 41185. Let v = -10/43 + l. Which is smaller: 2 or v?
v
Let g = 0.13 - 0.07. Let s = -8/21 + 2/21. Is g greater than or equal to s?
True
Let w(g) = -g - 3. Let p be w(-9). Let c(y) = -y**3 - 4*y**2 + 4*y. Let z be c(-5). Suppose p*b + z = b. Which is smaller: b or -2?
-2
Suppose 0 = 5*r + 17 + 23. Let g be -2 - -2*(-12)/r. Which is smaller: g or 0?
0
Let w = 11 + -4. Suppose -7 + 35 = -j. Let k be 2/w - (-1)/j. Which is greater: 0 or k?
k
Let v be 4/(-26) - 993/(-117). Which is smaller: v or 9?
v
Let k = 0.055 - 0.205. Is k >= 1/4?
False
Let y = 115 + -115.2. Is y greater than or equal to 1?
False
Suppose p = 2*p + 1. Let y be 4/(2 + (2 - p)). Which is greater: y or 0?
y
Let z = -19 + 37. Does z = 17?
False
Let j be (-2)/3*(-2 + 5). Suppose 0 = -r + h, r + 2*h + 9 - 3 = 0. Let p be -1 + 1*r/4. Is p greater than or equal to j?
True
Let l = 13.6 - 13.6. Suppose 0 = 5*c + 3*o + 7, -3*o + 3 = 4*c + 8. Is l at most c?
False
Let j = 12 + -11.9. Let o be ((-2)/4)/((-2)/24). Let k be 2/o + (-12)/9. Which is bigger: k or j?
j
Let i = 18 + -17. Let p = 0.1 - -0.9. Is i < p?
False
Let s be (0/(-1))/1 + 46/(-5083). Is s bigger than 1?
False
Let c be 56/12 - (-6)/(-9). Let o = c - 1. Is 4 at most as big as o?
False
Suppose -30 = 2*d - 5*d. Let k(m) be the second derivative of -m**5/20 + 11*m**4/12 - 5*m**3/3 + m**2/2 + 3*m. Let f be k(d). Which is smaller: 1/2 or f?
1/2
Let g = 11 + -16. Is -7 greater than g?
False
Let g(s) = -s**2 - 5*s + 6. Let k be g(-5). Let h = k - 7. Let r = 0 - -1. Are h and r unequal?
True
Let u be ((-2)/44)/(2/(-4)). Let p be (15 + 6)/(-7) + (1 - -3). Which is smaller: u or p?
u
Suppose p = -3*k - 3, 4 = -5*k + p - 9. Let h be 63/14*4/(-3). Let x = k - h. Is 1 > x?
False
Let r(u) = -u**3 + 3*u**2 - 2*u. Let z be r(2). Let n be 3/12 - (-10)/(-56). Which is bigger: n or z?
n
Suppose 3*b - 36 + 7 = i, b - 11 = -i. Which is smaller: 11 or b?
b
Let d = 106 + -106. Is 1/124 != d?
True
Let f = -5 - -10. Let t be f/10 + (-6)/20. Which is greater: t or -1?
t
Let x(a) = -13*a + 2. Let i be x(1). Let m(o) = -o**2 - 13*o - 24. Let c be m(i). Which is smaller: -3 or c?
-3
Let g be 2 + (-11)/26 + 4/(-8). Which is smaller: g or 1?
1
Let u = -2 - -10. Which is greater: u or 0?
u
Suppose 12*u - 10*u - 24 = 0. Which is greater: u or 11?
u
Suppose 2*m - 6*m + 2*x - 4 = 0, 0 = 2*m - 3*x + 2. Which is bigger: m or 1/12?
1/12
Let r = -18 - -17.8. Is 3/4 <= r?
False
Let b = -51.66 - 1.34. Is 2 < b?
False
Let v = -7 - -7. Let l = 0.09 - v. Let z = l - 0.03. Which is bigger: z or -0.1?
z
Let o = -19 - -26. Let f = -11 - -15. Suppose 0 = f*n - o*n. Is n > 1/4?
False
Let y be (2/8)/(5*(-4)/(-400)). Is y != 3?
True
Suppose -2*i - 6 = i. Let w(n) = -n**3 - 7*n**2 - 7*n + 1. Let s be w(-6). Let k = s - 9. Are i and k non-equal?
False
Let v = -278 - -3062/11. Suppose -4*q + 3 = -q. Do v and q have different values?
True
Let x = -8.098 + 0.098. Let b = -0.73 + 8.63. Let d = x + b. Is d >= -2?
True
Let w = -576 + 566. Let x = 10/3 + -4. Is w at most x?
True
Let n = 0.39 - 0.19. Is 0 smaller than n?
True
Let h = -14 + 19. Suppose 0 = -8*t + h*t - 24. Which is greater: -9 or t?
t
Suppose -z - 5*f + 24 = 0, 2*z + f + 7 = 2*f. Suppose 4*r + 2 = -2. Let a = z - r. Which is greater: a or 3/4?
3/4
Let j = -4 + 7. Let h = -4 + j. Let d = h + 1. Are 0 and d equal?
True
Let f = 102/5 - 21. Is -1 less than f?
True
Let a be (2/12)/(4/12). Let d = 3 + 2. Suppose -d*f + 13 = 3. Which is smaller: f or a?
a
Suppose 10 - 4 = 2*c. Let i be (-11)/2 - c/(-6). Let s(o) = -o**3 - 5*o**2 + o + 4. Let l be s(i). Which is bigger: l or -0.1?
-0.1
Suppose 3*i = 4*c + 2, 5*i = 5*c - 3*c + 8. Let m = 297 - 291. Which is greater: c or m?
m
Let u = -35/57 + -1/19. Let h = 22 + -10. Suppose 5*c + t + h = 2, -3*c - 2*t = 13. Which is smaller: u or c?
c
Let c = -40 - -37.9. Let n = c + 2. Which is greater: n or -0.02?
-0.02
Let l = 35 + -21. Which is smaller: 12 or l?
12
Suppose 0 = -2*q - 3*q - 90. Let x be (16/q)/(1 + -3). Does x = -1?
False
Let b = -0.8 + 0.8. Let v = b - 1. Is v smaller than 0.08?
True
Let h(c) = -c - 5. Let u(f) = f + 