(-10)*5/(-6). Which is bigger: -4 or c?
c
Let z = 5 + -4.4. Let v be (8/(-6))/(28/(-6)). Is z equal to v?
False
Let a = 0.3 - 0.4. Let u = -1.84 + 0.9. Let o = -0.06 + u. Is a bigger than o?
True
Suppose 2*b = -5*w + 29, -4*b - b + 5*w = 15. Let t = 352/295 - -2/295. Which is smaller: t or b?
t
Let j = -20495/7 - -2939. Which is smaller: j or 10?
10
Suppose n = 3 - 4. Let w = 1 - 2. Is n bigger than w?
False
Suppose 4*w + 0*i = -2*i, -3*w - 1 = 2*i. Let n(l) = -l**2 - l + 1. Suppose 2*x - k = -2, 0 = x + k - 5. Let z be n(x). Which is greater: w or z?
w
Let m be (-624)/(-120) - (4 - 0). Which is smaller: m or 0?
0
Let k = 374 + -6360/17. Is k <= -0.2?
False
Let f be (-13)/(-104) - 9/(-56). Which is greater: f or -3/2?
f
Suppose -5*s = 5*l - 2*s - 88, -3*s = 3*l - 54. Is l > 17?
False
Let d(k) = -4*k + 10. Let h(a) = -a + 1. Let i(u) = d(u) - 3*h(u). Let v be i(4). Is v at least as big as 2?
True
Suppose -9*r + 10*r + 5*d - 63 = 0, -2*d = -3*r + 138. Is r not equal to 50?
True
Suppose 0 = -2*z + z - 4*f + 286, -2*z = -4*f - 572. Let n = 3144/11 - z. Which is greater: 2 or n?
2
Let t = 0.2 - 0.3. Let d(i) = -i**3 - 8*i**2 - 7*i - 2. Let l be d(-7). Let f = 2 + l. Which is greater: f or t?
f
Let m = 7/3 - 25/12. Let g(l) = -l**3 - 2*l**2 - l. Let r be g(-2). Let u be (-1 - -4) + -5 + r. Is m greater than u?
True
Let n = 19 + -23. Do n and -14/5 have the same value?
False
Let a = 71 + -70. Is 5/4 bigger than a?
True
Let f = 4.1 - 0.1. Let q = -3.9 + f. Is 2 at most as big as q?
False
Let i be (-108)/20 - 2/(-5). Let l = -6 - i. Let u be -1*11/(-10) + -1. Is u > l?
True
Let g = -30.08 + 30. Is 2 bigger than g?
True
Suppose -4*t = -8 - 16. Let r be (0 + (-140)/t)/(-2). Let x = r + -34/3. Is -1 less than x?
True
Suppose 0 = -8*b + 9*b - 4. Suppose -3*m = 15, -4 - 14 = -d + b*m. Is -4 less than d?
True
Let l be (-4)/(-14) - (-5 + 862/126). Are -2 and l nonequal?
True
Suppose 0 = 3*o - 12*o + 54. Is 16/3 >= o?
False
Let d(p) = 4*p - 2. Let w be d(2). Suppose 0 = 2*f - w + 2. Let l be (-2 + 10/4)*8. Which is smaller: l or f?
f
Suppose -a = -s - 11, -4*a + 12 = -a. Which is smaller: s or -8?
-8
Let u = -15 + 15. Let b(c) = 13*c**2 - 25*c - 9. Let w(y) = 3*y**2 - 6*y - 2. Let g(r) = 2*b(r) - 9*w(r). Let f be g(4). Is f < u?
False
Suppose 3*f + 0*f - 4*f = 0. Which is smaller: f or -7/13?
-7/13
Let r = -45 - -40. Is 0.2 < r?
False
Suppose 95*p + 6 = 89*p. Suppose 14 = 5*f + 4. Let x be ((3 - f) + -2)/7. Which is smaller: p or x?
p
Let f be -1*(5 + -9) + -3. Is f smaller than -2?
False
Suppose 3*v + 2*t - 5 - 8 = 0, 4*t = 4*v - 44. Do v and 1 have the same value?
False
Let f = 59 - 20. Is 40 greater than f?
True
Let i = 4 + -2. Let x be 2/15*12/i. Which is smaller: 1 or x?
x
Let g be 45/(-18) + 323/130. Which is greater: 1 or g?
1
Let s = 56 + -1007/18. Which is greater: s or -1?
s
Let t = 43 + 10. Let v = 161/3 - t. Does 2 = v?
False
Let n(i) = -17*i - 2. Let t be n(4). Let f = -143/2 - t. Is -3 not equal to f?
True
Let t be (4/(-28))/((-1)/(-7)). Suppose y = 5*q - q - 21, 0 = -3*y - 4*q - 15. Let f = y + 6. Which is smaller: f or t?
f
Suppose 6*t = 2*t - 3*c + 4, 4*t - 12 = -c. Let g be t*1*(-2)/(-4). Which is smaller: 3 or g?
g
Let w = 19 - 19. Is -9 != w?
True
Let u = -0.5 + 0.3. Let l = -1685/1428 - 48/119. Let q = l - -5/4. Which is bigger: u or q?
u
Suppose -14 = -2*w - 2*y, -12*w - 2*y + 50 = -7*w. Is w at most 2?
False
Let z = 267 - 1063/4. Which is greater: z or 0?
z
Suppose 4*f - 3*f = -1, 72 = 5*a + 3*f. Suppose -6*g + a = -g. Which is bigger: g or 1?
g
Let k be ((-7)/((-280)/(-6)))/((-4)/(-30)). Which is smaller: 1 or k?
k
Let x be 28*(12/(-8) + 2). Let g = x - 16. Let s be (0 - 2)/(-2) - 2. Which is greater: s or g?
s
Let h(v) be the third derivative of -v**6/120 - v**5/5 - 11*v**4/24 - v**3/3 - v**2. Let m be h(-11). Let y be m/2 + (2 - 2). Which is greater: -3 or y?
y
Let y be 2/9 - 104/(-18). Suppose -2*w = -5*i + 30, -5*w + 25 = 3*i + 7. Is i at most y?
True
Let d be ((-65)/10)/((-369)/222). Let y = d - 10/41. Which is bigger: y or 5?
5
Let b(j) = 2*j + 5. Let m(o) = o**2 - 12*o - 7. Let h be m(12). Let p be b(h). Which is greater: -10 or p?
p
Let f = -4 - -3.2. Let l = 0.5 + f. Let h = 0.2 + l. Is h at least 0?
False
Suppose -2*t = 2*t - 4. Suppose -3*u + 3 = 0, -2*k - 2*k = 2*u - 10. Let m = k - 2. Is t > m?
True
Let x = -54 - -48. Does -28/5 = x?
False
Suppose 0 = 5*j - u + 8, -3*u + 0*u = -3*j. Let x = -141/259 + -1/37. Does x = j?
False
Let u = -12 + 6. Let t = -3 - u. Let j = t - 3. Is -1/5 smaller than j?
True
Suppose 6 = -5*d + 21. Suppose -8*x = -d*x - 5. Which is bigger: 2 or x?
2
Let h = -0.04 + -13.96. Let b = 13 + h. Let d = 2.2 + -2. Which is greater: d or b?
d
Let y be ((-2)/5)/((-1)/(-545)). Let b = -2400/11 - y. Suppose -2*g + 3*g - 3 = 5*w, 4*g = -3*w - 11. Is w < b?
True
Let q be (-3)/(-5*(0 - 1)). Suppose -5*c + 27 = z, 5*c = 2*z + 2*z + 17. Suppose 0 = -h + z*h + 1. Which is bigger: h or q?
q
Let i be (-4)/(-6) + (-4)/42. Let g = -0.2 - -0.4. Let j = g - 0.1. Is i less than or equal to j?
False
Let j = 0.18 - -0.42. Let t = j + -0.6. Is t at most as big as 0?
True
Let z = -10 - -23. Suppose 0 = -o + 5*x - 3 + 13, -18 = o + 2*x. Let d = o + z. Is d equal to 1?
False
Suppose 0 = 2*b - 4*y - 8, 9*y - 4*y - 12 = -3*b. Let m = 5 + b. Which is smaller: 7 or m?
7
Let v = -7 + 5.3. Let u = v + -0.3. Is u >= 0.6?
False
Let f = 1 + 2. Let q be 2/((-26)/(-8) - f). Is q <= 8?
True
Let n = 605/4 - 153. Let d = -2 - n. Let r = -2/3 - -7/6. Is r smaller than d?
False
Let a = 0.2 - 0. Let k = -0.4 + a. Let b = 0.12 + 1.88. Which is greater: b or k?
b
Suppose 5*j = -0*j - 75. Is j smaller than -15?
False
Suppose -278 = -5*c - l, 2*l + l - 174 = -3*c. Which is smaller: c or 56?
c
Let r = -2/825 - 1094/2475. Let k(l) = 6*l**2 + 2*l + 1. Let c be k(-1). Suppose -h - 5*m - 25 = 0, -c = -h - 2*m + 3*m. Which is smaller: h or r?
r
Let m(p) = -p**2 + 2*p + 1. Let b be m(2). Let l be (-4)/(-6) - 175/195. Do b and l have different values?
True
Let s = -6 + 6.4. Let g = 85 - 423/5. Is s bigger than g?
False
Let i = 13 - 8. Suppose -i*c + 5*x = 6*x - 10, -16 = -2*c + 2*x. Let s(n) = -n + 7. Let g be s(5). Is g at least c?
False
Let g = 0.1 + 2.5. Let u = -1.6 + g. Let t(p) = -p**3 - p**2 + 4*p - 1. Let c be t(-3). Which is smaller: c or u?
u
Let k = 103 + -114. Do k and -10 have the same value?
False
Let w = -1.1 - -3.1. Is -0.4 at least w?
False
Let q be (-9)/(36/16) + 8. Which is greater: q or 10?
10
Suppose -5*d - 4 = -d. Let f(i) = i**2 - 7*i - 1. Let q be f(7). Let w = d - q. Which is greater: w or 2/17?
2/17
Let j(b) = -b**3 + b + 4. Let v be j(0). Suppose 9*g - 1 = v*g - q, 0 = -q + 1. Suppose -3*w = 4*i + 5, 2*w - 3*i = 2*i + 12. Is w at most g?
False
Let l = -8 + 8.5. Let r = -3.174 - -0.074. Let c = -3 - r. Are l and c unequal?
True
Suppose 5*n + 45 = 2*n. Let q = -15 - n. Which is greater: 1/2 or q?
1/2
Let u(f) = -2*f + 2*f**3 - 1 - 3*f**2 + 3*f + 2*f**2. Suppose -5*h + 5 = -0. Let k be u(h). Is k equal to 2?
False
Let l be ((-9)/(-2))/(-3) - 630/(-84). Which is smaller: l or 1?
1
Let b be (-17)/4 - (-4 - (-57)/12). Is -10 <= b?
True
Let q = 29 - 25. Is q >= 2/7?
True
Let l(r) = 5*r**2 - 4*r + 3. Let n be l(3). Let o be n/(-40) + (-1)/(-2). Let c = 0 - 1. Which is greater: o or c?
o
Suppose o = 2*f + 14, 0 = -4*o - 3*f + 4 + 41. Is o > 12?
False
Let x = -17.4 + 16. Let a = x - -1.5. Do a and 0.1 have the same value?
True
Let m = -14 + 14.1. Which is bigger: 13 or m?
13
Suppose -12 = -y + 5*y, -s + 4*y = -12. Which is greater: 1/7 or s?
1/7
Let v = 34.17 - 34. Let l = -0.03 - v. Let i = 0.2 + l. Which is bigger: -2/5 or i?
i
Let d be 33/11 + 8/(-3). Suppose -12 = -4*x + 3*q + q, -6 = -2*x - 3*q. Suppose -2*t + x = 1. Does t = d?
False
Suppose -7 = i - 2*p + 3, -16 = 3*i + p. Let v be (-3)/2 - i/(-12). Which is smaller: v or -4?
-4
Let d be (-2)/8 - 17/(-4). Suppose 2*q - 14 = -d, -5*a = -4*q + 65. Let k be (-2)/a*(-1 - 0). Are -2 and k unequal?
True
Let q = 6 - 7. Let r be (-3)/(q - 2 - -2). Are 4 and r nonequal?
True
Let l = 23 + -26. Let x(k) = -8*k. Let t be x(1). Let c = -12 - t. Is l smaller than c?
False
Suppose 4*p = 8, -n + 2*n - 4*p = 137. Let d = -5756/31 + 112699/341. Let z = d - n. Which is greater: 0 or z?
0
Let d = 7