 (4 - (-16)/(-8)). Which is bigger: j or 1179?
1179
Let w(z) = z**2 + 8*z + 15. Let k be w(-5). Suppose k = -42*j + 14*j. Is j > -4/173?
True
Suppose 1 + 3 = 2*t. Suppose 5*j - t*g + 6 = 0, -4*j + g = 6*g - 15. Suppose j*v = -v - 2. Is v smaller than -6/5?
True
Suppose -7*n = -6*n - 59. Suppose -2*a + 74*f + 119 = 75*f, -5*a + 3*f + 281 = 0. Is n <= a?
False
Let r be (-76)/(-342) + (-1048)/18. Are -50 and r non-equal?
True
Let i be (-209)/1 + 0/(-1). Let a be (150/50)/((-126)/8862). Is i at least as big as a?
True
Suppose -13*y + 25*y = -17*y. Which is smaller: 3/2891 or y?
y
Let s be 6/45*(5 - (-40)/(-24)). Suppose 6 = 4*w - 6. Suppose -3*t = w, -4*l + 4 = -5*t - 1. Do s and l have different values?
True
Let n = -306.75 + 257. Let l = n - -1.75. Which is greater: l or 1?
1
Let o = 116 + -236. Suppose 0 = 9*i + 528 + 552. Are i and o unequal?
False
Let n be (-132)/(-24)*(-9 - -3) + 12. Which is greater: -404/19 or n?
n
Suppose 0 = -174*p - 1004 + 1004. Do p and -1/16435 have the same value?
False
Suppose 6*a + 1065 = a. Suppose -36*l - 486 = 7182. Is a > l?
False
Let f = -5528/11 - -503. Let k = -9.45 + 9.55. Which is smaller: f or k?
k
Let h(w) = -3*w**2 - w - 6. Let b = -4 - 0. Let l be ((-20)/30)/(b/(-18)). Let c be h(l). Is -30 bigger than c?
False
Suppose 1100 = -y - 5*c, y + 4*y - c + 5396 = 0. Let f = -839 - y. Which is smaller: f or 242?
f
Suppose -4*t = -7*t + 69. Suppose -27*n + t*n + 8 = 0. Let w be (-70)/2*(6/(-15))/n. Do w and 1 have the same value?
False
Suppose 0 = 8*w + 3*c - 1026, 4*w - 21*c + 24*c - 510 = 0. Does 1 = w?
False
Let z = 205 + -204. Let a be (3 - (125 - 2))/(0 - z). Are a and 120 non-equal?
False
Suppose 0 = 2*o - 10*o. Let v be ((o + 10)/(-5))/(-2) - 0. Which is greater: v or -2/221?
v
Let x(h) = 11*h**2 - 2*h - 31. Let q be x(-7). Suppose -5*r - q = 4*r. Is -59 greater than or equal to r?
False
Let i(o) = -o**3 + o**2 + 3*o + 554. Let r be i(0). Let x = -555 + r. Which is bigger: x or 4/179?
4/179
Let l = -2718 - -2688. Is -38 equal to l?
False
Suppose 28*x = 4222 + 2610. Let d = x - 245. Let r be ((-3 - -2) + 11)/1. Is r > d?
True
Let m = -2.1 - -2. Let x(b) = b - 32. Let v be x(-7). Let i be 2/30*v/78. Which is bigger: i or m?
i
Let w(i) = -2*i**3 + 10*i**2 + 12*i - 10. Let d be w(6). Let z be -20 - 5/(d/(-12)). Which is greater: -24 or z?
-24
Suppose 0 = 2*u - 3*f - 20, -4*u + 13 = -4*f - 19. Suppose -m = 3*d - 0*m + 149, -u*m = -4. Let r be (-3)/24*(-12)/d*-2. Which is greater: -1 or r?
r
Let a = 11477 - 11476.7. Is a >= -2/729?
True
Let t be (1 - -2) + (23 - 4078). Which is smaller: t or -4055?
-4055
Let a = 964.8 + -965. Let z = 0.094 - 0.694. Do z and a have different values?
True
Let n = 504.1 + -503.676. Which is smaller: 5 or n?
n
Let w = -29 - -34. Suppose 2*b + r = 0, -3*b - 2*b = w*r + 10. Suppose -73 + 64 = 3*f. Which is smaller: b or f?
f
Let h = 599550 + -599837. Suppose -3*c - 861 = -0*c. Is h less than c?
False
Let g(j) = 20*j + 59. Let w be g(-4). Suppose 0*n + 72 = -3*n + 3*i, -2*n = -5*i + 51. Which is smaller: n or w?
n
Let r = -5 - -5. Let s(v) = -15*v - 58. Let q be s(-8). Let i be (9 - 7) + 2 + q/(-15). Which is smaller: r or i?
i
Let i = -37 - -48. Suppose 5*n = 3*u + 16, 0 = 5*n + 2*u - 3*u - 22. Suppose -10 + 5 = 5*a, -a = n*r + i. Which is bigger: r or -26/9?
r
Let p = 370 + -31. Let f = -341 + p. Which is smaller: 170 or f?
f
Let b(s) be the second derivative of s**4/4 - s**3/2 - 3*s**2 - 4*s - 10. Let l be b(2). Is l smaller than -0.085?
False
Let x(g) = -677*g + 2091. Let q be x(3). Are q and 1496/25 equal?
False
Suppose 7*a - 4*a - 4*a = 0. Suppose -19*x + 20*x - 50 = a. Are x and 52 non-equal?
True
Let c be ((-10)/8)/(2/24). Let q(z) be the first derivative of -z**3/3 - 15*z**2/2 - 3*z + 254. Let d be q(c). Which is smaller: d or -2?
d
Suppose -2*b + 3162 = 5*g, 3*g + 0*g - 1892 = 4*b. Which is bigger: g or 631?
g
Let k = -72 - -71.15. Let c = 75.35 + k. Let a = 74 - c. Is -3 >= a?
False
Suppose 301*w = 144115 + 1089684. Which is smaller: 4098 or w?
4098
Let b(w) = -w**2 + 74*w - 1317. Let s be b(47). Which is smaller: s or -285?
-285
Suppose -3 = v - 14. Let n = 65.77 - 65. Let o = -0.87 + n. Which is smaller: v or o?
o
Let n be 3/(-2) - (-11 - 45003/42) - 7. Which is bigger: 1071 or n?
n
Let z(h) be the first derivative of -h**3/3 + 19*h**2/2 + 14*h - 366. Suppose 0 = 3*n - 6*n + 60. Let r be z(n). Is -39/7 not equal to r?
True
Let o = -0.0499 - -0.0499. Let x = 204 - 85. Which is bigger: o or x?
x
Let n = 144880/711 + -1834/9. Suppose -152*w - 35*w = 227*w + 414. Which is smaller: w or n?
w
Let d = 159 + -144. Let k = 1713 + -1721. Which is greater: k or d?
d
Let b = -12097706442/5 + 62641927154111/25890. Let f = b - 2/2589. Is f >= 125?
False
Let h be (-3)/(-9)*(-6)/6*3. Suppose 3*q + 2604 = -3447. Let l = -155311/77 - q. Is h smaller than l?
True
Let d be (2777/(-27) - -1)*24948/1485. Which is smaller: d or -1712?
-1712
Suppose 31*s - 26287 = -5300. Let t = s - 676. Let l be (-2)/(-114) + (-1)/3. Is t at most l?
False
Suppose 5*d + q = 9, 5*q = 4*d - 0*q - 13. Suppose 0*l - d = -3*l - p, 0 = -2*l - 2*p. Let u be -3*(-151)/(-111) - (8 - 12). Are u and l equal?
False
Let w(t) = -t**2 - 13*t + 77. Let a be w(5). Let x(d) = -2*d**2 - 32*d - 120. Let y be x(a). Is -216/5 >= y?
False
Let g = -46.0268 + 46. Which is greater: 6/7 or g?
6/7
Let w be 0/(16/4) - 1. Suppose -37*q - 4253 = 1963. Is w < q?
False
Let y be (6/1770*-4)/(856/(-20)). Is y >= -1?
True
Suppose c - 6*z = -8*z - 4, -z = 3*c + 2. Suppose -d - 9 = -5*q, c = -3*d - 12. Is -1/4 less than q?
True
Let p(u) = -u - 5. Let k be p(-5). Suppose 9*x + 270 = 24*x. Suppose -5*z - 2 = t - 16, z - 5*t = -x. Is z at most k?
False
Let y be 3 - ((-3919)/3 - 16/(-48)) - 4. Which is bigger: y or 1306?
1306
Let y(m) = 6*m**3 - 23*m**2 - 58*m + 98. Let h(b) = 2*b**3 - 8*b**2 - 20*b + 33. Let o(l) = -17*h(l) + 6*y(l). Let c be o(4). Is c bigger than 92?
False
Let q(m) = 2*m**2 + 3*m + 36. Let g be q(-16). Is g >= 498?
True
Let o be 0*(-5)/20 + -1. Let m(v) = 4*v - 33. Let u(d) = 2*d - 17. Let f(j) = -6*m(j) + 13*u(j). Let w be f(11). Is o < w?
False
Let n be (0 - 6/15)/((-8)/60). Suppose 0*q - q = -n*q. Let h be ((-21)/9)/((-1)/6). Do q and h have the same value?
False
Suppose -f + 5*t - 5 = 0, 2*f + 2*t + t = 3. Suppose f = -8*l + 5*l + 105. Are l and 36 unequal?
True
Suppose 0 = 303*l + 137916 - 79337 - 431269. Is 1220 less than or equal to l?
True
Let g be 1066/10 + 5 + 69/(-15). Suppose 73 = 9*q - g. Which is smaller: 33 or q?
q
Let f = -81 - -106. Suppose -249*q + 242*q + 182 = 0. Which is smaller: f or q?
f
Suppose 86103 + 35585 = 328*t. Which is smaller: t or 0.02?
0.02
Let y be (-2178)/21 - 6/21. Let m be (-5)/(2664/378 - ((10 - 3) + 0)). Which is greater: m or y?
y
Let n be (-3 - 3/((-90)/58))/((-5)/20). Which is smaller: n or 3?
3
Let s be (-1 - 1084/(-1060))*(-3)/207. Is s at least as big as -1?
True
Let l be (195/(-6))/(-5) + (-1)/2. Suppose 0 = d + l*d + 35. Let j be ((-22)/d)/(-2) - -4. Which is greater: 3 or j?
3
Let t(s) = 10*s - 92. Let l be t(11). Suppose -20*o = -2*o + l. Which is greater: -14/9 or o?
o
Let l(d) = d**2 + 20*d - 149. Let c be l(-26). Suppose 8 = c*s - 2*s - z, s + 14 = -5*z. Which is smaller: -3/62 or s?
-3/62
Let a be 2/(3/((-12)/(-16)) - 2). Suppose 0 = 3*j - 2*j + 4. Let g be (j + -2)*(-6)/(-459). Which is smaller: g or a?
g
Let m(f) = -88*f**2. Let z be m(-1). Let c = z + 263/3. Let t = 467/8 - 58. Are c and t equal?
False
Let a(r) = 246*r + 493. Let w be a(-2). Which is bigger: -13/118 or w?
w
Let m = -3940 - -3557. Is -379 < m?
False
Let g = 19837 - 19637. Is g at most 200?
True
Let k = 0.02187 + 0.03013. Are k and 13 equal?
False
Suppose 235*o + 8 = 231*o. Which is smaller: o or 5/47?
o
Let h = -0.8 - -0.7. Let u = -7763 + 520120/67. Is u at least h?
True
Suppose 25 = 4*f + 20 + 1. Which is bigger: f or -2/10109?
f
Suppose -23*y + 2080 - 2011 = 0. Suppose 0 = 3*z - 0*z - 26808. Let f be 5 + (y - z/1116). Which is greater: f or -1?
f
Let l be -3 + (3 - 10) - -3. Let x be (6/l)/(3/(-28)). Suppose -5*h + 9 = 2*z - x, 7 = -5*z + 4*h. Which is greater: 1/36 or z?
z
Let a be (13 - 0) + (-407)/33. Which is smaller: -0.2355 or a?
-0.2355
Let g(z) = -z**2 - 21*z - 45. Let q be g(-18). Let l = q + -