54)*3. Which is smaller: 3 or c?
3
Let n(j) = j**2 - 5*j - 5. Let y be n(-2). Is y at most as big as 9?
True
Let s be ((-2)/(-4))/((-4)/(-56)). Let h = 8 - s. Is h not equal to -3/7?
True
Let f be 30/9 - (-6 - -9). Is f > 0?
True
Let u = -426.1 + 0.1. Let d = -431.94 - u. Let j = 0.06 - d. Is j at least as big as -0.1?
True
Let q = -1 + 3. Suppose 0 = -m - 0*m + q. Suppose i = m*i. Which is bigger: 4 or i?
4
Suppose 3*t + 118 + 50 = 0. Let y be t/10 + (-3)/(-5). Let a be (-17)/y - (-6)/(-15). Is 4 less than a?
False
Let h = -6 - -27. Let y be 22/24 + (-14)/h. Let l = -1 - -6. Which is bigger: l or y?
l
Let q(p) = -p**3 - 6*p**2 - p - 2. Let x be q(-5). Let y be (-4)/x - 12/(-55). Suppose 2 = -4*c - 2*t, 5*t + 13 = 2*c - 4*c. Is c < y?
False
Let x(l) = 3*l + 8. Let o be x(4). Is 19 less than or equal to o?
True
Let k = 12 + -8. Let t be k/10 + (-12)/30. Is t at least 1?
False
Let y(h) = -h**2 + 4*h + 2. Let n be y(4). Suppose -2*x + 6 = x. Let t be (2 - 0)*3/x. Is t > n?
True
Let z = 185 - 186. Which is smaller: z or -2/57?
z
Let h = 37/264 - 1/66. Which is greater: 1 or h?
1
Let v = 120 - 103. Let b be ((-18)/(-5))/((-1)/(-5)). Is v equal to b?
False
Suppose 0 = p + p. Do p and 0 have the same value?
True
Let y be 8/3 + (-2)/3. Suppose -2*a + 2 = -y. Is 2 < a?
False
Let w be 7/(-2)*12/(-21). Let m be (2 + -4 + w)/(-2). Suppose 3*k + k - 12 = -3*d, m = -3*k + 5*d + 9. Which is smaller: 4 or k?
k
Let h be 5/((-1425)/(-84))*-1. Let j = 2/19 - h. Which is greater: 0.13 or j?
j
Let y = 79/9 + -9. Suppose 3 = -5*l + 8. Is y bigger than l?
False
Suppose 0 = 2*k - 6 - 12. Let c be ((-2)/2)/(k/(-3)). Do c and 1 have the same value?
False
Let u = 1.811 + 0.189. Is -17 bigger than u?
False
Let r(i) be the second derivative of i**4/12 + 4*i**3/3 + i. Let g be r(-8). Let k = -39/10 + 7/2. Which is smaller: g or k?
k
Let q = -52.1 + 47. Let v = -5 - q. Which is smaller: v or -4?
-4
Let c = 0.92 - 0.9. Is 0 greater than or equal to c?
False
Let h = 11 - 9. Which is smaller: 0 or h?
0
Let n = 16/45 - 2/15. Suppose 5*q - l = -25, -l + 14 = q - 5*l. Let b be q/9 + 2/3. Which is smaller: n or b?
b
Let s = -3 - -5. Suppose 0 = 2*a - s - 4. Suppose a*q - 4*v = v - 11, q = 2*v - 4. Are -3 and q nonequal?
True
Let p = -1.9 - 0.1. Let f = -1.9 - p. Let b be 3/4*(-4)/(-6). Is f less than b?
True
Suppose 0 = -6*r + 2*r + 4. Suppose 3*a + r = 4. Is -6/13 less than or equal to a?
True
Let n = 13 + -13. Let u be (-11)/22*(-1 + n). Suppose -22 = -3*m - 5*a, 5*a + 0 + 5 = 0. Which is smaller: u or m?
u
Let l = 46 - 27. Let v = 13 - l. Which is greater: v or 1?
1
Suppose -4*y = -2*u - 88, -5*u - 39 = -5*y + 66. Let w = y - 16. Which is bigger: 9 or w?
9
Let q = -5 - -8. Let r be (-4)/(-6) + q/9. Do 4 and r have different values?
True
Let t be (0 + 28/8 + -4)*-2. Is 24/13 > t?
True
Let k = 0 + 0.14. Let m = 0.04 - k. Let x = m + -0.1. Which is bigger: -1/2 or x?
x
Suppose 24 = -2*c + 2*r, -24 = 2*c - 5*r + 2*r. Let w = c - -21. Let u = -9 + w. Is u > 1?
False
Suppose -40 = 5*b + 5*s, -2*b - 30 = -2*s - 3*s. Let n = b - -28/3. Suppose -3*q = -6*q. Is n > q?
False
Let m be (27 + 3 + -3)/(-1) + -2. Which is greater: -28 or m?
-28
Let i(u) = u**3 + 10*u**2 - 10*u + 10. Let c be i(-10). Let f be (-8)/c*5/(-2). Which is smaller: 0 or f?
0
Let j(u) = u**2 + u + 1. Let f be j(0). Let t be 4/10 + (-7)/70. Is t at least as big as f?
False
Suppose 2*d = -4*b + 36, -3*d + 19 + 33 = 4*b. Suppose -w + d = 6. Let v be (8/w + -1)/(-1). Is v <= 0?
False
Let k = 3 + -1. Let u(a) = -5 + 2*a**k - a**2 - 7*a + a. Let h be u(7). Is 2 >= h?
True
Suppose -6*z - 18 = 48. Which is smaller: -9 or z?
z
Let m be (-63)/5 + (-2)/5. Let q be (-1)/(-2)*(m - -11). Is q less than or equal to 1?
True
Let l(n) = -6*n - 9. Let x(c) = -2*c - 3. Let j(g) = -3*l(g) + 8*x(g). Let k be j(-3). Is -4 != k?
True
Suppose -r + 87 = 3*a - a, 102 = 2*a - 4*r. Let z be -3*5/(a/6). Which is smaller: -3 or z?
-3
Let d = 8 + -5. Let h be (0 - 3)/3 + d. Suppose f + h*u = 3*f, 0 = -2*f - 5*u. Are f and -2/11 nonequal?
True
Let n = 3 - 1. Let a(v) = -v**n + 0*v**2 - 8*v + 10 + 0. Let f be a(-9). Which is bigger: 1/3 or f?
f
Let c be 1/3 + 11/3. Let i be c + -5 + 0/1. Suppose 0 = -4*a + 3*o, -4*o - 8 - 14 = 2*a. Is a less than i?
True
Let v = -91 - -92. Which is smaller: 5/16 or v?
5/16
Let p = 51 - 115. Let n = p + 257/4. Let m = 3 + -3.2. Does n = m?
False
Let g = -38 - -38. Let x = 5 + -3. Is g less than x?
True
Suppose -3*f - 20 = -8. Suppose 3*o - 3*v = 0, -3*o + o - v = -3. Suppose -s - 4 + o = 0. Is f bigger than s?
False
Let d = -4 - 25. Is -28 smaller than d?
False
Let t = 5 - 3. Suppose -t*q - 2*q = 0. Do -3/4 and q have different values?
True
Suppose p - 5*s = 16, -2*p + 2 = -3*s - 2. Let a be (p/12)/((-1)/6). Which is smaller: a or 3?
a
Let x be (-2*2)/((-2)/1). Suppose 6 = 3*b, 0*f = f + b - 5. Suppose 4 = -f*c - a + x, -6 = -5*c - 4*a. Which is smaller: c or -1?
c
Let y = 415/52 + -120/13. Suppose -3*t + 0*t = 6. Which is greater: y or t?
y
Let s = 1.3 - 1.3. Let f = 0 + 0. Let c = f + 2. Is c less than s?
False
Let g be (-19)/3 - 5/15. Which is smaller: -7 or g?
-7
Let h = -94/105 + 2/21. Which is smaller: 0 or h?
h
Let d(r) = r**2 - 6*r + 6. Let n be d(5). Let u = 0 - n. Is u equal to 2?
False
Suppose -11*g - 1 = -12. Which is smaller: -5/18 or g?
-5/18
Suppose u + 3*m - 4*m = -20, -4*u = -2*m + 76. Are -16 and u nonequal?
True
Suppose -z = -5*z - 12. Let w be (-2)/(-8) + (-57)/(-12). Suppose w*a - 8 = 4*p + 3*a, 0 = p - a. Which is bigger: p or z?
z
Suppose 0 = -3*c + 18 + 3. Suppose -2*x + 5*t - c = -5*x, -2*t - 14 = -3*x. Is x equal to 5?
False
Let l(p) = -p**3 + 9*p**2 + p - 8. Let w be l(9). Is 1 equal to w?
True
Suppose -f + 7 = -2*h, 0*f + 5*h + 22 = 4*f. Let w be (-2)/((-15)/6 + 2). Let r = 7 - w. Are r and f equal?
True
Let z be 3 + -1 + 7/((-168)/45). Let f = 2 + -3. Is f at most z?
True
Suppose 0*l + 18 = 3*l. Let j be 8/l + 6/9. Suppose 0 + j = 2*w. Are w and 1 nonequal?
False
Let d be (3/(-6))/1*0. Which is bigger: d or 4/13?
4/13
Suppose -s + 24 = 4*n - 0*s, 2*s = 0. Let a = 3 - n. Let q be 8/12 + 1/a. Which is greater: 2/5 or q?
2/5
Let q be -1 + -1 - (1 - 5). Suppose 20 = 5*u - q*l, 3*u = 5*l + 30 + 1. Which is bigger: u or -2/9?
u
Suppose 3*w + 2*w = -i - 1, 4*i - w = -4. Let l(j) = j + 1. Let a be l(i). Is 2/19 at most a?
False
Let f = -87 - -336. Let n = f - 177. Let i be ((-2)/6)/((-8)/n). Is 1 at least as big as i?
False
Let r = 24 + -16. Let i = r - 8.3. Let t be (4/10)/(10/25). Which is bigger: i or t?
t
Suppose -2 = -5*s - i - 1, s + 2 = 2*i. Let g = 0 - s. Is -0.07 at least as big as g?
False
Suppose -o + 2*u = 14, -u + 13 = -2*o - 3. Is -8 smaller than o?
True
Let m = 29 + -26. Is 5/2 equal to m?
False
Let h = 0.29 + -0.19. Is h equal to 29?
False
Let m be (-2 + 3)/(-3*(-1)/21). Which is greater: 9 or m?
9
Suppose -14 - 4 = -f. Suppose -7*b - f = -5*b. Is b < -11?
False
Let a be (1/(-34))/((-1)/4). Let o be 3 - 0 - (-5)/1. Let r be (-4)/o*-2 - 2. Which is smaller: r or a?
r
Let x be 36/54 + 5/(-12). Is 1 <= x?
False
Let v be -1 + 3 - (-2)/(-1). Suppose 5*i + 17 = 7. Let d = i - v. Is d < -2?
False
Suppose -9*z - 33 = 12. Let t = 5 + -11/2. Which is smaller: t or z?
z
Let u(k) = -k + 10. Let o be u(6). Suppose -g = -0*g - 5. Which is smaller: g or o?
o
Let w = 11.951 - -0.049. Which is greater: w or 0.1?
w
Let v = -30 - -30.1. Let t = 2.2 + -0.2. Is t greater than or equal to v?
True
Let z = -3.4 - -4.5. Let r = -0.7 - 0.3. Let q = z + r. Is -0.05 not equal to q?
True
Let m be (-33)/4 + 2/8. Let b be (-4)/(-10) - m/30. Let l be ((-6)/8)/(-6*(-7)/(-112)). Are l and b nonequal?
True
Let n = -5 - -6. Let r(k) = 6*k. Let d be r(n). Are d and 5 unequal?
True
Let r be -6 - ((-109)/20 - 1). Which is smaller: 1 or r?
r
Let j(y) = -y - 1. Let v be j(-8). Suppose 4*w = 3*u + v + 1, -5*u + w = -15. Let a be 9/6 + (-2)/u. Which is bigger: a or 4?
4
Let n = -0.8 + 1. Let y = n - -0.8. Let o = y - 0.9. Which is greater: 0.3 or o?
0.3
Let x(q) = -q + 1. Let g = 4 + -1. Let b = g - 5. Let t be x(b). Is 2 less than t?
True
Let d be (-17)/(-5) - 2/5. Let l be (2/3)/(d/9). Which is smaller: 1 or l?
1
Suppose -2*q + 2 = -0. Let y = -4 - -8. Let n be (y/3)/((-2)/6). Is q <= n?
False
Let l be (-183)/27 - 6/27