ich is bigger: j or 0?
j
Suppose v - 8 + 36 = 3*w, 4*v = 8. Suppose 18*b = -w*b - 84. Is -23/15 not equal to b?
True
Let f be (-61 - (-57402)/810) + 4/30. Suppose 2*y - 42 = -3*d - y, -y - 66 = -4*d. Let b be 70/8 - (-4)/d. Does b = f?
False
Suppose -6*u - 1477 - 596 = 3429. Is u less than or equal to -4583/5?
True
Let r = -4.3921 - -0.8621. Let b = -98.53 + 99. Let x = r - b. Is x bigger than 3/8?
False
Let p = 165318/37 + -4468. Let n = 1 + 0. Is n equal to p?
False
Suppose -24 + 34 = 2*u. Suppose -u*s + 44 = 19. Suppose 25 = -5*w - s. Is -5 at least as big as w?
True
Let f(m) = -312*m + 5240. Let s be f(0). Which is smaller: s or 5239?
5239
Let c(l) be the second derivative of l**4/12 + l**3/2 - 3*l**2/2 - 24*l. Let a be c(-4). Are 4/191 and a non-equal?
True
Let s = 815581/171421 - 538/113. Which is greater: 0 or s?
0
Let s = 869 - 1383. Do -518 and s have the same value?
False
Suppose 4*j = 6*j + 84. Let z be 0 + (-6)/(j/511). Are 74 and z equal?
False
Let v = 304.385 - 304. Let n = v + -0.285. Which is greater: -1/49 or n?
n
Let w = 320763/14 - 22845. Which is smaller: w or 68?
w
Let u = -21/202 - 2355/12322. Which is greater: -1 or u?
u
Let b = 7.5 - -9.4. Let y = b - -58.1. Are y and 0.1 unequal?
True
Let x = -767/2023 + 27/289. Which is greater: x or 125?
125
Let r = -190 - 49. Let s = r - -77. Let m be (-4)/(-1) - (-654)/s. Which is bigger: -1 or m?
m
Let p be (-33)/420 + 8/20. Let h = -73/140 + p. Is -1 bigger than h?
False
Suppose -3*g + 170 = 107. Suppose 50 = g*i + 29. Is i at least 2/37?
True
Let g = -28 - -19. Let x = 12 + g. Let k be (x/6*16)/11. Is 1 less than k?
False
Let y = -18.05 - -25.05. Are y and -0.7 equal?
False
Let t = -0.15 - 19.85. Let b be 1 - (-17 - (-1232)/70). Is b greater than or equal to t?
True
Let f = -80285/2169092136 - 2/286311. Is f not equal to 0?
True
Suppose 73*w - 164059 = 14*w - 505551. Which is smaller: -5790 or w?
-5790
Let b = 11.4 - 11.85. Let o = b - 0.05. Which is bigger: o or 8?
8
Let p = 27923/2853 - 88/9. Which is smaller: p or -1?
-1
Let t = 3589 - 3589. Which is smaller: t or -305.3?
-305.3
Let l be 8/3*(4 - (6 - (-159)/6)). Suppose -2*j = -4*j - 150. Which is bigger: l or j?
j
Let c = 311 + -631. Let k = c - -338. Let x = 7 + 9. Is k smaller than x?
False
Suppose 14553 = -s - 3*p, 7*s - 6*p = -11*p - 101887. Is -14556 not equal to s?
False
Let a be 5933214/(-86608529) - 2/(-29). Which is smaller: a or 0?
0
Suppose 5*x + 3*o = 2*o - 300, -229 = 4*x + 3*o. Let j = -67 - -6. Is j smaller than x?
False
Suppose -3*o = 2*p + 17, 16*p = 11*p - 9*o - 50. Let r = 3761/16 - 235. Which is smaller: p or r?
p
Let z be 52/68 + 1*(-88)/(-374). Let a = -11/16 + 841/1200. Which is bigger: a or z?
z
Suppose 0 = 4*x + 5*h + 80, -5*x - 5*h = -6*h + 71. Let u be (1 - (-1)/(-4))/(x/12). Let a(d) = 4*d**2 - 1. Let m be a(-1). Which is greater: m or u?
m
Let z = -4303.8 - -4304. Which is smaller: z or 377?
z
Let l = 9715.169 + -9715. Is l at most as big as 0.9?
True
Suppose 3*z = 3*s + 12, 5*z - 6*z + 4 = -2*s. Suppose 9*v + 4*v + 637 = s. Is -49 at most as big as v?
True
Let q(z) = 89*z - 2. Let k be q(3). Let h be 2 - (k/35 - (-3)/(-1)). Which is smaller: h or -4?
-4
Let u(k) be the first derivative of -1/4*k**4 - 5/3*k**3 - 34 - 3*k - 7/2*k**2. Let f be u(-4). Is -1 less than or equal to f?
True
Let a(b) = 7*b**2 - 38*b + 30. Let y be a(4). Let q be (0 - (-5)/2)*(-12)/y. Let z = 8 - -1. Is q bigger than z?
False
Suppose -299513 = 6*m + 61939. Let g be (-17303)/m + (-1 - (-10)/14). Which is bigger: g or -1?
g
Let i = -9919/91678 + -1/1993. Suppose -646*z - 647*z = 0. Which is greater: i or z?
z
Let a = -32297/34 + 950. Let c be ((-1296)/180)/(1/(-5)). Suppose k + c - 37 = 0. Is a at most k?
True
Suppose -6*r + 5*r = -7*r. Let f be (r/67)/(-1 + 0). Is 8/115 not equal to f?
True
Suppose -4*k - 2*s = -1326 - 1950, 11*k - 5*s - 9072 = 0. Which is smaller: k or 5744/7?
5744/7
Let o(c) = -c**3 - 6*c**2 + 41*c + 14. Let f be o(-10). Suppose -3*z = 4*m - 3, -4*m = -30*z + 26*z + f. Does z = 139/5?
False
Let o(y) = -y**2 + 4*y + 49. Let j be o(-5). Let n be (1/((-6)/13))/(15/(-20)). Which is bigger: j or n?
j
Suppose 285*q + 9523 = 178*q. Are -1498/17 and q unequal?
True
Let l = 33912.62 + -34270. Let z = l + 7.38. Which is smaller: z or -0.1?
z
Suppose -41*l = -50 + 173. Let z be l*((-21)/9 - -2). Which is smaller: -12/79 or z?
-12/79
Suppose -5*s + 2*p + 524 = 0, -46*p = 4*s - 43*p - 433. Which is smaller: 95 or s?
95
Let u be 1 - 6/(-4) - 981801/(-1242). Which is bigger: u or 795?
795
Let l(q) be the third derivative of -4*q**5/15 - q**4/24 + q**3/2 + 17*q**2. Let b be l(-2). Let g = b - -58. Is -4 at most g?
True
Let t(o) = -o**3 + 21*o**2 + 22*o + 2. Let z be t(22). Suppose -z*a - 2*f - 6 = 0, a - 3*f - 11 = 2*a. Suppose 12*d - 5*d - 49 = 0. Which is bigger: a or d?
d
Let l be (33/7)/(141/259581). Is l smaller than 8679?
False
Let c be (5/(10/(-4)) + 1)*0. Let a be ((2 + c)/(-4))/(5/(-420)). Let w = a + 6. Which is smaller: w or 95/2?
95/2
Let n = -0.202 - -0.1173. Let y = n - -11.0847. Is 5 not equal to y?
True
Suppose 5*f + 20*f = 11575. Is f bigger than 467?
False
Suppose -4*q + 54 = 38. Suppose -4*j - 544 = -5*b, 0 = -q*b - 2*j + 3*j + 444. Suppose -14*c + 7*c - b = 0. Is -16 > c?
False
Let k = 48505.055 - 48617. Let a = k + 116.9. Let h = a + 0.045. Which is smaller: h or 0?
0
Let f be 2/(-10) - 104/(-145). Let u(r) = r**3 + 14*r**2 + 2. Let n be u(-14). Which is greater: f or n?
n
Let o be (-501)/(-6)*(-5)/10. Let r be 2242/(-56) - (-6)/(-3). Let x = o - r. Is x at least as big as 27?
False
Let f = 23495.971 + -23462. Let j = f - 34. Let q = -2.971 + j. Is 16 < q?
False
Let u be (20 - 16)*((-526)/(-4) + -4 - 4). Is 491 < u?
True
Let o be (-2 + 7 + -19)/1. Let d be -6*((-175)/o - 9). Which is smaller: d or -104/5?
d
Let x(i) be the second derivative of 3*i**3 + 71*i**2 + 3*i - 16. Let w be x(-8). Which is bigger: w or -40/13?
w
Let v(q) be the first derivative of q**4/4 + 5*q**3/3 - 5*q**2/2 + 7*q + 5. Let r be v(-6). Let t be (-18)/10 + r + 0. Is t less than -2?
False
Let i(m) = 22*m**3 + 2*m**2 + 2*m - 3. Let p be i(1). Which is greater: p or -7?
p
Let o be (1/3)/1*22044/22. Suppose 0 = 4*w, 5*g + 34 = -3*w + o. Let m = -42 + g. Is 18 > m?
False
Let w be 1/(-17 - -23 - 26/4). Is -30/59 != w?
True
Let i = -4224 + 4224. Is -1/33674 bigger than i?
False
Suppose -a - 7 = -5*z + 3*z, -5*z + 3*a = -17. Suppose 5*u - 42 = -4*f, 2*u - z*u + 2*f = -6. Let m be u/(3 - 2)*104/(-39). Is -17 < m?
True
Let h(u) = -u**3 - 8*u**2 - 7*u + 22. Let x be h(-8). Suppose -5*v + 360 = 5*m, 0 = 4*v - 3*m + 5*m - 298. Is v at most x?
True
Let b be (4 - -41)*2/6. Suppose -4*p = 6*j - 10*j - 48, -5*p + 61 = -4*j. Suppose -p - 2 = b*o. Is o less than or equal to 5/14?
True
Suppose -5*v = 15, -p - 19 = 2*v - 0*v. Let s be 22/(-2) + 25 + -11. Suppose -5*q - 2*w = -7, 5*q - s*w - 2 = -0*q. Which is smaller: q or p?
p
Let j be (7 - (-115)/(-15))/(-1049*1). Let a = -768/108047 + j. Which is greater: a or 1?
1
Suppose 264*r = -4*m + 266*r - 3136, -2*m - 5*r = 1592. Let v(x) = -16*x**2 + 3*x - 23. Let f be v(7). Is m less than or equal to f?
True
Let w(a) = 36 + 10*a + 17 - 13*a - 15. Let s be w(13). Which is smaller: 3/62 or s?
s
Let y = -21.908 + 21.283. Which is smaller: 12 or y?
y
Let i = 8.3 - 8.3. Let k(u) = -2*u**2 - 41*u + 7. Let g be k(-10). Which is bigger: i or g?
g
Suppose -4*g = -13*g - 513. Suppose -91*p + 300 = -96*p. Is g >= p?
True
Let p(o) be the third derivative of -o**5/30 + 3*o**4/8 + 17*o**3/6 - 96*o**2. Suppose 30 = 4*h + h. Let y be p(h). Is 4/39 at least as big as y?
True
Let p = 10867 + -65207/6. Is p bigger than 895?
False
Let r be (-14)/(-18) - 1 - (-4)/18. Let j(m) = -m**2 + 2*m + 18. Let i be j(r). Let x be ((-1)/(-1))/((-2)/(-38)). Which is greater: x or i?
x
Let q = 347 + -336. Suppose 0 = -4*s - 25*g + 24*g, 4*g - q = -5*s. Does -2/1185 = s?
False
Suppose 176*u + 106 = -70. Is -20/187 greater than or equal to u?
True
Let m = 3206 - 3200.9. Which is greater: -25 or m?
m
Let r be (15 + -12)/(-3*(-3)/2). Let j be (-8 - (-84)/8)*(-40)/225. Is j at least as big as r?
False
Suppose -44 = 47*u - 48*u. Suppose -4*t - k - 204 = 0, 0*k + 130 = -3*t + 5*k. Let b = u + t. Which is greater: b or -7?
b
Let x = -4.91