) = l**2 + 4*l - 69. Let q be m(-10). Which is smaller: q or a?
q
Let c = 6 - 9. Let o(h) = -5*h + 2. Let v be o(1). Let j be (-2)/2*0 + v. Is j greater than or equal to c?
True
Suppose 5*t + 46 = -7*y + 3*y, 3*t = -y - 29. Let v be t/8*6/(-30). Which is greater: 2/7 or v?
2/7
Let c = -46/5 + 151/30. Let t = 7/2 + c. Let q = 0 - 0. Is t less than q?
True
Let j be 1/4 - 79/(-4). Let x = -12 + j. Let v = -8 + x. Is 1 smaller than v?
False
Let q be (1/3)/(1/3). Let m(g) = 0 + q - 4 - g. Let o be m(-7). Is o less than 5?
True
Let n be (6/6*2)/(0 - 2). Is n <= -10/13?
True
Let y be 0*(-2 - 0)/2. Suppose 8*v - 4*v = y. Suppose 2*k - 4*k = v. Which is bigger: 3/4 or k?
3/4
Suppose -j - 4*j + 7 = 4*m, m = -3*j. Let g(k) = -k + 4. Let t be g(m). Which is smaller: t or 0?
0
Let j = 26 + -25.9. Is j at most as big as -16?
False
Let t = -37 + 33. Let g = 0.15 + 0.55. Let i = -0.3 - g. Which is greater: i or t?
i
Let j be (-2)/3 - (-34)/6. Suppose -2*v + 9 = -5*s, 3*s + 13 + j = 3*v. Does v = 7?
True
Suppose s = 3*s + 8. Which is bigger: -12 or s?
s
Suppose 5 - 1 = 2*v. Let y be -9*(-2 + v/3). Let z be y/54*6/4. Is -1 at least z?
False
Let i = 1 + 0. Let z be 5*(18/(-10) + i). Let l(m) = m**2 - 5*m + 1. Let a be l(4). Is a at most z?
False
Let k be -1 + 135/25 - 4. Let g be (-2)/(-1 - (-1)/2). Suppose 0*l + 2*l - 1 = 3*o, -g*o - 4*l = -12. Is o bigger than k?
True
Suppose 0 = 10*o - 11*o - 12. Let d be (-1)/(-9) - o/54. Is d greater than 0?
True
Suppose -3*q + 12 = 3. Suppose -10 + 7 = -3*d. Are d and q nonequal?
True
Let j = 0.84 - 0.04. Let b = 0.7 - j. Which is greater: -1/5 or b?
b
Let m(q) = -2*q**2 + 18*q + 5. Let w be m(9). Let u be (-1)/(-2) + 27/6. Is w > u?
False
Suppose 2*v + 14 = 4*v. Let f(n) = -n**3 + 5*n**2 - n - 5. Let a be f(5). Let t be (-4)/a*5/v. Which is greater: t or -1?
t
Suppose -2*c = -5*w, 2*w = -5*c + 4*w. Is 2/27 at most as big as c?
False
Let i = 16 - 19. Let g = -2 - i. Which is greater: 3/4 or g?
g
Let u = 0.002 - 4.002. Which is smaller: -1 or u?
u
Let j = -1 + -2. Let w = 6 - 9. Let a = j - w. Do a and 0 have different values?
False
Let k(a) = 19*a - 4. Let z be k(1). Is z greater than or equal to 16?
False
Let a(u) be the second derivative of -u**5/10 - u**4/6 + u**2/2 + u. Let r be a(-1). Let m = 503/40 - 61/5. Is m at least as big as r?
False
Suppose -3*z = -6*z - 6. Let i be z/8 - 135/(-252). Is -1/2 greater than or equal to i?
False
Let x be (17/(-15))/((-1)/(-3)). Which is greater: x or -3?
-3
Let s be 29/7 - 21/147. Is s <= 50/11?
True
Let d = -16 - -8. Is d not equal to -8?
False
Let v = -61 + 185/3. Which is greater: 2 or v?
2
Let v = 15 - 9. Let x be (-5)/(-10)*2/v. Is x < 0?
False
Suppose -p - 14 = -3*p - t, 0 = -5*t + 10. Let y be p/9 - 10/(-3). Is 4 < y?
False
Suppose -3*b = 4*z + 2*b - 25, -4*b + 20 = 3*z. Suppose 2*q - 4 = 2. Which is greater: z or q?
q
Let l(y) = -1 + 2*y - 4*y**3 - 3 + 3*y**3 - 3*y**2. Let r be l(-4). Suppose 0 + 4 = r*h. Which is bigger: -3 or h?
h
Let a = -4.1 + 4. Let k = 0.1 - a. Let s = k - 0.3. Which is greater: -1 or s?
s
Let o(c) = -c**2 - 7*c - 9. Let w be o(-6). Let l = w + 3. Let x = -41/4 + 107/12. Which is greater: x or l?
l
Let u = 5 - 10. Let a(q) = q + 10. Let j be a(u). Which is greater: 4 or j?
j
Let v(l) = l**2 + 8*l + 23. Let x be v(-7). Are 18 and x non-equal?
True
Suppose 0 = 2*x - 7*x. Suppose x = 3*o + 4*c - 3*c - 9, 0 = -c + 3. Is o at most as big as 1?
False
Let m = 8/75 - -287/825. Which is greater: 0 or m?
m
Let d(n) = n**2. Let g = -2 + 3. Let c be d(g). Which is greater: c or 2?
2
Suppose 4*v = -5*s + 4, 4*s + v + 0 = 1. Let t be (-25)/23 - (7 + -8). Is t at most s?
True
Let u = -8.6 + 8.5. Is u != -0.048?
True
Let c(p) = p**3 - 6*p**2 + p - 3. Let m be c(6). Suppose 3*f - 201 = -m*d - 0*d, 2*d + 118 = 2*f. Let q = -184/3 + f. Is q > 1?
True
Let q = -1786 - -6977/4. Let o = q - -41. Suppose -3*m + 2*m = 1. Which is greater: o or m?
o
Suppose 0 = 4*q - 4, -5*d - 7*q = -2*q. Let u be 1/(d - (2 - 2)). Is -1/4 <= u?
False
Let y = -76 - -91. Which is bigger: y or 0.4?
y
Let d(s) = -s + 7. Let g be d(4). Suppose g*l + 4 = 1. Which is bigger: 2/15 or l?
2/15
Let x = -771 + 1238. Let n = -8871/19 + x. Is -1 > n?
False
Suppose -5*u = -4*d + 5, 3*d + 0*d = 5*u + 5. Is 1 greater than d?
True
Let l be -1 + (1 + -1 - -3). Suppose o = l*o. Let q = o - -1. Is 2 smaller than q?
False
Let t = -2.9 - -3. Let b = -11 + 9.3. Let f = b + 1.9. Which is bigger: t or f?
f
Let g = 13505030 + -23836377234/1765. Let j = g - 2/353. Is 1 != j?
True
Suppose 0*q - 6 = 3*q. Suppose 4*w = -3*z - 0*w + 14, -5*w + 20 = 5*z. Let o be ((-6)/4)/(5/z). Which is greater: q or o?
o
Let g = 4 + -1. Suppose 2*f - 2 = 2*r, g*r + r = -3*f + 31. Let j = 5 - f. Which is smaller: j or 1?
j
Suppose 0*j = -6*j - j. Let k = -4987/14 - -356. Is j > k?
True
Suppose -3*p = h + 2*h + 15, 0 = 5*p + 2*h + 13. Let g be 0 - (p - 68/(-44)). Does g = -2?
False
Let q = -1023/4 - -257. Let u = 12 + -10. Which is smaller: q or u?
q
Suppose 5*x + 24 = -2*h, 2*h - 3*x = 6 + 2. Let g be (h - -7)/((-3)/(-3)). Suppose z - 6*z = -g. Which is smaller: 1/7 or z?
1/7
Let f = -1165/13 - -47257/468. Let l = 55/9 - f. Let t = l - -5. Is t at most 0?
True
Suppose -3*k - k = -8. Which is bigger: k or 0?
k
Suppose 12 = -2*l + 2*h, 7*l + 20 = 2*l - 5*h. Let z be (-60)/27*6/l. Which is smaller: z or 3?
z
Let k be ((-1)/(-2))/(1/6). Suppose -3*p = 3 + k. Is p >= 0?
False
Let n(v) = v - 1. Let c be n(1). Suppose 5 + c = -5*r. Is r bigger than -1?
False
Suppose 5*p - 2*c + c - 51 = 0, -5*p + 53 = -3*c. Let l be ((-8)/10)/((-2)/p). Suppose -3*k = -l*k - 1. Which is greater: k or 1/7?
1/7
Let a be (3/4)/((-1)/20). Let h be 4/10 - 99/a. Is 8 bigger than h?
True
Let m = -1/237 + -221/3792. Does m = 1/4?
False
Let a(r) = -r**2 + 6*r. Let h be a(6). Which is bigger: 2 or h?
2
Let y = -6 - -6. Which is bigger: y or 4/3?
4/3
Suppose -3*u + 13 + 51 = -5*m, -4*u = 3*m - 66. Suppose o = 5*j + 4*o - u, 5*j + 5*o - 20 = 0. Suppose k = -j*l + 9, -4*k + 17 = -k - l. Is 9/2 less than k?
True
Suppose v = 4*r, 2*v = 3*v - r. Let d = v - 2/3. Which is smaller: 0 or d?
d
Let z be 6/(-15) + 1535/25. Which is greater: 60 or z?
z
Let x = -1.3 - -1.3. Which is bigger: -19 or x?
x
Let b(c) = -33*c + 24. Let a be b(3). Which is greater: 1 or a?
1
Let p be (-1 - 6/(-4))*8. Let q(l) = l + 22. Let v be q(-18). Is v bigger than p?
False
Let i = 2 + -4. Let d be (2 - 3/6)*i. Which is smaller: -4 or d?
-4
Suppose -5*p = -8 - 2. Suppose -2*l - 10 = -0*l - 4*i, 2*i = -p*l + 20. Suppose -t + 0*t - 2*a + l = 0, 2*t + 3*a = 7. Is t less than -2?
False
Let i = 1520.01 - 1501. Let f = 19 - i. Which is greater: -0.1 or f?
f
Let w(d) = -13*d - 1. Let x(j) = 2*j - 4*j - j. Let a(r) = 2*w(r) - 9*x(r). Let p be a(-6). Are p and 1 non-equal?
True
Let o(l) = l**3 + l**2 + 3. Let j be o(0). Suppose -3 = v + j. Are -6 and v equal?
True
Let v be (-1 - 0)/(2/6). Suppose 4*m + 4*j - 27 = 7*m, m + 2 = -j. Is v equal to m?
False
Let n = -55/4 + 14. Which is smaller: n or 31?
n
Suppose -d - 4*d = 10. Is -15/7 != d?
True
Let f(q) = -q - 4. Let s(n) = 5*n + 20. Let l(b) = 11*f(b) + 2*s(b). Let r be l(-4). Which is smaller: -4/7 or r?
-4/7
Let s(m) = -m - 14. Let g be (-2)/(-9) - 166/18. Let k be s(g). Is -5 bigger than k?
False
Let u be ((-2244)/448 - (-2 + -1)) + 2. Is u less than or equal to 0?
True
Suppose 3*g - 4*a - 7 = -2, 4*g + 3*a = -10. Let t(m) = m**2 + 6*m - 6. Let y be t(-7). Let r be (-10)/(-18) - (2 - y). Is g bigger than r?
False
Let s = -0.15 - 0.05. Is 0.4 greater than or equal to s?
True
Let g be (21/(-15) + 1)/((-8)/30). Which is bigger: 10 or g?
10
Let f = 0.1 + -0.1. Which is smaller: f or 12?
f
Let n be (3/(-5))/((-1)/10). Let r be 30/34 + (5 - n). Which is smaller: 1 or r?
r
Let t(m) = 2*m + 11. Let u be t(-6). Suppose -z + 5*d + 8 = 2*d, -5*z = 5*d. Suppose 3*j + 4*x + 14 = 0, -3*x - 12 = 5*j - z*j. Which is greater: j or u?
u
Let q = 67 - 66. Is -3/19 less than q?
True
Let j(n) = -n + 19. Let d be j(14). Let x be 2/2*(-2)/d. Suppose -5*k + 0*k - 2*i = -3, -3*k - 3*i = 0. Which is smaller: k or x?
x
Let g = 2378/275 + -96/11. Which is smaller: g or 1?
g
Suppose 3*q - j + 5 = q, 4*q = -2*j - 6. Is q less than -2?
False
Suppose 0 = 5*h - 4*z + 41, -h - 2*h - 4*z - 31 = 0.