?
False
Suppose z = -v + 2 + 3, -4*z + 14 = 2*v. Let s(w) = -3*w**2 + 40*w + 19. Let i be s(14). Let u be 2/(1 - i/(-18)). Is v bigger than u?
False
Suppose -5*m - 3*c = 14459, 2*c - 2910 = 18*m - 17*m. Is 0 less than or equal to m?
False
Let l = 0.49 - 9.49. Let m = l + 9. Let o be -2 - (3 + (-186)/38). Is o >= m?
False
Suppose 4*l + b + 296 = -137, -3*l - 312 = 5*b. Is -323/3 at least l?
True
Let l(i) = 10644 - 7*i - 10444 - 3*i + 0*i. Let k be l(20). Let q = -1 - 0. Is q at least k?
False
Suppose 35*h - 28*h = -1477. Let w be -8*(2/(-7) - 1875/(-70)). Which is greater: w or h?
h
Let s be (-1447)/6 - (-255)/306. Is s at most as big as -240?
True
Let n be (2595/4325)/(-3*4/(-15)). Let c(s) = -s**2 - 5*s - 5. Let v be c(-4). Let q = -3 - v. Are q and n nonequal?
True
Let j be 4/(-5) - (112/35)/8*-18372. Is 7349 bigger than j?
True
Let m = 13.467 - 13.567. Do m and 234.2 have the same value?
False
Suppose -7*x = -2 - 19. Suppose 1 = -g + 4*y - 3*y, 2*g + x*y + 2 = 0. Is -1/4 less than g?
False
Suppose 354*y - 275*y = 1058284. Which is bigger: y or 13395?
y
Let z(n) = n - 1. Let l(v) = -v**2 + 6*v - 13. Let t be l(4). Let q be z(t). Let a be (-102)/45 + 4 + 26/q. Which is greater: a or -4?
a
Let z(d) = -d + 8. Let f be z(5). Let o be f + 2 + 57/(-11). Is o at least 5?
False
Let m be -39 + 28860/741 + (-37)/19. Which is smaller: m or -270/11?
-270/11
Let f = 30994 + -31161. Let x = -135 - 31. Which is smaller: f or x?
f
Let f be (-4)/((-96)/39) - (-36)/(-24). Which is bigger: f or 45.9?
45.9
Suppose 4*z = -17 + 241. Suppose 0 = -a - 0*a - z. Let k be 4/(-14) - (-348)/a. Which is smaller: k or -8?
-8
Suppose 2*a + 56 - 2 = 0. Let x(d) = -279*d + 1647. Let w be x(6). Is a < w?
False
Let c = -202 - -206. Let a be (-14)/(-7) + (-1 - (c - 1)). Is a less than -27/13?
False
Let p be (3 + -1)*(-16)/96*6. Is 15 < p?
False
Let s = 5214.6 - 5205. Which is smaller: -0.09 or s?
-0.09
Let a be (1/(-1))/(-7 - 1180/(-170)). Let g be 166/6 - 11/(-33). Let n be (-7)/(g/(-8)) - -13. Is a != n?
True
Suppose -3*n + 4*n = 3. Let u(r) be the third derivative of -r**5/60 + r**4/4 + 5*r**3 - 17*r**2. Let y be u(9). Is y less than n?
False
Let o = 8 - -15. Suppose 3*t - 63 = 3*p, -3*t - 5*p + 14 + 49 = 0. Let i = o - t. Which is greater: 8/11 or i?
i
Suppose 0 = -0*w + 3*w + 324. Let x be (-4)/18 - 6/w*346. Let f = 20 - x. Which is smaller: 1/19 or f?
1/19
Let s = 0.48 - 0.508. Let w = -12.972 + s. Let i = w + 18. Which is bigger: i or 1/3?
i
Let n = 1449 + -706. Let j = -634 + n. Is 106 less than j?
True
Let p(i) = -22*i - 34. Suppose 11*z - 136 = -37. Let j be p(z). Is -232 equal to j?
True
Let s be (-2 - -812)/(6/18*11 - 3). Is s at most as big as 1214?
False
Suppose 3*b - 12 = -2*a - 11, -4*b = a + 2. Let l be (a/(-10)*0)/(-2). Are l and 2/141 unequal?
True
Let i = -0.01 + -7.99. Let k = i - -8.06. Let l = 3468.1 + -3469.1. Which is greater: k or l?
k
Let n(c) = 9*c**2 - 6*c - 14. Let f(p) = -8*p**2 + 5*p + 13. Let r(m) = -4*f(m) - 3*n(m). Let w be r(-2). Let y be ((-21)/w*-2)/(1/(-13)). Is y >= -39?
True
Let m = -4804 + 3951. Is m greater than -854?
True
Let v = 2/3641 + -7684/731841. Let t be 44/66*(2 - -4). Suppose -18*o - 14 = t. Is o less than v?
True
Let m(r) = r**3 + 12*r**2 - r - 24. Let a be m(-12). Let t be ((-3)/a - 0)*52. Let o(d) = d**2 - 14*d + 5. Let v be o(t). Which is bigger: v or 0.6?
0.6
Let d(c) = -914*c - 3644. Let x be d(-4). Which is greater: -107/5 or x?
x
Let t be 3 - -73*(-3 + 2). Let a = t + 74. Suppose a*o = 4*c + 8, 0*c = 3*o + 3*c + 6. Which is smaller: -12/13 or o?
-12/13
Let d be (-28)/222*(10*(-3)/42 + -1). Which is bigger: d or 0?
d
Let w = 41.7739 - 41.8. Let f = 0.0539 - w. Is -10 bigger than f?
False
Let k be 75*8/(-2 - 22). Let d(u) = -2*u**3 - 49*u**2 + 25*u - 12. Let f be d(k). Is -6 less than f?
False
Suppose -5*s = 5*v + 510, 21*v + 2*s = 22*v + 105. Let r = v - -105. Let n = 2 + 1. Is r not equal to n?
True
Let b(s) = 3*s - 2. Let j be b(3). Let h = 139 - 104. Suppose -5*a = -4*a - 5, 5*d - a - h = 0. Does j = d?
False
Let m be (-14)/49 - (-299)/(-7). Let x(a) = a**3 - 23*a**2 - 89*a + 244. Let c be x(26). Which is bigger: c or m?
c
Let c(h) be the third derivative of h**4/24 - h**3 - 8*h**2. Let z be c(6). Let u = 134 - 1609/12. Does z = u?
False
Let d = -0.039 + 192.039. Let s = -195 + d. Is 2 <= s?
False
Let z = 0.622 - 409.622. Let t = 408 + z. Which is smaller: t or 0.19?
t
Let m = 0 - -895. Let k = -879 + m. Is k less than 23?
True
Suppose -2*z = 19*z - 42. Suppose y + 0*t + t = 3, -z*t + 4 = 0. Which is greater: y or -1/477?
y
Suppose -2*b = -3*n + 34, b = -7*n + 5*n - 10. Let u be (-51)/((-25)/14 - 4/b). Is 38 != u?
True
Suppose 3*b - 59 = -5*r + 7, 3*r = 2*b - 25. Suppose -115 = 12*q - b*q. Suppose 6*y - 20 = 5*y + 4*h, 3*h - q = -4*y. Is 10 >= y?
True
Let z = 19 - 4. Suppose 0 = 2*l + v - 35, -27*l - 3*v = -22*l - 85. Which is bigger: l or z?
l
Suppose -2*q + 3*j = 77, -4*q - 2*j - 124 = 6. Let p be (106/(-32))/((-221)/q). Let t = p + 5/13. Is t < -1?
False
Let r = -11 + 10. Let m be 7/r + 8 - 15*3. Let p = -46 - m. Is p greater than -6/5?
False
Let s be (4/(-21))/(6660/(-70)). Which is smaller: 1 or s?
s
Let z be (-22)/(-44) - ((-3)/2 - -1). Let f be 2 + 2 + (-4 - (0 - z)). Is f at least 4/63?
True
Let f = 3689.9 - 3690. Let m = -450 + 221. Which is greater: m or f?
f
Let u = 515 - 522. Let n be u/((-4)/(193 - 5)). Do 329 and n have the same value?
True
Let w = -242.8 + 256. Let a = 10.2 - w. Which is greater: 2 or a?
2
Let q be 2/2*3/(-3). Let p be 3/(q + 2 - (-210)/(-455)). Is 7 at most p?
False
Let z = 29311.9 - 29312. Which is bigger: 24222 or z?
24222
Let d(j) = 6*j - 25. Let u be d(3). Let i be u + 5 + 43 - -1. Is i less than 40?
False
Suppose -4*u + 376 = -4*s, 37 - 519 = 5*s + u. Let i = s + 102. Suppose 2*g - 3*g = -i. Is 11 >= g?
True
Let n be (-28523)/4741 + 5 + 1. Are n and -1 equal?
False
Suppose 3*k - 2 + 5 = 0, -2*i = -3*k + 2891. Does -1 = i?
False
Suppose 0 = -4*u - 17 - 43. Suppose -v - 76*q - 25 = -81*q, 5*v = -5*q - 35. Is v bigger than u?
True
Let s = -237 - -2135/9. Let x(y) = -4*y**3 - 33*y**2 - 9*y - 6. Let w be x(-8). Suppose -w*t + t = f + 3, 5*t + f = -7. Which is bigger: t or s?
s
Suppose 0 = -19*u + 529 + 133 + 478. Are u and 35 equal?
False
Let x(l) = -l**3 - 6*l**2 + 55*l - 39. Let b be x(7). Is -290 >= b?
True
Let g(l) = l**3 - 17*l**2 - 6*l - 8. Let m be g(18). Let k be ((-14)/35)/(2*(-1)/m). Which is smaller: 41 or k?
41
Suppose 3596 = -15*w + 896. Let d = -170 - w. Which is bigger: 44/5 or d?
d
Suppose 95*r - 119*r = -456. Suppose -r*j - 72 = 175. Are -7 and j equal?
False
Let u = -55.624 + -2.376. Which is bigger: u or 5?
5
Let o = -25.7 + 113.7. Let p = -87.1 + o. Which is greater: p or 0.2?
p
Suppose -39 = -p - 18. Suppose 20 = -n + 3*c, -5*n + 2*c = p + 14. Let u be -1 + 7 - 3 - n/(-2). Which is bigger: 9 or u?
9
Let u be 26954/486*13 - 6. Let l = u - 715. Which is smaller: l or -1?
-1
Let s(w) be the third derivative of -13*w**4/24 - 31*w**3/6 + 26*w**2. Let t be s(-10). Let r be (-22)/t - 886/(-18). Which is greater: r or -0.1?
r
Let s = 43 + -37. Suppose -s*m - 7 = m. Let i = 8/21 + -2/7. Is m < i?
True
Let a be (-606)/(-101) - -2214*1. Which is smaller: a or 2221?
a
Let d = 5220 + -5219. Is d less than -19/101?
False
Let q = 100697 - 960246593/9536. Let s = 753335/85824 - q. Let h = -9 + s. Which is greater: h or 1?
1
Let b = 201 + -134. Suppose -20 = -62*v + b*v. Does 2 = v?
False
Let l be (-50)/15*(4 + 2). Let o(w) = w**2 + 12*w - 1. Let f be o(4). Suppose f = -x - 2*x. Which is bigger: l or x?
l
Suppose 29973 - 4351 = 13*r - 3589. Is 2246 less than or equal to r?
True
Let a(n) = n**2 - n - 72. Let i be a(9). Suppose c = -s + 12, -2*s + 27 = -i*s - c. Which is greater: s or -3?
s
Let t(d) = 1920*d + 3*d**2 - d**3 + 13*d**2 + 38 - 1906*d. Let h be t(17). Which is greater: -72/5 or h?
h
Let f = -15.434 + 15.564. Which is smaller: 138 or f?
f
Let u be (-964017)/(-68859) - (12 + 2). Does 0 = u?
False
Suppose 902 = 4*m - 170. Suppose 5*d + 243 = m. Is d less than 54/13?
False
Let y = -10556 + 10620.33. Let a = y - 64. Let f be (156/40 + -4)*(-4 - 0). Is f < a?
False
Let r = -4627 - -15808. Are 11181 and r equal?
True
Let k be -2 + 5 + 7/((-21)/117). Let q be ((-4)/(-15))