3. Let v = 7 - i. Let a be (-2)/v - (-3)/(-9). Which is smaller: 0 or a?
a
Let o(g) = g**3 + 5*g**2 - 6*g - 5. Suppose 2*w + 2*w = -3*d - 14, -2*d - w - 11 = 0. Let t be o(d). Which is greater: -4 or t?
-4
Let t be (-32)/(-60)*(-10)/4. Is t > -1?
False
Let s = 140/219 + 2/73. Which is smaller: -0.03 or s?
-0.03
Let p be (1/(-3))/(26*2/72). Which is smaller: p or -1?
-1
Let k = 13 - 11. Suppose -3 = -5*z + 2. Suppose 2 = -r + 2*t + z, 0 = 5*r - 3*t - k. Which is greater: r or 2?
2
Let o = 1/60 - 5/12. Let g(i) = i**3 + 6*i**2 - 7*i - 6. Let d(p) = -3*p**3 - 17*p**2 + 20*p + 17. Let h(f) = 6*d(f) + 17*g(f). Let q be h(1). Is o > q?
False
Let k be (-3 + 5)/(2/(-5)). Let j(r) = r**2 + 6*r + 5. Let q be j(k). Let p = q - 1. Is p at least as big as -2/7?
False
Suppose -13*y - 45 = -14*y. Which is bigger: 0.1 or y?
y
Suppose 2*p = 15 + 13. Suppose 2*z - 6*z + 21 = 5*q, -z - 3*q + p = 0. Are 0 and z unequal?
True
Let j = 0.43 + -0.73. Is j less than 0?
True
Let i = 2 + -1.1. Let f = i + -1. Let z = f - 1.9. Which is bigger: z or 3/4?
3/4
Suppose 75 = -5*m - 45. Is m at most as big as -22?
True
Let u be ((-10)/12)/((-605)/(-105) + -6). Suppose 0*d = 3*d - 9. Which is bigger: d or u?
u
Let p = 122.41 - 105.5. Let k = -17 + p. Let n = k - -0.09. Is n equal to 0.3?
False
Let j = 34 + -25. Is j at least as big as -1?
True
Suppose 2*j = j. Let s(b) = -3 + 2*b**3 + 3*b**2 - 4*b - b**2 - b**3. Let r be s(-3). Is j at least r?
True
Let d = 0 + -0.1. Let c = -0.2 + 0.1. Let l = c + d. Which is smaller: -2/7 or l?
-2/7
Suppose 5*d - 4 + 19 = 0. Let s be 6/(-4)*(-16)/(-6). Is s at most d?
True
Let m be 1 + 2 - 174/24. Which is smaller: m or -3?
m
Let k = -126 + 489/4. Is -4 >= k?
False
Let d(k) = -4*k - 60. Let f be d(-15). Let v = 25/99 - 1/33. Is f > v?
False
Suppose 0 = -3*t - 0*t - 33. Let m = 13 + -23. Which is smaller: t or m?
t
Suppose -3 - 1 = -2*n. Let o = 2 + -2. Suppose o = -r - 0 + 1. Does r = n?
False
Let a be (6 - (-14508)/(-2534)) + (-2)/7. Is -1 at most a?
True
Let r = -4.1 - 0.9. Suppose 0*o = 5*o + 2*p + 3, 2 = -5*o - 3*p. Which is bigger: o or r?
o
Let o = 39 + -29. Which is greater: 8 or o?
o
Let i be ((-1)/3*-3)/(-1). Let b be (3 - 3)/(i + 2). Let o be (-1)/3 + (-1)/(-3). Is b less than or equal to o?
True
Let h = 6 - 7. Let w = h - -17. Let i be 1 + w/(-5) + 3. Is -1 at most i?
True
Suppose -u + 0*u - 12 = 0. Let x be 1/(3/u) + -2. Which is greater: -5 or x?
-5
Suppose -3*o - c - 4 = 0, 4*c - c + 12 = o. Let x = 7/204452 - -21046817/342866004. Let l = x + 2/129. Is o bigger than l?
False
Let m = 15 - 44/3. Let y = 16206497/210 + -77174. Let r = y - -2/15. Which is smaller: m or r?
r
Let g(i) = -10*i + 13. Let w be g(3). Is -18 smaller than w?
True
Let a = 117 - 116.9. Which is smaller: a or 57?
a
Let f = 4 - -1. Which is bigger: f or 3?
f
Let n be (0/(-2 - 1))/(-1). Which is bigger: n or 16/11?
16/11
Let v be 1*(5/14)/(-5). Let t = 31/7 - v. Which is greater: t or 6?
6
Let c(h) = -4*h + 2 + 7 + 5*h - 4. Let g be c(-6). Which is smaller: -2/13 or g?
g
Suppose -w - 12 = -4*m, 3*w + 5*m = -w + 36. Do w and 1 have different values?
True
Suppose 0 = -2*d + 6, -k + 5*d = -3*k + 17. Let w be 2 + (-126)/39 + 1. Which is bigger: w or k?
k
Let h(d) = -2*d - 6. Let y be h(-4). Let u be 1/(-2) - 6/(-4). Let b be (-1 - u) + (-33)/(-12). Is b less than y?
True
Let v(a) = -a**2 - 11*a - 4. Let u be v(-11). Let y be (-1)/u + 5283/(-12). Let n be 344/y + 2/11. Which is smaller: -2 or n?
-2
Let w = -1 - -3. Suppose t = -2*t + q - 11, -t - w*q + 1 = 0. Let v(n) = -n**2 - 3*n + 16. Let s be v(3). Which is bigger: t or s?
s
Suppose 0 = q - 5*l - 32, 4*q = 7*l - 3*l + 144. Which is greater: q or 36?
q
Let s be 3 - -4*(-3)/(-6). Suppose p = -s*b, 4*b - 3*p = b. Which is bigger: b or 1?
1
Let l(f) = f**2 + 6*f - 4. Let y be l(-6). Let k = -5997/5 + 1204. Let h = k + y. Which is bigger: h or 2?
2
Let c(r) = -5*r + 5. Suppose 2*q + 10 = -0*q. Let p(n) = -11*n + 9. Let y(z) = q*c(z) + 2*p(z). Let v be y(5). Is 8 not equal to v?
False
Let i = -15/34 - 18/17. Is -6 > i?
False
Let s be (-2)/(-2*(-2 + 1)). Is s equal to 12?
False
Let n be 8/(-16)*24/2. Let k(g) = g**2 - 7*g + 6. Let i be k(6). Is i > n?
True
Let t be 2 - 1 - 1/1. Let w = -507/7 - -4619/63. Is w bigger than t?
True
Let f(b) = b**3 + 6*b**2 - b - 7. Let k be f(-6). Let r = 31 - 247/8. Which is smaller: r or k?
k
Suppose 0*s + 12 = 3*s. Let y be 3 - (-2 + 2 + -1). Are y and s unequal?
False
Let j = 41 - 21. Suppose 0 = -n + 6*n + j. Suppose 0 = 4*s - 7*s - 9. Which is bigger: n or s?
s
Let b be (3 + 0)*(-1)/(-1). Let a = b + -3. Let k(h) = h**2 + h - 3. Let i be k(a). Is -3 < i?
False
Let m(x) = -x**2 + 3*x - 1. Let n be m(2). Let h = 8 - 11. Let g be h/2*(-8)/6. Is n <= g?
True
Suppose 2*y - 9 + 0 = -5*i, -5*y - i - 12 = 0. Let n(q) = -q**2 - 8*q - 4. Let b be n(-8). Let h = b - y. Is h equal to -1/8?
False
Let b be ((-6)/4 - -2)*2. Let a = -1.78 - 0.02. Let r = 2 + a. Does r = b?
False
Let p = -2649/11 - -241. Let b be (1 - (1 - 0)) + 1. Which is bigger: b or p?
b
Let m be -2*((-25)/2)/5. Suppose 1 = -m*u + 6. Suppose -2*l + l + 2 = 0. Is l at least u?
True
Let i be -1 + (-88)/(1 + 1). Let g be 2/9 + 19/i. Is g at most as big as 0?
True
Let t = -17/11 - -15/11. Suppose -4*m = -9*m. Is m less than t?
False
Suppose 0*q + 3*k - 1 = -4*q, 3*q - 2*k + 12 = 0. Which is smaller: -6/5 or q?
q
Let b be (1 - (1 - -1)) + 6. Let m = b + -4. Is 5 at least m?
True
Let k = 6.6 + -38.6. Is k at least 1/2?
False
Let c = 2 - 2. Is c at most as big as 2/25?
True
Let f be 20/24*-3*2. Which is bigger: f or -4?
-4
Let h be -22 - -1*(-3 - -3). Let a be (-8)/(-44) - 40/h. Let t = 0 - a. Is -2 > t?
False
Let q = -0.61 - 0.09. Let y = -0.3 + q. Which is smaller: 1 or y?
y
Let u = -8.9 + 8.8. Which is bigger: -12 or u?
u
Let f be ((-386)/(-35))/(28/(-14)). Let j = -33/7 - f. Is j <= 1?
True
Suppose 4*y = 0, 2*z + 2*y + 3*y - 26 = 0. Let i = -9 + z. Which is greater: 3 or i?
i
Let x = -3.6 + 3.8. Let u = 3.9 + -6.8. Let v = u - 0.1. Is x at least v?
True
Suppose -6*l = 7 - 85. Let i = l + -18. Is -5 >= i?
True
Let t be 14/(-56) - (-250)/8. Which is greater: t or 1/3?
t
Suppose 4*f = 4*k + 36, 5*f + 55 = -3*k - 2*k. Let g be ((-4)/k)/((-1)/(-5)). Is g at most 2/3?
False
Let f = 0 + -6. Let l(h) = -6*h + 6. Let g be l(2). Is f smaller than g?
False
Let g = 136/35 + -18/5. Suppose -3*q + 0*q - 72 = -3*o, -3*o = -2*q - 76. Let u = -83/3 + o. Which is bigger: g or u?
u
Suppose 3*g = 2 + 1. Which is bigger: 4 or g?
4
Suppose -2*s = -k - 31, -2*k + k + 3*s = 33. Let f be (-6)/k - (-238)/63. Are 18/7 and f nonequal?
True
Suppose 5*l = -3*f + 147, -5*l - f + 127 = -3*f. Are l and 27 nonequal?
False
Suppose z - 3 = -2. Which is smaller: z or 2/15?
2/15
Let f(s) = -3*s - 6. Let r be f(4). Which is smaller: -19 or r?
-19
Let i = 137 - 136. Is -2/179 greater than or equal to i?
False
Let a = -13/18 - 7/9. Let v = -3 - -2. Does v = a?
False
Let x = -2 + 2. Let m = -346 + 36328/105. Let v = m - -113/420. Which is smaller: x or v?
x
Let y = 277.04 - 271. Let n = y + -6. Which is smaller: n or -1?
-1
Let g(v) = v. Let a be g(1). Let h = 1 - a. Let y = 59/4 - 15. Is h bigger than y?
True
Suppose l = -4*l. Let r be (-6)/(-9) - (-12)/9. Suppose 0 = 3*g - g + r. Which is smaller: g or l?
g
Let l = -7 + 4. Let s be 6/5*(-1)/l. Let r = 4 - 29/7. Do s and r have the same value?
False
Let p = -73 - -73.3. Is 14 at least as big as p?
True
Let a be (-25 - 23) + 1*-1 + -2. Is -50 greater than a?
True
Let k(d) be the second derivative of d**4/12 + d**3/2 - 3*d**2/2 + 7*d. Let b be k(-5). Is b < -0.2?
False
Let g be -4*((-9)/(-12))/(-1). Suppose 4 + 11 = g*t. Which is greater: t or 3?
t
Let u be 1/(-2) + 5/20*-6. Is u at least 1?
False
Suppose -2*c + 4*p = 6*p + 8, -2*c - 5*p - 20 = 0. Let m be (-14)/(-4) - 2/(-4). Let g = -6 + m. Which is smaller: g or c?
g
Let x = -12 - -22. Suppose -x*z + 7*z = -24. Which is smaller: z or 7?
7
Let g = 18 + -18.1. Is g greater than or equal to 2?
False
Suppose -274 - 61 = 5*i. Is -67 < i?
False
Let k(f) = -f**2 - 6*f + 2. Let c be k(-6). Let i = c + -3. Let g = -2/269 + 548/1345. Which is greater: g or i?
g
Let l be 1 - (-3 - -2) - 3. Which is smaller: l or -5?
-5
Let v = -2/73 - -160/511. Which is smaller: 16/9 or v?
v
Su