3. Let q be y(22). Let z be 0 + ((-1)/q*-1)/1. Is 0 <= z?
False
Let y = 12414 + -12409.31. Which is smaller: 2/9 or y?
2/9
Let i = 39.4 + -51. Let k = -11.2 - i. Let c = -19 - -11. Is c greater than or equal to k?
False
Let m(t) = 253*t - 180. Let i be m(49). Are 12218 and i unequal?
True
Suppose w + 6*z = 7*z + 36, -4*z = 5*w - 144. Let x be 38/1 + 2/(-2). Suppose w*g = x*g. Is g < 9/8?
True
Let y = 231026 + -231185. Suppose 0*z = 3*z + 477. Is y at most as big as z?
True
Let m(j) = -47*j - 13. Let y be m(9). Let n = y + 530. Is n at least 96?
False
Let c be (39/(-6))/(2 - (-23996)/(-1463)). Let w = 16/35 - c. Is -1 greater than or equal to w?
False
Let u = 5 + -2. Let f be (-105)/35*(-223)/u. Which is bigger: 224 or f?
224
Suppose -12*u = -1100 + 272. Suppose 5*r + 3*z = 345, -u = -r + z - 0*z. Let f = r + -69. Which is greater: 9 or f?
9
Let z = -435.14 + 10.14. Let a = z + 426. Which is smaller: 51 or a?
a
Suppose -389*j = -777*j - 1374173 + 6023965. Which is smaller: 11983 or j?
11983
Suppose g = -g + 4. Suppose -g*d = d + 3. Let l be 20/5 + -2 + 47/(-22). Does l = d?
False
Let t(a) = -a**3 + 4*a**2 + 13*a - 30. Let l be (-2)/5 - (141/(-15) + 4). Let x be t(l). Does 3 = x?
False
Let f = -46014.34 - -46014. Let n = -9 - -8.97. Is f at most as big as n?
True
Let g = -5762 + 5761.7. Which is bigger: g or -230?
g
Suppose 1084 = 3*z + 4*x + 2819, -x = 2*z + 1165. Let h = -605 - z. Which is bigger: h or -21?
h
Let m = -15 + -57. Let a be 195/m + 50/(-75). Which is smaller: a or -1?
a
Let w = 0.44 - -138.56. Which is bigger: 0 or w?
w
Let y = -17893 + 17854. Let n = -0.7 - -0.4. Let p = n + 0.2. Is y greater than p?
False
Suppose -8268*h + 7946*h - 5152 = 0. Let v = -5 - 8. Is v less than h?
False
Let h(y) = -y**3 + 26*y**2 - 25*y + 1. Let s be (-756)/(-27) - (2 + (-1)/(-1)). Let z be h(s). Let d be (8/(0 - -2))/14. Which is smaller: z or d?
d
Suppose -v - 3*v = -6*v - 2*v. Is v not equal to -4161?
True
Let y be (-18)/24 - (12/28)/(24/(-42)). Is -7/705 at least y?
False
Let q(u) = u**2 + 23*u + 34. Let t be q(-21). Let d = 1 + t. Let l be (-15)/d + 2 + -4. Is l >= -1?
True
Let d(s) = 20*s**2 + 781*s + 40. Let q be d(-39). Are 23/466 and q non-equal?
True
Suppose -33*l - 13480 = -15988. Are 1209/16 and l equal?
False
Let r(d) = -d. Let m(i) be the second derivative of -5*i**3/6 - i**2/2 + 6*i. Let j(p) = m(p) + r(p). Let u be j(-1). Is u at most as big as 9/2?
False
Suppose 0 = -47*a + 99599 + 263891 + 31357. Which is greater: a or 8400?
a
Suppose -2*i - 12 = 3*m, 4*m + m + 20 = 3*i. Suppose -5*l = -3*o + o - 6, i = 3*o + 9. Is l bigger than 2/133?
False
Let l be (1/(-1) + 30/50)*-10. Let c be l + (-39)/(-33) + 4/(-22). Suppose -c*s + s = -s. Which is bigger: 2 or s?
2
Let n(x) = -209*x + 2. Let q be n(0). Is q >= 0.0551?
True
Let g = 45 + -51. Let v be (-2)/42*3*18/g. Are v and -2/13 non-equal?
True
Let k be (-1)/(-1)*(-19 - -19). Suppose -42*q + 39*q + 9 = k. Suppose 0 = -7*r + 2*r + 25, z + q*r = 15. Do 1/6 and z have the same value?
False
Let d = 609 + -610. Do -3/130 and d have the same value?
False
Let f be (2 + -2 - 385)*12/(-30). Let j be ((-22)/f)/((-1)/7). Is j bigger than -2/737?
True
Let i(y) = 2*y**3 + 5*y**2 + 4*y + 1. Let h be i(-3). Let n be (6/(-5))/((-6)/h). Which is bigger: -5 or n?
n
Let r = 0.07755 + -5.52055. Let g = -0.043 - r. Which is bigger: 1 or g?
g
Let y = -8243/5 - -1643. Let s = y + 19/15. Let d = 2244 - 20198/9. Which is greater: d or s?
d
Suppose -29*x - 220 = -75. Let d be ((-20)/x)/(4 + -5). Let k = 7/94 - 625/188. Which is bigger: k or d?
k
Let j be (-3 + 3)/(-1) + 45. Suppose -2*x + 150 = -4*q, 2*q + 34 = 2*x - 38. Let t = q + j. Which is smaller: -4 or t?
-4
Let q = -30 - -31. Let l be 1 + (4 + 0)/2. Suppose -h + 2 = z + l, 2*h = -2. Are z and q non-equal?
True
Let b = 14 + -16.6. Let y = b - -2.567. Let f = y + -1.967. Which is bigger: 0.4 or f?
0.4
Let o be (-8)/(-10)*(-6 - -11). Suppose 0 = -o*d - 6*d - 5*d. Is -1 != d?
True
Let d(b) = -11*b**3 + 2*b + 7. Let c(z) = -23*z**3 + 4*z + 15. Let f(t) = -4*c(t) + 9*d(t). Let q be f(-1). Suppose q = 8*l + 8. Which is smaller: 2/35 or l?
l
Suppose -4*s - 964 + 339 = 5*h, 4*s - 407 = 3*h. Let o be (h/2)/((-297)/198). Is 37 <= o?
True
Suppose -15*b = -12*b - c - 47, 5*c + 70 = 4*b. Suppose 3*u - 2*g = 14, 3*g - 6*g = 2*u + 8. Suppose -v + 3 + 0 = 0, -u*x + 5*v = -17. Is x at least b?
True
Let m be 8/(2/(-2 - -3)). Let r be (-5)/(((-2)/m)/(13/(-26))). Let s be -2 + r/(-10)*-26. Is s not equal to -76/5?
True
Let w = 162 + -162. Suppose w*n + 4*r - 46 = -n, -254 = -4*n - 2*r. Which is greater: n or 67?
67
Let z = -209 + 209.2. Let b = -38 - -29. Which is smaller: b or z?
b
Let k = -8 - -12. Suppose 5*u = k*u + 5. Let d be 5/(u/(-1)) + 2. Which is smaller: d or 8/11?
8/11
Let l(t) = -t**2 - 6*t - 5. Let x be l(-4). Let g = 180817/81852 - 190/359. Let m = g + -1/76. Is m at least as big as x?
False
Suppose -183 = 3*f - 18. Is f greater than -219/4?
False
Let z be (3/(-2 + 5))/((-9)/90). Let i be 2/z*2 - 83592/(-430). Is 193 not equal to i?
True
Let m = -3 + 2. Let o = 12057 - 12055.36. Is m less than or equal to o?
True
Let l = -2495 + 2495.1983. Which is greater: -0.1 or l?
l
Let k = 1338 - 1338. Is k at least as big as -32/35?
True
Suppose 168 - 152 = -z. Let r be 64/126 + 3*z/168. Is 1 at most as big as r?
False
Let x = 85 - 87. Let q be (-11)/(11/x) + -2. Suppose q = 3*i - 2*n - 197, 5 = n + 6. Is 65 < i?
False
Let g = 7 - 17. Let p(t) = -t**3 - 11*t**2 - 12*t + 1. Let r be p(g). Let v = 31 - r. Is 10 less than v?
False
Let i = -6244343/18 - -347004. Is i < 95?
False
Suppose -12*n = -61 - 899. Suppose -n = -330*g + 325*g. Which is bigger: g or -2/21?
g
Let u = 215 + -351. Let h = 137 + u. Is 8/29 bigger than h?
False
Let k = 0.15 - 0.287. Let x = k + -55.863. Let u = x + 57. Are 21 and u nonequal?
True
Suppose 0 = -2*d - 0*d. Let u be 237/(-33) - ((-4)/22 - d). Is u greater than or equal to -5?
False
Suppose 0 = 3*c + 140 + 112. Let o = 87 + c. Suppose -v = o*b + 1 - 0, -3*v - 17 = -5*b. Is b < 5/18?
False
Let q = -13937 - -13902. Are q and -153 equal?
False
Let r = 228347388869553059/44424 - 5140180732378. Let p = -8125/1851 + r. Let v = p + -2635/8. Is v greater than or equal to -9?
False
Suppose 3*g - 21*g = 0. Let m = 642 + -680. Is m less than g?
True
Let r = -4847 + 2300. Which is smaller: -1/2 or r?
r
Let w = 24189 - 24188. Which is smaller: w or -1/8606?
-1/8606
Suppose 54 = -0*v + 2*v. Suppose -3*s + 100 = -g + v, -5*s = 4*g - 99. Suppose 3*t + s = -w + 3*w, 5*w + 2*t - 10 = 0. Is 2 less than or equal to w?
True
Let r be ((-6970)/340)/((15/2)/(-5)). Is -1.1 < r?
True
Let k(m) be the second derivative of -m**5/20 - 13*m**4/12 - 5*m**3 + 13*m**2/2 - m + 16. Let u be k(-10). Which is smaller: 12 or u?
12
Let q(r) = -5*r**3 - 17*r**2 - 46*r + 30. Let k be q(-5). Which is greater: k or 463?
463
Let h = 191 - 167. Let l be h/(-48)*(-1 - -1). Let n = -53/65 - -1/5. Which is smaller: l or n?
n
Let f be (-32)/(-10 - (-132)/24). Let x be (-1 - -5) + (-8)/(-4). Is x less than f?
True
Let b = -227/7 + 501/7. Let h = b + -39. Which is smaller: -0.024 or h?
-0.024
Suppose -j + 5*v - 17 = 0, -v - 34 = -4*j + 6*j. Let s be j/(-2)*15/(-30). Is s < -4?
True
Let n = -824564/11 + 2337618953/31185. Let a = n - -22/35. Is a less than 1?
True
Let i be ((-5)/5)/(1/(-34)). Suppose -3*z - i = 86. Let t be z/2 - (24/(-6))/(-4). Is t at least -21?
True
Let t = -150 + 189. Let q = -38.39 - 0.11. Let m = q + t. Are -4 and m equal?
False
Let w = -227206/1229995 - -2/18923. Let v(k) = -k**2 - 10*k - 1. Let q be v(-10). Is q less than or equal to w?
True
Let m = 18668 + -18669. Is m greater than or equal to -0.0521?
False
Let d = -43247 + 43246. Let k = -4.7 + 27.7. Are k and d unequal?
True
Let q(b) = -31*b**2 - 2*b + 1. Let i be q(1). Let y = -2240 + 6622/3. Let l = y - i. Is -2/11 at least as big as l?
True
Let f be 62/60 + (-3)/9. Let d = 0.62018 - 0.72018. Is d smaller than f?
True
Let j = 1325 - 1287.16. Let z = j - 38. Let i = z + 0.02. Which is smaller: i or -1?
-1
Suppose 0 = 2*b - b - 55. Let h(s) = -26*s + 236. Let d be h(7). Which is smaller: d or b?
d
Let m = 20077 - 20091. Is m greater than 24?
False
Let l = 1692 - 1746. Is -57 greater than or equal to l?
False
Let u = 33