4. Which is greater: f or c?
c
Suppose k + 3*r - 25 = 0, 81 = k + 2*k + 3*r. Is 29 > k?
True
Let q(f) = f**3 + 5 - 4*f**2 + 6*f - 6*f. Let g be q(4). Let u be g/(-3) - (1 - 2). Which is greater: u or -2/5?
-2/5
Let l be (-1 - -18)*(0 - 1). Are -15 and l equal?
False
Let s = -9 - -9. Is 0.5 at least s?
True
Let v be (-4 - -1)*1/(-3). Let i be (-25)/15*v*3. Which is smaller: i or -4?
i
Let n = -6 + -2. Let o = n + 6. Suppose 0 = 5*u - 3*u + 8. Which is bigger: o or u?
o
Let o = -63 + 66. Is -2/29 bigger than o?
False
Let o = 13 + -11.6. Let c = -0.08 - 0.52. Let a = c - o. Which is bigger: a or 1?
1
Let o = 36 + -37. Is -3/13 at most o?
False
Let g = 1.2 + 2.8. Is g < 3?
False
Let z(a) be the third derivative of a**5/60 + a**4/4 + 2*a**3/3 - 3*a**2. Let x be z(-3). Is -5 bigger than x?
False
Let k be 96/42 + 2/(-7). Suppose 0 = -3*q + k*q + 3. Is 2 smaller than q?
True
Let u = 11 - 27. Let i be (-1)/5 - u/5. Let p be 2/i - (-31)/(-33). Which is bigger: 0 or p?
0
Suppose 2*q + 8 = -5*t, 4*q + 2*t + 3*t + 6 = 0. Suppose 9 = -i - 5*g + g, -21 = -5*i + 2*g. Do i and q have the same value?
False
Let r(m) = -2*m**2 - m + 7. Let a be r(5). Let u be 1 + (22 - (3 + -1)). Let i be -2*1 - a/u. Is 0 > i?
False
Suppose 14 = y + 4*d - 13, y - 4*d = -13. Let x be ((6288/y)/3)/(-2). Let l = -150 - x. Which is bigger: 0.2 or l?
0.2
Let o(f) = f + 8. Let a be -2 + (1 - 6) + -2. Let k be o(a). Let y be (3/(-4))/(5/10). Is k <= y?
False
Suppose -15*f - 6 = -18*f. Which is bigger: f or 8/7?
f
Let v = -4/323 + -2/19. Do -1 and v have different values?
True
Let g = -53 + 55.05. Let c = -0.17 - -0.22. Let p = g - c. Which is greater: p or 0.1?
p
Let t be -5 - 1992/(-546) - 3/(-7). Is t bigger than -1?
True
Let q be ((-33)/(-9) - 4)*0. Let x be q/(0 + -1 + -1). Which is smaller: x or 6/7?
x
Let w = 0.47 - -0.23. Which is smaller: w or 0?
0
Let h = -32 + 31.9. Is h at most as big as 0?
True
Suppose -5*a + 19 = -3*j - 16, -5*j + 15 = -a. Suppose -2*h = -2*y - 4, -5*h - 3*y = -y - a. Is h equal to 3?
False
Suppose -52 = i - 19. Is 0 less than or equal to i?
False
Let j be -10*(5/(-2) - -2). Let x be 2/j - 10/(-25). Which is bigger: x or 1?
1
Let a = 29 + -50. Let w = a - -103/5. Let d = 36.8 + -37. Is d <= w?
False
Let h = -4 + 6. Suppose -12 = 2*o + 2*o. Let w = o + 6. Which is smaller: w or h?
h
Let o = 11 - 8. Suppose 0 = y - 0*y + 3*s - 5, o*y + 7 = 2*s. Which is smaller: y or 0.03?
y
Let d = -80 - -80.04. Is -6 equal to d?
False
Suppose -4*o + 4 + 4 = 0. Are o and 0.3 equal?
False
Let x be (-5*(-3)/3)/(-3). Let p = x + 13/6. Is 2 < p?
False
Suppose -3*n - 32 - 10 = 0. Let v be (-9)/(-3) - n/(-4). Is v smaller than 2/3?
True
Suppose 2*y + 3*y = -5. Let w = 2 - 5. Let o be w + y + (-1)/(-1). Which is bigger: o or 2/5?
2/5
Let x(i) = -i**2 + 9*i + 2. Let r be x(8). Let g(z) = z**2 + 4*z + 2. Let n be g(-6). Let v = n - r. Which is smaller: v or 3?
3
Let w = 4 + -4. Suppose w*p + 15 = 5*p. Suppose -30 = p*t - 8*t. Which is bigger: t or 5?
t
Let g = 0.3 + -0.5. Let t = -4.37 + 4.2. Let p = 0.03 - t. Which is bigger: p or g?
p
Let o = 0.016 + -0.216. Which is bigger: 1 or o?
1
Suppose 2*q = -0*q - 4*j - 36, 51 = -3*q - 5*j. Are -5 and q equal?
False
Let b(q) = q - 1. Let o be b(3). Suppose -2*f - 5*g = f - 6, 4 = 2*f + o*g. Suppose -3*y = -5*y - f. Is y at least -1/5?
False
Suppose -9 = -3*s + 6*s. Let w(q) = q**2 + q - 3. Let r be w(s). Which is bigger: r or 4?
4
Suppose 0 = q - c, 0 = -q + 4*c - 8 - 1. Let m = -2 + q. Suppose -2*p = -w + m + 1, 3*w = -4*p - 4. Do w and 0 have different values?
False
Let p be (40/6)/((-12)/30). Which is bigger: -17 or p?
p
Let t be 1 - -1 - (-77063)/(-28). Let w = -2737 - t. Let k = 599/44 - w. Are 0 and k equal?
False
Let l = -1 - -1. Let k(r) = -r**3 + 8*r**2 + r - 7. Let c be k(8). Let w be (1 - 2) + 0/c. Is l less than w?
False
Let g(d) = -d**3 - 5*d**2 - 5*d. Let n be g(-4). Suppose 0 = -4*s + h + 19, n*h + 32 = 3*s + 2*s. Let v be (-1)/(2/(s/1)). Does -1 = v?
False
Let v = -0.1 + 0.1. Which is bigger: 8 or v?
8
Let m = 2.9 - 3. Let l = 8 + -8.2. Let f = l - m. Are f and 3 non-equal?
True
Let s = 300/287 + 4/41. Let m(r) = r**2 - r + 6. Let t be m(3). Let o = 14 - t. Are s and o unequal?
True
Let i = -9 + 19. Is 12 <= i?
False
Let z(n) = -7 - 3*n**3 + 2*n**2 + 4*n**3 - 8*n + 4*n**2. Let t be z(-7). Which is smaller: 2/5 or t?
t
Suppose -5*l = 4*z - 10, 4*z = 5*l - 8 + 38. Let k be (-6)/(-21) + 90/28. Let q = k + -4. Is l at least q?
False
Let x(m) = -2*m - 7. Let g be x(-3). Which is smaller: -2/19 or g?
g
Let h = -5.2 + 5. Let c = h - -0.2. Suppose -3*j + 9 = -2*l, 2*l + 4*j = -0*j + 12. Is l greater than c?
False
Let y = -2207/294 - -1/147. Are y and -7 nonequal?
True
Let p = -0.316 + 0.116. Is 2/5 != p?
True
Let h be 5496/180*(-2)/4. Let o = h - -68/5. Do -1 and o have different values?
True
Let p = -161/3 - -54. Which is smaller: p or 1?
p
Let c be -1 - 2 - (-825)/285. Is c at most 1?
True
Let d be (-24)/9*(-9)/3. Let g(k) = k**2 - 8*k + 1. Let s be g(d). Suppose -v + 2*v = s. Which is smaller: v or 0?
0
Let v = -3 + 1. Let a be (1 - -1) + -4 - 14. Let z = 13 + a. Which is bigger: v or z?
v
Suppose -u = -0 - 2. Suppose 0 = c - d, 5*c = c - u*d - 24. Let a(v) = -v**2 + 3*v + 7. Let y be a(5). Is y greater than c?
True
Let u = -17 + 16.99. Which is greater: 1/3 or u?
1/3
Let q be ((-2)/2 + -1)/(-1). Let t(v) = v - 2. Let b be t(9). Suppose 5*r - q*u = -13, b*r = 2*r + u - 9. Is 0 not equal to r?
True
Let u = -14 + 14.9. Let b = u - 0.8. Suppose 1 = 4*i + j - 4*j, -2 = 2*i - 4*j. Which is smaller: i or b?
b
Let x = -2 + 2. Suppose 1 = 2*u - 7. Suppose -t - 3*t + u*l = 16, -5*l + 10 = 0. Is x greater than t?
True
Let z = 618/5 - 124. Is -3 smaller than z?
True
Let m be 51/108 + (-6)/27. Which is smaller: m or -1?
-1
Suppose -4 = l, 0*v + 5*l = -v - 22. Let r = 3 + v. Let d be ((3 - 2) + r)/1. Are 2 and d unequal?
False
Let g(h) = -h**2 - 5*h + 4. Let p be g(-5). Suppose -4*x - 4 = 0, -4*x - 2 = -p*a + 2. Which is bigger: -0.02 or a?
a
Let b = 0.2 + -0.3. Let t = 0.2 - b. Let k = -17 + 19. Which is greater: k or t?
k
Let v(w) = -w**3 - w**2 - 7. Let m be v(0). Let h = 9 + -14. Let x = h - m. Is x at least as big as 0?
True
Let q(l) = l**2 - 7*l. Suppose -2*c + 2*m = -2, 4*m - m = 2*c + 1. Let p be q(c). Let u = p - -8. Which is smaller: u or -3?
u
Suppose z + 10 - 6 = 0. Let i be (z/(-18))/((-3)/(-9)). Which is smaller: 0 or i?
0
Suppose 5*v + 3*u = 3 + 1, -2*u = -6. Let z = -3 - v. Let i = 347/3 - 117. Which is bigger: z or i?
i
Let u = -294152/111 - -2650. Is u bigger than 1?
False
Let z be -4 + 2 + -1 + -1. Let p be (z/10)/(30/(-175)). Is p smaller than 3?
True
Let a be 0 - 6199/(-6) - 1. Let c = 1028 - a. Let o = c - -313/78. Which is greater: 0 or o?
0
Suppose 0*u = 3*u + 3*r + 24, 5*r + 36 = -4*u. Let c be (u/6)/((-2)/12). Let w = 6 - 2. Are w and c equal?
True
Suppose 5*i + 20 = 0, -m - 124 = -3*m + i. Does m = 61?
False
Suppose -y - 2*m = -4*y - 15, 3*m = 2*y + 5. Is y at least -7?
True
Let d = -4 - -6. Let x = 27 - d. Suppose 10 = 5*o + x, p - 2*o = 0. Which is bigger: -7 or p?
p
Suppose 3*j - 5*w - 14 = 0, 0*w = 5*j + w - 14. Suppose -6*k + 12 = -3*k. Is k bigger than j?
True
Let z = 0.2 - 0.4. Let s = -19.1 - -19. Which is bigger: z or s?
s
Let h = -6 + 6. Is -1 equal to h?
False
Let w = 100 - 151. Which is greater: 0.1 or w?
0.1
Suppose -a - 4*a - 2*w = 37, -4*a - w - 32 = 0. Let z be 5/(35/(-14)) + -7. Is z >= a?
True
Suppose q + 3*q = 32. Suppose -t = o + 3*t - q, 3 = 3*t. Is 11/3 bigger than o?
False
Let w(o) = -7*o - 2. Let p(h) = -8*h - 3. Let k(z) = 6*p(z) - 7*w(z). Suppose 2*b = 5*b - 3*l - 24, -5*l = 3*b. Let i be k(b). Does i = -1/9?
False
Let f be (-8)/2 - ((-7 - -4) + 0). Let u be (4/66)/((-1)/(-3)). Which is greater: u or f?
u
Let q(y) = -y**3 - 7*y**2 - 6*y - 7. Suppose -4*j = -7*j - 18. Let w be q(j). Is -6 at most w?
False
Let v = 69/40 + -17/8. Are 1/5 and v unequal?
True
Let p(t) = t**2 - 8*t + 5. Let z(v) = -2*v - 1. Let j = 2 - 6. Let a be z(j). Let h be p(a). Is -2 smaller than h?
False
Let r = 43 + -40. Is r equal to -1?
False
Suppose -28*j + 25*j + 24 = 0. Which is bigger: j or 7?
j
Let m = -12 + 23/2. Let s be (-1)/2*1*2. Which is smaller: m or s?
s
Suppose 2 = 16*h - 14*h. Is -3/13 greater than 