. Which is smaller: q or 12?
12
Let l(a) = -a**3 + 5*a**2 - 4*a. Let g be l(3). Let m be 6/4*2/g. Suppose -v + 8 = -2*y - 3*v, 2*v + 7 = -3*y. Is m greater than or equal to y?
False
Suppose b + 9*j - 11 = 4*j, -2*j - 10 = 4*b. Let y = 3 + b. Let q be (-4)/3 - (y - 1). Is 1 greater than or equal to q?
True
Let j(s) = s**2 + 9*s + 9. Let k be j(-8). Which is smaller: 1/39 or k?
1/39
Suppose 0 = j - 0 + 1. Which is bigger: j or 2?
2
Let p be 5/(-5) - 39/(-8). Let o be 1443/(-84)*14/60. Let u = p + o. Is u bigger than 1?
False
Let s be (-8)/(-12)*3/2. Is s at least as big as 1/48?
True
Let z be 4/10 + ((-76)/(-10) - 7). Let n(a) = a. Let x be n(1). Is z < x?
False
Let p = 45 - 40. Which is smaller: 2 or p?
2
Suppose 0*s - 20 = 5*s. Let j = -4 - s. Suppose 0 = -5*h + 2*h. Is h < j?
False
Let y = 3 + -3.2. Let l = -11 + 13.2. Let r = l + y. Is r at least -2?
True
Let p = -1 + 5. Suppose -3*u + p*u = 1. Let c be 45/66 + 3/(-6). Is u at most c?
False
Let l be (2 + -2 + 0)/(-2). Is 2 at most l?
False
Let s be 3*((-605)/(-201) + -3). Which is bigger: 0 or s?
s
Let k = -30 + 9. Let j = k - -16. Are -5 and j non-equal?
False
Let q = 8.91 - 0.11. Let w = q - 9. Is w at most as big as -3?
False
Suppose -6*v + 4*v = -2. Let q be (-1)/v + (-6 - -8). Let x = 0 + 0. Which is greater: x or q?
q
Suppose -3 + 33 = 5*y. Let p be (y/15)/(2/10). Suppose -p*l = -l. Is l equal to 0?
True
Let f be (-2)/(8/(-3))*-4. Let x be 6/18*(1 - -2). Let r = -3 + x. Is f bigger than r?
False
Suppose -4*q + 53 - 61 = 0. Do -1 and q have the same value?
False
Suppose -3*l - 3*v - 7 = l, 2*l + 4 = -2*v. Let u = 87 + -437/5. Is u greater than l?
True
Let l(c) = c**3 - 12*c**2 + 12*c + 9. Let s be l(11). Let y be 8/s - 6/(-10). Let q = -178 + 893/5. Which is smaller: y or q?
q
Let a = -1.11 + 0.11. Which is bigger: a or 0.3?
0.3
Suppose 5*a = 5*c + 5, -4*c + 0*a + 36 = 4*a. Suppose -3*s = 5*r + 15, c*r - 4*s - 18 = 2. Is 3 >= r?
True
Let b = -61/3 - -21. Suppose 4*d - 17 + 5 = 0. Suppose -5*c + 2 - 10 = -d*v, -10 = -5*v + 5*c. Do b and v have the same value?
False
Suppose 2*x = -2*x - 8. Let c be x/(-8) + (-226)/8. Let n be 1*3*4/c. Which is smaller: n or -0.1?
n
Suppose -6*i + 2*i + 4*r = 8, -10 = -4*i - 5*r. Suppose 3*f + 5*d = -f, i = -f + 5*d. Is f smaller than -2/35?
False
Suppose 0 = 4*l + l - 5. Is l at least 10/7?
False
Let f be 296/4 - (7 - 7). Is f at most as big as 75?
True
Let v be (2/10)/(14/5). Let n(j) = -j**3 - 11*j**2 - 3*j - 33. Let o be n(-11). Do v and o have the same value?
False
Let l = 665 - 3288/5. Let u = 86/15 - l. Is -3 equal to u?
False
Let s = -0.13 - 7.87. Let z = s + 10. Is z < -1?
False
Suppose i - 18 = 4*r, -i - 24 = -3*i + 4*r. Suppose 2*n - i*n = v - 24, 0 = 3*n + v - 19. Let q be (-8)/12*(-1)/n. Is q greater than -1?
True
Let s = 11 + -10. Which is greater: -0.15 or s?
s
Let o be -1 + 2 - (-48)/55. Let x = o - 14/11. Which is bigger: 1 or x?
1
Suppose 0 = 6*z - 4*z - 22. Is 10 greater than z?
False
Let y = 0.06 + 0.01. Let m = y + -0.04. Is -1 less than m?
True
Suppose 0 = 2*r - 4*r - 16. Which is smaller: r or -7?
r
Let b be 2/3 - 39/(-90). Let a = -7/10 + b. Which is smaller: a or 5?
a
Let j = -2 - -1. Let n(o) = -3*o**2. Let t(i) = 20*i**2. Let s(x) = -21*n(x) - 3*t(x). Let z be s(j). Are z and 2 unequal?
True
Suppose -3*k + 20 = k. Let y = 319 + -319. Which is bigger: k or y?
k
Let t = 24 + -7. Which is smaller: 13 or t?
13
Let b = 8 + -10. Is 0.06 smaller than b?
False
Let l = -1561/33 - -40/11. Let q = l - -43. Is q < -2?
False
Let l = -4 + 7. Let x = -3.1 + l. Let z be ((-8)/60)/((-2)/(-3)). Are x and z equal?
False
Suppose -5*v + 30 = -0*v. Let u be -1*-3*(-2)/v. Which is smaller: 2/33 or u?
u
Let o = -1.1 + 0.1. Is o at most 0.2?
True
Let l = 12 - 23. Let i = -11 - l. Is i > 1?
False
Let a be (-16)/40 + 23/(-5). Are -15/4 and a nonequal?
True
Let c(n) = -n**2 - 7*n - 2. Suppose -2 = o + 4. Let y be c(o). Which is greater: -0.1 or y?
y
Let w = 5 - 9. Let d = -3.9 - w. Let k = 0.7 + -1. Is k equal to d?
False
Let w = 12 + -6. Let q(i) = -i**2 + 7*i. Let n be q(w). Let r be 1/(-4) + 3/n. Which is smaller: r or 0?
0
Let m be (1/18)/(1/52). Let c = -330/17 + 3310/153. Let k = m - c. Which is bigger: 2 or k?
2
Suppose -4*k + 0 + 4 = 0. Let t be -3*k/3*2. Is -2 <= t?
True
Let m = -415111 + 398091709/959. Let r = -2/137 - m. Let p = -3 - -4. Which is greater: p or r?
p
Suppose -3*a = -2*y + 6, 2*a + 15 = -3*a + 5*y. Let t be -2*1/(a - -1). Let r be (-9)/(-6)*t/(-6). Are r and 1 non-equal?
True
Let g = -5196/5 + 1045. Let b = -6 + g. Are 1 and b equal?
False
Suppose 21 = 2*g - 9. Let k be (1/642)/((-10)/g). Let u = 841/6420 - k. Which is greater: 1 or u?
1
Let f be -4 + (-32)/(-4) + -3. Let u be 19/(-77) + 2/(-11). Which is smaller: u or f?
u
Let c(g) be the second derivative of -g**5/20 + 5*g**4/12 - 2*g**3/3 + g**2 + 4*g. Let p be c(2). Let u be (-6)/(-4)*(-8)/p. Is -0.1 > u?
True
Let x(y) = -y**3 - 8*y**2 - 2*y - 10. Let h be x(-8). Suppose h*v = 3*v - 3. Let t be (-4)/(-5) - v/5. Is 1 at most as big as t?
True
Suppose 5*b - 36 = 9. Let s be b/(-21) + 30/21. Let v = 105 + -522/5. Are v and s nonequal?
True
Let v = -1 - -5. Let p = -5/9 + 55/18. Is p smaller than v?
True
Let x be (4/((-16)/162) - 3)/3. Is -14 greater than or equal to x?
True
Let f = 0.3 - 0.5. Let z(s) = -s**3 - 2*s**2 - 2*s + 2. Let m be z(-2). Suppose 2*l + m = 2. Which is bigger: l or f?
f
Let n be (0 - 5)*(3 - 4). Which is smaller: n or 6?
n
Let r be (-1 - 3) + 4 + -2. Let h(z) = 2*z**2 + 2*z. Let q be h(r). Let n be 19/(-3) + q/12. Which is greater: -7 or n?
n
Let p be 1/4 + 5/(-12). Suppose -h + 32 = h. Let k = h - 15. Is p at least k?
False
Let i = 10/19 + -131/285. Which is smaller: i or -0.2?
-0.2
Let a = 61.28 + -61. Is a < 2?
True
Let i(n) = 4*n**2 + 1 + 0*n - 11*n**2 + 2*n. Let m be i(-1). Are m and -8 equal?
True
Let f(t) = -t**2 - 6*t + 9. Let p be f(-7). Suppose -5 = 4*g + 2*z - 1, 5*g - 25 = 5*z. Let u be (g/1)/(3 - p). Is u at least as big as 1?
True
Let g = -49 - -43. Is g < -7?
False
Suppose -x = -m + 2, 3*x + 17 = 2*x + 4*m. Let d be 3 + -7 + 10 + -2. Suppose d*p = -x - 1. Is -3/4 bigger than p?
True
Let a = 25 - 38. Suppose 5*y = 14 - 59. Let p = a - y. Is p less than -3?
True
Let f be -4 + 2 - (-602)/315. Does -1 = f?
False
Suppose -4*l + 1 = -3*p + 19, -2*p + l + 7 = 0. Let u(w) = 3*w**3 + w**2 - w. Let r be u(1). Is r greater than p?
True
Let m be (6/8)/((-1)/(-4)). Let p = 1 + -1. Suppose p = -0*v + 5*v - 10. Which is smaller: v or m?
v
Suppose -3*q = 8 - 47. Which is smaller: 12 or q?
12
Suppose 2*d = -1 - 1. Let u = 1 + d. Let j = u - -2. Which is bigger: -1 or j?
j
Let g = 9 + -6. Let z be (-2)/g - (-8)/12. Which is greater: z or 12?
12
Let s = -2/73 - -83/5694. Which is bigger: 0 or s?
0
Let n = -2.6 + 2.34. Let k = n - -0.19. Which is smaller: k or 0?
k
Let y be 9/(-90)*(-10)/(-4). Let a = 5.9 - -0.1. Let w = a + -4. Which is smaller: w or y?
y
Let q = -0.1 - 2.9. Is q > -0.3?
False
Let d(y) = -y**2 + 5*y - 3. Let i be d(6). Let a be (2 - -3)*i/(-15). Let o = -2 - -2. Which is smaller: o or a?
o
Let n(m) = -m**3 + 31*m**2 + m + 18. Let l be n(31). Is l bigger than 49?
False
Let v = -182 - -173. Which is greater: 8 or v?
8
Let d be 50/(-8) + 12/48. Let u(c) = -2*c**2 - 5*c - 3. Let r be u(-3). Is r < d?
False
Let k = -0.26 - -0.26. Which is smaller: 5/2 or k?
k
Suppose -31 = -v + 8. Is v <= 39?
True
Suppose 0 = -m + 2*d + 2, 0 = 2*d - 5*d + 3. Suppose m*x - x - 3 = 0. Which is greater: x or 1/3?
x
Suppose -l = 2 - 3. Let i be l/(-4) + 2/8. Suppose -3*g - 5 = -2. Which is greater: i or g?
i
Let d = -6 - -5. Which is smaller: 1 or d?
d
Suppose -2*c + 5*r = 14, -6*r = 2*c - 5*r + 2. Which is smaller: c or -21/8?
-21/8
Let d = 14/9 - 188/63. Is d smaller than -1?
True
Let c(p) = 6*p - 27. Let n be c(5). Is n smaller than 7/4?
False
Suppose -t - 2 + 1 = 0. Let j be 8/16 - 14/(-4). Suppose -m = -2*m - 2*u, -4*m - 4 = j*u. Which is smaller: t or m?
m
Let o(f) = 11 - 4*f**2 - 6*f + f**3 - 11. Let k be o(5). Which is bigger: -3 or k?
-3
Let a = 6 - 12. Let x be (-4)/a + 24/(-18). Which is smaller: x or 0?
x
Suppose -3*s + 0*x + 2*x = 2, -2*s = 3*x - 3. Which is smaller: s or -1?
-1
Suppose -3 = 3*n - 0*n. Which is smaller: 1/22 or n?
n
Suppose 4*o - 7 = -5*q