-25. Suppose y = 3*v + 16 - 13. Which is smaller: 5 or v?
v
Suppose 0 = 3*t - 1 - 2. Suppose 2*p = t + 11. Let b = -7 + p. Is 2/35 greater than or equal to b?
True
Let v be (-3090)/765 - (-4 - 0). Let n = 20/357 - v. Which is bigger: n or 1?
1
Let a = -0.9 + -0.1. Let u be (-4*6/(-4))/(6/8). Suppose 0*j - u = -2*j - l, -3 = j - 3*l. Which is bigger: j or a?
j
Let d = 1264627/2715 - 2329/5. Which is greater: -1 or d?
d
Let j(q) = -3*q + 23. Let y be j(7). Let t be 416/24 - y/6. Is t at most as big as 16?
False
Let w be -1 + 0/((-8)/2 - -5). Which is bigger: -3/8 or w?
-3/8
Let y = 10 + -131. Is y less than -122?
False
Let n = 52/21 - 395/168. Are n and 132 non-equal?
True
Let k(x) = -x - 3. Suppose 3*s + s + 20 = 0. Let p be k(s). Let v be (-4)/(0 - 6/p). Is v <= 0?
False
Let k be ((-56)/(-21))/(2/(-426)). Let r be (-2)/(-5) + k/(-230) + -3. Which is smaller: 0 or r?
r
Let w = 31 + -66. Let u be 13/(-45) + -2 + (-84)/w. Is 0.1 >= u?
False
Let c be (-3872)/(-9) - (-20)/(-90). Suppose -a + c = 5*t + 2*a, 2*t - a = 172. Which is smaller: t or 87?
t
Suppose 5*c - 5 = -4*j, -4*j + 1 = 4*c - 3. Let t be (-2)/2 - 175/(-5) - c. Which is smaller: 32 or t?
32
Let a be (-571785)/630 + (-7)/(-6) + -1. Let v = 905 + a. Is v less than or equal to -3?
False
Let q(y) = y**3 + 7*y**2 + 1. Let r be q(-7). Suppose 0 = -5*b - r + 26. Let v = b + -4. Which is smaller: 8 or v?
v
Let o(s) = -s - 4. Let v be o(-4). Let a(l) = -2*l**3 - 2*l**2 - 3*l - 2. Let b be a(-2). Let r be 92/147 + b/(-18). Is r bigger than v?
False
Let x = 44152/27 - 1635. Is x smaller than -1?
False
Let p = -2210 + 2295. Which is smaller: p or 79?
79
Let q = 55 + -55. Let d be (4 - 6)/(2 - q). Let f be (-4 + 0)*10/48. Which is smaller: f or d?
d
Let d(z) = -z**2 - 8*z - 4. Let v be d(-6). Suppose 5*b + 7 = -v. Let f be (3/(-2))/(0 - b). Which is greater: f or -0.1?
-0.1
Let d = 9 + -8.2. Let o = -1227 - -1228. Is o greater than or equal to d?
True
Let p(h) = -h**2 + 8*h + 1. Let d be p(8). Let w be (-14)/(-6)*474/20461. Which is smaller: w or d?
w
Let p = -24.9 - -22.97. Let m = p - -5.97. Let z = -4 + m. Is 1/2 < z?
False
Let f be 2*((-9)/(-1))/12564. Which is bigger: f or 1?
1
Let j be (-11 - (-2 + -10)) + (-422)/(-2). Which is bigger: 213 or j?
213
Let o(y) = y - 10. Let q be o(11). Suppose -2*m + n + 31 = 0, -m = -3*n - q - 2. Suppose -3*i = -i - m. Is 7 at least i?
False
Suppose -2*w + 4*f + 8 = 0, 5*f + 2 + 9 = 3*w. Let y(b) = 2*b**2 - b - 1. Let s be y(w). Suppose -7*a + 2*a = s*p, 3*p - 4*a = 7. Is p equal to -6/17?
False
Let v = -973 - -1406. Are 434 and v equal?
False
Let v = 0.033 - 25.033. Let h = v - -27.4. Let o = -2.2 + h. Is o smaller than 0.2?
False
Let f = -335 - -2009/6. Which is bigger: 0.37 or f?
0.37
Suppose 1302 = 4*h + 2*k, 5*k + 1414 - 147 = 4*h. Is 322 at least h?
False
Let i = -102.2 + -853.8. Which is smaller: -1 or i?
i
Let g = -115 - -163. Let m = -1533/32 + g. Is 0 less than or equal to m?
True
Let d(c) = 9*c**2 + 53*c - 12. Let r be d(-6). Let l = 6 + -11. Is r smaller than l?
True
Let h = 0.68 - -0.21. Let d = h + 0.11. Which is smaller: d or 30?
d
Let v be (7/(-49))/((-9)/(-21))*-3. Is v equal to -4/857?
False
Suppose a - 4 = 4*t, -4*a - 2*t + 17 + 35 = 0. Let n = a - 18. Is n greater than -6?
False
Let h = 2 + -1.5. Let x = 0 - h. Let w = x + 0.4. Which is smaller: w or -3/2?
-3/2
Let d be 3/(3/5)*(-7 - 1). Let f be 60/d + ((-162)/(-140))/1. Which is bigger: -1 or f?
f
Let j(g) = 6*g - 66. Let b be j(12). Let d = b - 6. Is d > 9?
False
Let i = 6.4 + -6. Let a = 0.03224 - -0.16776. Which is smaller: i or a?
a
Let f(x) = 52*x + 1038. Let l be f(-20). Does -26 = l?
False
Let i = -0.85 + -0.05. Let n = i - -1. Let m = 11.98 - 12. Is n not equal to m?
True
Suppose -3*y = -5*c - 9, -2*c + 4*y = y + 9. Suppose 0 = -3*p + 4*x, -4*p - 8*x + 3*x = c. Is p less than -3/4?
False
Let a = 29603/29 + -1021. Suppose 19*d + 7*d = 11*d. Which is greater: a or d?
d
Let l(f) = f**3 - 12*f**2 + 3*f - 15. Let c be l(12). Is 83/4 bigger than c?
False
Let q = 9 - 5. Let c be (-22)/(-77) - q/14. Suppose c = 5*n - o - 5, -n - o = -2*o - 1. Is -1/3 less than or equal to n?
True
Let z(i) = i + 9. Let s be z(-6). Let t = s + -2. Which is bigger: 0 or t?
t
Let u = -535 - -534.5. Is u greater than -0.3?
False
Let a = -317992/25 + 12718. Is -3 < a?
True
Let q be 3*1 - 0/(-5). Let p = -7 + q. Let i = 4 + p. Is -3/7 at least i?
False
Let g = 0.2 - -0.1. Let m = g + -0.2. Let n = -3261/10 - -326. Is m not equal to n?
True
Let o = -214 + 212. Which is smaller: o or -31?
-31
Suppose 10*k - 4*k = 252. Let g = k - 111. Which is smaller: -70 or g?
-70
Let r be (-4*(-3)/8)/((-8)/80). Are r and -15 nonequal?
False
Suppose -x - 9 = d + 4, -2*x = 4*d + 48. Suppose 4*f - 9 - 3 = 0. Suppose 0 = -f*r + 2*r - 12. Is d at most r?
False
Let t be (2/6)/((-10)/3). Let w = 16 - 11. Let b = -5 + w. Which is greater: t or b?
b
Let c(q) = -q**2 - 9*q + 15. Let s be c(6). Let g = -75 - s. Which is bigger: g or 6?
6
Let w = -158.14 + 158. Let u = 5 - 4.9. Is w less than or equal to u?
True
Suppose -84*b + 1116 = -78*b. Which is bigger: b or 185?
b
Let p be (-48)/(-8)*4/(-6). Let v be 0 + 33/4 - (-1)/p. Is v > 22/3?
True
Suppose 472 = 26*y - 22*y. Let o = y - 120. Is o > -17?
True
Let a = 0.017 + 20.983. Let h = 0.021 - 20.921. Let g = h + a. Which is bigger: 0.09 or g?
g
Let h = 43.2 - 70. Let c = 27 + h. Let a(d) = d**2 - 3*d + 4. Let z be a(4). Is c at most z?
True
Let g be 298/5 + 18/45. Let i = g - 61. Which is bigger: 1/60 or i?
1/60
Let t = -3 - 2. Let h(s) = s - 4. Let i be h(7). Which is greater: i or t?
i
Suppose 4*u = 4*w - 1972, 2*u + 167 = 4*w - 1809. Let n be (-10)/(-55) - (-24231)/w. Let r = n + -49. Which is greater: -2 or r?
r
Let v = -86.842 + 87. Let l = v + -0.119. Is 0 at most as big as l?
True
Suppose -28*j + 57 = -85*j. Which is bigger: 10/283 or j?
10/283
Suppose 5*s = -3*w + 15, 6 = w - 3*w + 2*s. Which is greater: w or 1/125?
1/125
Let d(w) = -9*w - 4 + 3*w - 5*w - 10. Let x be d(-11). Let q = -748/7 + x. Which is smaller: q or -1?
-1
Let w = -91/228 - -5/76. Is w smaller than 2/225?
True
Let t be 2/6 - 61/12. Let d be 1/((-3)/(-9) + 20/(-78)). Suppose -3 = -r + 3*p + 4, 5*r - 3*p = -d. Which is bigger: r or t?
t
Let w = 474 - 14698/31. Which is bigger: 0 or w?
0
Let x = -0.032 - -54.032. Let q = x + -54.09. Which is smaller: q or -1/3?
-1/3
Let z = 1.71 + -1.87. Let m = 4.4 - 4.5. Does m = z?
False
Let c = -930/29 - 949/116. Let i = -42 - c. Which is smaller: i or -3?
-3
Let u(l) = 8*l - 22. Let a(z) = -4*z + 11. Let k(h) = 7*a(h) + 4*u(h). Let m be k(-5). Let p = -32 - m. Which is smaller: p or 3?
p
Let q be -3 + (-10 - -7)/(-1). Which is bigger: -6/157 or q?
q
Suppose -4*f = -10 + 2, 5*f + 22 = -2*z. Which is smaller: -28 or z?
-28
Let p be -6 - ((-132)/30 + 2/5). Which is smaller: p or 0.1?
p
Suppose -f + 0*f - 2 = 0. Suppose 3*i = -4*u + 33, 3*i - u - 12 = 2*u. Let m(o) = -o**3 + 6*o**2 + 6*o + 7. Let s be m(i). Do f and s have different values?
True
Let y = -0.98 - 12.82. Let s = -4.2 + y. Let j = -20 - s. Which is smaller: 0 or j?
j
Let y(k) = 3*k**2 - 48*k - 11. Let x be y(16). Let c(h) = h**3 + h**2 - h + 2. Let w be c(0). Suppose -5*i = -w*s - s + 48, 5*i = 4*s - 44. Is x > i?
True
Let z(u) = -u**3 + 8*u**2 - 10*u + 9. Let a be z(6). Let f be a/308 - (-4)/22. Let d = 4 - -4. Is f at most as big as d?
True
Let z = -194 - -290. Suppose -2*u - 5*x = -172, -3*u + 4*u + 5*x = z. Let t be u/(-14) - (-5 - -1). Which is smaller: t or -2?
-2
Let n be (2 + -7)/(7 + -8). Suppose -n*u - 18 = -0*u - 4*l, -2*u + 2*l = 8. Let v be (-1)/((-6)/4 + u). Is 3/7 at most v?
False
Suppose 0 = -31*o + 32*o - 1. Which is smaller: o or 1/741?
1/741
Suppose -2*t = 6*t - 80. Let w be (t/(-4))/((-10)/8). Is 4 less than or equal to w?
False
Let r be ((-18)/(-6) - 8) + 5. Is -1/6 greater than r?
False
Let y = 2.17 + -8.11. Let p = 6 + y. Let q = 1/24 + 43/120. Are q and p equal?
False
Let c = 0 + 2. Let d be (-1160)/15*(1 + c). Let q be (-2)/4 - 132/d. Is q >= -1?
True
Let m(z) = -z**3 - 2 + 2 - 7*z**2 + 2 - 15*z. Let o be m(-4). Which is bigger: o or 29/2?
29/2
Suppose 0 = 3*a + a. Let u be 2 + 0 + a + 4. Let f be u/(-12) + (2 - 1). Is f smaller than 6?
True
Let i = -0.52 + -33.48. Let g = -31 - i. Are -0.0