 4*k - 6 = 0. Let h(s) = k*s - s**2 + 4*s**2 + 4 - 7 - 2*s**2. Let v be h(-3). Are v and 0 nonequal?
False
Let s be 1*(-3)/4 - 6987/(-9348). Which is greater: s or 0?
0
Suppose 0 = -3*l, -2*v + 3*l = 5*l - 20. Let f be (-74)/(-6) - 20/v. Which is smaller: 9 or f?
9
Let p = 3 + -2. Suppose l - 54 - 32 = 0. Let j be l/56 + -1 + (-2)/8. Is p at least as big as j?
True
Let p(x) = -8*x**2 - 3*x - 4. Let k be p(-2). Is k at least -30?
True
Suppose 0*a + 3*a = 0. Let o(f) = f**3 - 14*f**2 - 5*f - 6. Let m be o(10). Let l = -4108/9 - m. Which is bigger: a or l?
a
Let x(b) = 4*b + 1. Let q = -15 + 16. Let o be x(q). Suppose -4 = 3*i - o*j + 9, j = 2*i + 4. Which is bigger: 0.09 or i?
0.09
Let j(g) = 7*g**2 - 67*g. Let v be j(10). Which is smaller: v or 28?
28
Let a = 446/273 - -3/91. Which is bigger: 2 or a?
2
Let b be (-8)/(-8) - -1*7. Suppose 0 = -3*k + b*k. Which is smaller: -4/19 or k?
-4/19
Let a(d) = -d**3 + 3*d**2 - 6*d + 3. Let g be a(4). Let o = 112/3 + g. Let l(v) = 2*v**3 - 3*v + 2. Let t be l(1). Is o bigger than t?
False
Let d = -88.7 - -1.7. Let m = 89 + d. Are m and 0 nonequal?
True
Let g = 151 - 103. Let c = -16 + g. Is c at least as big as -2?
True
Suppose 0 = -3*z + 191 - 29. Is z greater than 55?
False
Let l = 26.6 - 16.9. Let b = 1.3 + l. Let x = 17 - b. Is x at most as big as -1?
False
Let r(j) = j**2 - 18*j - 14. Let a be r(19). Suppose -2*i + a*i = -3. Which is greater: 1/5 or i?
1/5
Let x(l) = -l**2 - 16*l - 2. Let t be -20*(2 - (-11)/(165/(-18))). Let u be x(t). Is -11/10 >= u?
True
Let y be 4/((-4928)/1788)*(-1 - 3). Let m = 40/7 - y. Let z = -2 - -3. Are m and z nonequal?
True
Let k = -7 - -25. Suppose -x + 22 - k = 0. Suppose -8 = -0*o - o + u, x = -o + 5*u. Are 11 and o equal?
True
Suppose 5*m + 8 = 2*f + 45, f + 2*m + 5 = 0. Let c(d) = 2*d + 26. Let l be c(3). Let a be (l/20)/(4/(-30) + 0). Is a less than f?
True
Let q = 3/8 - -19/56. Is q greater than or equal to -5?
True
Let n be (-8)/(-2)*(-1 - 20/(-36)). Which is greater: n or -1?
-1
Let c be 10*3 + 4 - -3. Let d = 36 - c. Is d at least -1/7?
False
Let r = 3/134 + -143/402. Let w = 1934/7 - 277. Is r < w?
False
Suppose -2*u + 404 = 5*a, 232 = 2*u + 3*a - 164. Let z be -1 - 1 - u/(-88). Which is smaller: 0 or z?
0
Let g(r) = -2*r**2 + 6*r - 6. Let y be g(4). Let s be 27/2 + 7/y. Suppose -s = 5*f + 2. Is -3 >= f?
True
Let s(w) = 119*w - 39. Let v be s(6). Is v equal to 675?
True
Let s = 21282/2681 - 13599836/1739969. Let u be (-438)/(-154) - (1 - 2/(-1)). Let i = s + u. Which is smaller: 0 or i?
i
Let z(d) = 16*d + 663. Let i be z(-56). Is i smaller than -236?
False
Let i = -101 + 103. Let u be (2/60)/(i/((-2)/(-1))). Is u equal to -1?
False
Let x = -7.66 + 11.66. Is x < -144?
False
Suppose -39 = 4*g - 6*g - 3*s, -s + 41 = 3*g. Suppose -v + j + 15 = 0, 4*j - 9 = -v + 2*j. Which is bigger: v or g?
v
Let z(t) = t**3 - 6*t**2 + t - 7. Let i be z(6). Let f = i - 14. Is -15 > f?
False
Let d = -35 + 65. Suppose d*f - 8 = 32*f. Let l = -13 - -12. Does l = f?
False
Let c be ((-520)/(-90) + -6)*3. Is -0.61 equal to c?
False
Let v(u) = 2*u**2 - 4*u. Let b be v(-2). Let t be ((-2)/28)/((-4)/b). Let z be 2 - (-1)/(5/3). Which is smaller: t or z?
t
Suppose 0 = 2*q - 3*v, 4*q = 3*q + v + 1. Does q = 140?
False
Suppose h - 2*h = -6. Let p be 8*(9/6 + -1). Suppose -5*g + 24 = -i, 5*g = -p*i + i + 8. Which is smaller: g or h?
g
Let d = 73 + -73. Which is smaller: -12/31 or d?
-12/31
Suppose 540 = 3*d - 3*p, -5*p - 821 = -4*d - 98. Is d less than 178?
True
Suppose 4*t = 2*j - 10, -3*t = t. Let r(x) = -x**2 - 7*x + 2. Let k be r(-7). Suppose 0 = 3*a + k*a - 20. Which is greater: a or j?
j
Suppose 0 = -5*n + 2*n - 90. Let x be (3/40)/(36/n). Is x at most 0?
True
Let l be (608/(-60))/(3/(-30)). Let f = 106 - l. Which is greater: f or 6?
6
Let w be (-4902)/(-22) - 5/(275/(-10)). Do 223 and w have the same value?
True
Let l = 0.126 + 60.874. Let d = l + -49. Is d > 0.1?
True
Let k = 0.04 - 5.04. Let v = -6 - k. Let c = -65 - -64.7. Is c not equal to v?
True
Suppose 5*b + 48 + 277 = 0. Let z be 18268/b + 8/(-10). Let x = -282 - z. Which is greater: x or 0?
0
Let h = -2566 + 2565.98. Let c = 0 - 1. Which is smaller: h or c?
c
Let w = 445 + -280. Is 164 at least w?
False
Suppose 4*i - 5*x + 20 = 0, 10*i + 4*x - 16 = 14*i. Let p be ((6/(-4))/3)/((-28)/(-8)). Is i at least p?
True
Let z(b) = -2*b - 1. Let k be z(-1). Suppose -2*h + 36 = 2*r, 0 = 4*r + r - 3*h - 98. Suppose -r*u = -18*u. Which is greater: k or u?
k
Let m be (9/6 + 2)*2. Let t(w) = -w - 3*w + 4 + 5*w. Let p be t(m). Which is bigger: p or 12?
12
Let c = -0.687 + -17.313. Do c and 0.07 have the same value?
False
Suppose 4*n - 20 = 5*q, -n - q = -0*q + 4. Suppose d = -5*w - 17, -4*w = -n*d + 2*d + 16. Are d and -2 non-equal?
False
Let r = 0.06 - 3.06. Let k = -1.5 - r. Let g = 4.5 + k. Is 0.2 greater than g?
False
Let j(f) be the second derivative of 3*f**3 - 2*f**2 + 5*f. Let g be j(-10). Let z be g/(-48) - (-1)/6. Is 0.1 at most z?
True
Let l = 0.34 - 0.14. Suppose -5*a = 7 + 23. Let w be (-2)/a - 1/12. Is w bigger than l?
True
Let z(y) = -3*y**2 + 6*y**2 + 4*y - 2*y**2 + 6. Let q be z(-4). Suppose 0 = -18*j + 181 - 55. Which is smaller: j or q?
q
Let z be (-2)/6 - 14/(-6). Suppose -4*d = 21 - 13. Which is smaller: z or d?
d
Suppose -3*q - 3*l - 12 = 2*l, -2*l = -4*q - 16. Let c(y) = y**3 + 5*y**2 + y - 4. Let g be c(q). Which is smaller: g or 3?
3
Suppose -7*m - 84*m = 546. Does m = -12?
False
Let x be (-42)/(-105) + 1284/(-10). Let r = x + 121. Is r at most as big as -9?
False
Let f = -11/15 - -2/5. Let k(v) be the third derivative of v**6/120 - 2*v**5/15 + v**4/3 - 5*v**3/6 - v**2. Let t be k(7). Which is greater: f or t?
t
Suppose 0 = -2*s + 155 - 157. Which is greater: -11/5 or s?
s
Let t = 30.03 - 30. Let r = -0.07 - t. Which is greater: -4/9 or r?
r
Let y = -8.2 - 19.8. Let h = 26 + y. Which is smaller: h or 7?
h
Let t = 4 - 26. Let d = t - -12. Let w = d + 10.1. Is 0.1 bigger than w?
False
Let x(t) = t**3 - 10*t**2 - 4. Let r = -32 + 42. Let b be x(r). Which is smaller: -7 or b?
-7
Let z = 19 - 13. Suppose 0 = 2*s - 3*m - 0*m + 8, 5*m = 2*s + 16. Suppose -4*i = -t - 2, 5*t + 7*i - 40 = s*i. Is t smaller than z?
False
Suppose 5*g = -2*n + 16, 3*g + 11 = 4*g + 3*n. Is g greater than 228?
False
Let t = -105 - -841/8. Let x(a) = -a**2 + 7*a + 12. Let m be x(8). Suppose -4*n = 5*o - m*o + 5, 5 = -o. Which is smaller: n or t?
n
Suppose -372 = -6*f + 504. Are 145 and f non-equal?
True
Let g(s) = s**2 + 2*s - 8. Let a be g(-4). Suppose a = -h + i, 3*h - 9 = 4*h - 4*i. Let c be (-31)/h - 12/(-9). Which is greater: 0 or c?
0
Suppose -3*m - 4*x = -800, 260 + 538 = 3*m + 3*x. Suppose -5*a + 2*a - 5*g - 81 = 0, -5*a = -g + 163. Let y be a/m*1/4. Is y smaller than 0?
True
Let n(j) = 2*j - 16. Let r be n(8). Suppose 3*q + 0*q = r. Let d = 278/335 + -2/67. Which is smaller: d or q?
q
Let g be (-9 + 7)*(-31)/(-2). Does g = -24?
False
Let w = 11/10 - 8/5. Is w at most 0.037?
True
Suppose -2*q + 13 - 15 = 0, 5*y = -5*q - 90. Which is bigger: -6 or y?
-6
Let m be 2 - (-18)/(-8) - (-3)/(-4). Which is smaller: m or -3/163?
m
Let b be 5/((-160)/(-132)) + -4. Let x(w) = -w**3 - 17*w**2 + 17*w - 17. Let m be x(-18). Which is greater: b or m?
m
Let a be (-20)/(-90) - 74/9. Let z be ((-34)/a)/(-1) - -4. Is 1 greater than or equal to z?
True
Let c = -17243912 - -5947787370978/344921. Let g = -206635889/374239285 + c. Let a = 18/31 + g. Is -1 less than or equal to a?
True
Suppose 0 = -8*h + 5*h - 15. Suppose 19*s + 5*d = 15*s - 41, -2*s + 2 = -2*d. Is s at most h?
False
Let y = 0.0494 + 0.0506. Suppose -t = 3*t - 28. Is t at least y?
True
Suppose -12*q - 36 = -8*q. Let z be (6/(-8))/((-2)/(-8)). Let y be -8*(q/44)/z. Are -1 and y nonequal?
True
Let u(s) be the first derivative of -s**2/2 + 5*s - 17. Let p be u(4). Which is smaller: 1/25 or p?
1/25
Let h = -0.04259 + -0.05741. Let l = -0.8 - -0.66. Is h at most as big as l?
False
Let q = -121 - -113. Let z be q/20 + 58/70. Which is smaller: z or -2/5?
-2/5
Let w = -3853/15 - -257. Let o(u) = -u**3 + 5*u**2 - 1. Let l be o(5). Is w greater than l?
True
Suppose u - 198 = -5*u. Suppose 0 = -0*s + 2*s - 68. Is s less than u?
False
Let a be 201/386 - ((-13)/2 - -7). Which is smaller: 1 or a?
a
Let a = 273 