 is smaller: c or 1?
c
Let p(f) = -f**2 - 7*f - 12. Let n be p(-5). Let x be (1/n)/(2/4) + 18. Which is smaller: x or 14?
14
Let l = 205 - 183. Let n = 428 - 449.9. Let q = n + l. Is q less than 9?
True
Let n(z) = 4*z - 10. Let v be n(-3). Which is bigger: -30 or v?
v
Let q be 4 + 28/(-8) - (-5 - 1). Which is smaller: -0.025 or q?
-0.025
Let o be 56/231*(-5)/30. Which is bigger: 1 or o?
1
Let l = 56 - 40. Suppose 0 = x + 4, -l = -2*n + 5*n + 4*x. Let o be (12/(-1 + -1))/5. Which is smaller: o or n?
o
Let y(t) = t**3 + 7*t**2 + 14*t + 26. Let c be y(-5). Let a = 8 + -6. Suppose 5 = p + o + 10, 2*o - c = a*p. Is p less than -2?
True
Let d(w) = -w**3 + 2*w**2 + 4*w - 3. Let v be d(3). Let i(o) = -2*o**2 - 17*o + 12*o + 1 + 13*o + 0*o**2. Let y be i(4). Is y >= v?
True
Suppose -4*p = 4, 0*p - 3*p = a - 25. Let u = -7 + a. Let g = 54 + -34. Is u < g?
False
Let x(f) = f + 9. Let m be x(-2). Let k(y) = 9*y - 4. Let z be k(1). Which is smaller: z or m?
z
Suppose 4*v = -7*v - 1628. Let u be (-6)/v*((-8)/(-2))/2. Are 0 and u equal?
False
Suppose z = t - 6, 0 = 2*t + t - 2*z - 17. Is t equal to -1?
False
Let a be ((-2)/(-2))/(-5) + (-897)/1365. Do -1/11 and a have the same value?
False
Let y(h) = h**3 + 13*h**2 - 10*h - 14. Let t be y(-14). Let x be 4/14 + (-36)/t. Suppose 0 = -0*l - 3*l. Which is smaller: x or l?
l
Let c = -59 - -63.6. Let a = c + -0.6. Let p = -1947 + 1949. Is a less than p?
False
Let h = -552.93 - -554. Which is greater: h or 0.1?
h
Let n be 0/6 + -6 + 4. Do n and -4/5 have the same value?
False
Let p = -64.58 + 63. Let x = p - -1.8. Let z = 0.02 - x. Which is smaller: -2 or z?
-2
Let k = 2247 + -2029. Do k and 4 have the same value?
False
Suppose 616 = -11*w - 1496. Let y be w/330 - 2/(-11). Which is smaller: 19/3 or y?
y
Suppose -l - 18 = -7*l. Suppose -4*i = -s + 16, -3*s + l*i - 6*i = 12. Let b be (2 - 36/14) + s. Which is greater: -1 or b?
b
Let y = 95 + -96. Is -94 > y?
False
Let q = 290 - 284. Is q at least as big as -7?
True
Let r = 0 - -0.2. Let w = 0 + r. Let c = -328.5 - -328. Which is bigger: c or w?
w
Let s(m) = -2*m**3 - 3*m**2 - m - 2. Let t(d) = -d**3 - 8*d**2 - 6*d + 5. Let q be t(-7). Let b be s(q). Suppose -27 + 51 = 4*v. Which is smaller: v or b?
b
Let s = 1334 + -14686/11. Is s != 0?
True
Let m = 5/2494 + -164669/32422. Let w be 1 - (-421)/(-65)*1. Let i = w - m. Which is smaller: 7 or i?
i
Let b(d) = -d**3 - 4*d**2 - 2*d - 6. Let c be b(-4). Let g be 1*(-8)/36*-9. Suppose 4 = -x + 4*u, 5*u + 0 - c = g*x. Which is smaller: 0 or x?
0
Let x(n) = n**2 + 3*n - 6. Let k be x(-5). Suppose -44 = 2*h + k. Let t be (15/(-7))/(h/(-84)). Which is bigger: t or -8?
t
Let g(z) = 69*z**2 + 17*z + 33. Let y be g(-2). Is 275 less than y?
False
Suppose 0 = 14*k - 11*k + 129. Let g be 321/(-1)*(-2)/(-15). Let y = g - k. Which is greater: 1 or y?
1
Let d be 1*(2/(-3))/((-10)/45). Is -0.82 equal to d?
False
Suppose y + 156 = 5*a, 0*a + a = -4*y + 27. Let c = a - 11. Let i be (c/14)/((-2)/(-14)). Which is smaller: i or 11?
i
Let a(i) = -i**2 + 14*i - 39. Let b be a(10). Which is smaller: b or 15/28?
15/28
Let q(m) = -m**2 + 2*m + 1. Let i be q(-1). Let b be (i - -3)*(-8)/(-2). Suppose 2*x = -2*t + 2 - b, -4*t = -3*x - 10. Which is bigger: x or -9/7?
-9/7
Let w = 8 + -19. Let s = -10 - w. Are s and 1 nonequal?
False
Let o be (106 + -2)*(0 + (-2)/(-8)). Which is greater: o or 41?
41
Let q(h) = -4*h**3 - 2*h**2 + 3*h - 1. Let g = 83 + -82. Let m be q(g). Which is greater: -20/7 or m?
-20/7
Let j = 3 - -11. Let x be 105/(-10)*((-209)/33 + 5). Is x at least j?
True
Let i be 4/(-15)*15/(-6). Suppose -5*n + 2*q - 86 = 0, 0 = -2*n - 2*q - 22 - 4. Does n = i?
False
Suppose 4*v = 4, 5*v + 5 - 50 = 2*m. Let q be 2*2 - m/10. Let i be 14/(-4) - (-9)/q. Is i > -1?
False
Let d = -0.0322 + 0.0322. Which is smaller: d or -50?
-50
Let b = 99 + -72. Suppose -6*w = -9*w + b. Which is bigger: w or 7?
w
Let r be 2/(-3) + 1353/198. Is r greater than or equal to 7?
False
Let r = 0 + 12. Let n = -22 + r. Is -10 greater than or equal to n?
True
Let t = 23 + -71. Is -238/5 bigger than t?
True
Suppose -5*p + 32 = 3*x, -4*x = 3*p - 23 - 5. Suppose 45 = -5*g + 5. Let k be (10/4)/((-4)/g). Is p greater than k?
False
Let o be 6/33 - 26/22. Let q = o - -3/2. Suppose 3*c + 4*r + 1 = 0, -r = 2 + 2. Which is bigger: c or q?
c
Let x = -7 + 9. Suppose -2*i + 20 = x*i. Let n = i + -6. Is n not equal to -2/67?
True
Let c = 1452 + -1453. Which is smaller: -359/5 or c?
-359/5
Suppose -3*n - 4*r - 25 - 9 = 0, 54 = -5*n - 4*r. Let l = 11 + -4. Let a = -2 - l. Which is bigger: n or a?
a
Let p = 298 + -435.1. Let l = 135 + p. Which is greater: -3 or l?
l
Let h(a) = 4*a**3 + 2*a**2 + 2*a + 4. Let v be h(-2). Let x be 10/(-3) - 8/v. Does x = -3?
True
Let k = 2.46 - -1.74. Which is bigger: k or 0.2?
k
Suppose 2*s - 12 = -4*g, 3*g - 2*s + s = 9. Suppose 45 = -3*w + 2*v + 129, v = -g*w + 75. Is 26 < w?
False
Let q be (15/60)/((-7)/20). Suppose -6 = 3*v - 0. Is v less than or equal to q?
True
Let v = -23.105 + 23. Let u = 15440 + -15440.1. Is u < v?
False
Let m be (4/(-26))/(16/(-55)). Let x = 265/24 + -32/3. Let l = m - x. Which is smaller: -1 or l?
-1
Let i = 274 + -177. Let o = -100.9 + i. Is -2/7 at least o?
True
Let d = -0.48 - -0.14. Let k = d + 0.64. Is 16 at most k?
False
Let l(p) = p**3 + 55*p**2 + 56*p + 107. Let t be l(-54). Which is smaller: -72/49 or t?
-72/49
Let i = 2437/7 + -348. Which is bigger: -1/29 or i?
i
Suppose 2*i - 2*t - 14 = 0, 5*i - 9*t + 12*t = -5. Let o(j) = -j. Let h be o(-6). Suppose i*p = -p - h. Is -2 smaller than p?
False
Let o = -50 - -50.1. Let i = 5.9 + o. Is 6/5 not equal to i?
True
Let m = 1038 - 643. Which is greater: 0.1 or m?
m
Suppose -2*x + 3*l - 389 = 0, 0 = -5*l - 28 + 13. Is x > -199?
False
Suppose -10 = -4*f - 2. Suppose -3*v = -f*v. Is v < -3?
False
Suppose -3*a - 8206 - 5834 = 0. Let h be (-12)/a*(-13570)/(-28). Let r = -2/273 - h. Which is greater: -1 or r?
-1
Let z = -14.02 - -17.02. Is -0.07 greater than or equal to z?
False
Let w = 7261/6 - 1221. Let l = 337/30 + w. Which is smaller: -15 or l?
-15
Let b = -894.9 + 895. Is b smaller than 2/89?
False
Let v be 3 + 132/(-2) - 0. Let g = 97 + v. Let h = -24 + g. Are h and 10 equal?
True
Let p = -3 - -4. Let i = 189.33 + -190. Which is greater: p or i?
p
Let p = -143.9 + 143.7. Let a = 14 - 20. Which is greater: p or a?
p
Let g = 12/59 - -57/590. Suppose -f = 1, 7*f = n + 3*f - 6. Suppose -n*k + 10 = 0, 2*l = l - 2*k + 11. Which is bigger: l or g?
l
Let a = -73/16 + 1145/272. Let u = -1.47 + 1.57. Is u less than a?
False
Suppose y - 6*y = 0. Are y and 0 equal?
True
Suppose 3*z - 2*h - 13 = -3*h, -3*h + 9 = 3*z. Suppose 4*r + 14 = z*r. Which is smaller: 13 or r?
13
Let f = 1/2 - 1/10. Which is greater: f or -8/3?
f
Let n be -4*1 - (78 + -123). Is 1/2 less than n?
True
Let m(u) = -2*u**3 - 4*u**2 - 4*u - 3. Let h(c) = c**3 - 4*c**2 + 2*c + 2. Let f be h(2). Let k be m(f). Suppose 9*g - 20 = 4*g. Is g > k?
False
Let q(d) = 8*d + 6*d**2 - 18*d + 7 - 14*d**2 + 6*d**2. Let z be q(-6). Let j be (8/6)/(4/(-18)). Which is smaller: j or z?
j
Let j be 0/2 + -18 + -1. Let r = j + 5. Which is bigger: r or -6?
-6
Let y be (-2970)/(-7371) + 6/(-63). Which is greater: 1 or y?
1
Suppose -13*j = -6*u - 17*j + 2628, 2*u = -4*j + 876. Is 439 at most u?
False
Let p = -4 + 12. Let z = 22 - 8. Let v be -3 - (-23)/z*2. Which is bigger: p or v?
p
Let u be (16/(-48))/(2/(-114)). Suppose 0 = -t - 9 + u. Let g be 2/t - 64/(-80). Are g and -3/10 equal?
False
Let c = 17.84 + -1.54. Let j = -14 + c. Let n = j - 0.3. Are n and 1 unequal?
True
Let l(d) = -d**3 + 15*d**2 - 13*d - 10. Let v be l(14). Suppose -v*z + 70 = z - n, 2*n = z - 14. Which is greater: z or 16?
16
Let g(l) = -4*l + 61. Let u be g(7). Is 36 less than or equal to u?
False
Suppose 93 = 12*r - 303. Let k be (-2)/(-6) + 196/6. Is r at least as big as k?
True
Let o = -379 - -111. Which is smaller: o or -269?
-269
Let x(z) = -z**3 - 5*z**2 - 3*z - 10. Suppose -10 + 22 = u. Let h = -17 + u. Let i be x(h). Which is smaller: i or 3?
3
Let f be 1 + 45/33 - 2. Let l(n) = 4 - 5 - n**3 - 8*n**2 + 4*n**2 - 3*n + 0. Let o be l(-3). Is f > o?
True
Suppose -f - 66 = 2*y, 0 = f + 1 + 1. Let l be y/20*(-1)/4. Which is bigger: l or 1?
1
Let r be 17571/25542 - (-1)/(-