 -4349 - 4157. Which is greater: 421 or a?
a
Let l = 3989 + -4000. Is l equal to -0.105?
False
Let g be 10/15 - 1881/27. Let x(z) = 16*z + 14. Let i be x(8). Suppose 0 = d - 3*d - i. Is d < g?
True
Let y = -50111 + 47912. Is y < -2196?
True
Suppose b + 2*g - 66 = -16, 4*b + 2*g = 218. Suppose 55*j = b*j + 5. Is j greater than or equal to -2/95?
False
Let p = 465383/6018 + 3/2006. Do p and 77 have the same value?
False
Let k be 4/(-32) + (-59917)/(-471240). Let w = k + 11/306. Is 0 equal to w?
False
Let t be 2/7 - (6 - 280/49). Suppose -3*l - f = t, f - 1 = -4*l - 0*f. Let d be 2/((-102)/(-9)) - 0. Which is smaller: l or d?
d
Let m be (6 - 10) + 506/(-22). Is m greater than or equal to 145?
False
Let o = 67/49 - 3515/98. Which is smaller: o or -36?
-36
Suppose -k + 0*g + g = -122, -5*k + 610 = -4*g. Suppose 2*j = -k - 24. Which is smaller: j or -72?
j
Suppose -5*n = 2*k - k + 580, 4 = 4*n. Do -585 and k have different values?
False
Let u(n) = 57*n - 372. Let c be u(6). Let j be ((-32)/(-40))/((-4)/(-10)). Suppose -j*h - 1 = -h. Which is greater: h or c?
h
Suppose 0*m = 12*m - 96. Let l = -19/7 - -593/56. Which is greater: l or m?
m
Let s(w) = 48*w**2 + 5*w + 4. Let y be s(-1). Let o(k) = k - 55. Let v be o(y). Which is bigger: v or -15?
v
Suppose 3 = -373*w + 372*w. Let d = -5 - -11. Suppose -18 = 3*n - d. Are n and w unequal?
True
Let c = 2627.971 - 2627. Is c != 6?
True
Let f(g) = -g**2 + 14*g - 5. Let s be f(4). Suppose 29 = -8*o - s. Is -90/11 at least as big as o?
False
Let u = -22666 - -22669. Is u less than 117?
True
Let c = 1/116500 + 33318941/6873500. Which is greater: c or 4?
c
Let c(z) = -z**3 + z**2 - 4*z - 2. Let l be c(-2). Let y be 235/4*34/l. Let b = y + -111. Is 0 smaller than b?
False
Let a(m) = 2*m**2 + 8*m - 5. Let b(x) = 4*x - 57. Let h be b(13). Let p be a(h). Suppose -2*v + 3*v + 2*f + 10 = 0, -p*f = v + 19. Which is bigger: v or 1?
1
Let b = 85 - 82. Suppose -j = -2*a + 7, 2*a + 8 = b*a + 4*j. Suppose a*c = 4*y - 24, y + 4 = 2*c - 6*c. Is y at most 4?
True
Let m = 10704054573/29027 + -368762. Which is smaller: 1 or m?
m
Suppose 0 = 4*j + 36 - 8. Let g be -296 + j/(21/12). Let o = g - -2067/7. Is o bigger than -6?
True
Let s = 118 + -1471/13. Let k = s + -69/13. Is k less than 0.1?
True
Let w(l) = 47*l**2 + 408*l - 135. Let p be w(-9). Which is smaller: -188/349 or p?
-188/349
Let d = -215 + 1937/9. Suppose -5*k = -5*v + 25, 25 = 4*k + 36*v - 31*v. Is k less than d?
True
Let t(i) = -2*i**3 + 8*i**2 + 4*i - 6. Let s = -199 + 115. Let z be 5/(-4) + s/(-16). Let q be t(z). Which is smaller: 11 or q?
q
Suppose -4*s + 5*t - 74 = 255, -2*s + t = 169. Let r = -80 - s. Suppose -5*v - p = -35, -v = 5*p - 1 - 6. Which is smaller: v or r?
r
Let y = -101.23 + 101.03. Let i be 2/(-4) + 51/98. Which is bigger: y or i?
i
Let w = 1950.1 - 1950. Which is smaller: w or -0.1719?
-0.1719
Let f(g) = 24 - 136 - 4*g - g - g. Let r be f(-15). Is r equal to -22?
True
Let y = 3000/3707 + 3/337. Let z be ((-15)/(-162)*324/(-540))/(34/36 - 1). Is z <= y?
False
Suppose 68*f - 305424 = -184*f. Which is greater: f or 1215?
1215
Let m be (-10)/(-4)*(-18)/(-15) + 21. Let p = -11 + m. Suppose 3*o + u = p, -3*o + 2*o - 5 = -2*u. Is 5/2 <= o?
True
Let q = 73.92 - 74.19. Is q at least 1.34?
False
Let a(i) = -8*i**2 - 90*i + 90. Let c be a(1). Which is smaller: 0.89 or c?
c
Let r(a) = a**3 - 17*a**2 + 2*a + 21. Let z be r(17). Suppose -z = l + 3*p, 2*p + 190 + 80 = -4*l. Let t be l/2 - -2 - (6 - 10). Which is greater: t or -27?
-27
Suppose -2*v + 78 = -48. Let h = v + -59. Suppose 0 = -h*l - 8 + 4. Which is greater: l or 0?
0
Suppose 22 = 4*f - 2*r, -6*f + 1 = -5*f - 5*r. Let q(x) = 2*x**2 + 5*x - 15. Let t be q(f). Is t <= -2/5?
False
Suppose 0 = 6*w - 5*k - 2042, -283 = -w + 5*k + 74. Which is smaller: w or 1010/3?
1010/3
Let r = 74.732 + -75. Let p = -0.638 - r. Which is smaller: -0.6 or p?
-0.6
Suppose -2977 = -28*k - 765. Is k greater than or equal to 93?
False
Suppose -5*j = 15, -10*l + 204 = -7*l + 3*j. Suppose 0 = 73*y - l*y. Which is bigger: y or 5?
5
Let i = 220 + -118. Let m = -72 + i. Let j = -29 + m. Are -120 and j non-equal?
True
Let r = -6.25 - -382.25. Let d = -347 + r. Which is bigger: 0.1 or d?
d
Suppose 25*z - 432 = 34*z. Let d be (-3)/(-8) + (-14)/z. Which is bigger: d or 0.47?
d
Let v = 8.5 - 2.9. Let u = v + -7.6. Let d be (3/14)/((-6)/40). Is d greater than or equal to u?
True
Let g(c) be the second derivative of 3*c**4/4 - c**2 + c. Suppose 134 = -5*f + 129. Let z be g(f). Does -1 = z?
False
Let d be (-4)/5 - (3366/(-45) - 7). Which is bigger: 72 or d?
d
Let s = 31 - 22.9. Let r be 27/(-18)*32/(-72). Which is greater: s or r?
s
Suppose 9*f - 189 = -4*a + 4*f, -2*a = -4*f - 114. Let m = -39 + a. Let n = m - 8. Is 8 greater than n?
True
Let i be (800/384)/(1/2). Let p(o) = -o**2 - 2*o - 6. Let f be p(-3). Let y = f - -13. Is i less than or equal to y?
False
Let a(i) = 45*i + 3779. Let z be a(-84). Which is bigger: z or 1/1068?
1/1068
Let r = -16 - -27. Let k = r - 57/5. Let n = -202/25 - -8. Are k and n nonequal?
True
Let a = 5756/17787 - 50/147. Is a at least 1?
False
Let b be -1 - -1 - 525/(-40). Suppose 3*o = -4*t + 32, 2*o - 2*t - 25 = -t. Which is smaller: o or b?
o
Suppose -x + 67 = 2*g, 50 = 4*g - 5*x - 63. Which is smaller: 451/14 or g?
g
Let g = 230.44 + -1.44. Let w = 229.1 - g. Which is smaller: w or -13?
-13
Let k = -4778 - -4466. Is k greater than -0.3?
False
Let o be ((-3781)/2 + 2)*(44 - (-6500)/(-150)). Which is smaller: -1253 or o?
o
Let d(m) = 6*m + 5. Let w(f) = f**2 - 14*f - 29. Let q be w(16). Let z be d(q). Let l = z + -32. Is l less than -9?
False
Suppose -9 + 21 = 2*q. Let x be (-5)/15 + (-4)/q. Let p be ((-114)/494)/((-3)/(-12)). Which is bigger: p or x?
p
Let m be 0/(-2)*(7 - 6). Suppose m = 3*p - 4*p. Let k = 9/28 + -139/84. Which is greater: k or p?
p
Suppose c + 20 = 4*a, 6*c - c - 4*a = -20. Let x = -211 - -198. Let v be (x + 15)/((-42)/15). Are v and c unequal?
True
Let q(a) = 27*a + 7. Let i(u) = -28*u - 8. Let p(v) = -2*i(v) - 3*q(v). Suppose -2*t - 2*z + 8 - 18 = 0, 2*z - 4 = 5*t. Let c be p(t). Is 46 bigger than c?
True
Let s(l) = 2*l**2 + 12*l + 8. Suppose -y + 5*y - 4*h = -20, -3*y - 15 = 3*h. Let q be s(y). Let k be (q/8)/(2/6 + 0). Which is smaller: k or 0?
k
Let c = -6173 - -6173. Let y = -0.4 - -3. Let w = 20.6 - y. Is w smaller than c?
False
Let q = -149.5 - -152. Let k = -0.24 + 2.84. Let w = k - q. Is 8/9 > w?
True
Let m(b) = 9*b**2 - 128*b - 16. Let d be m(16). Suppose 4*w = 3*z + 361, 2*z - 2*w = -0*z - d. Are z and -119 equal?
True
Let j = -1359/22 - -235261/3806. Is -1 at most as big as j?
True
Let c be 546/(-455)*(-15)/4*8. Is 99 at most c?
False
Let o be (-11 + -13)*1/(-2). Suppose o*s - 379 = 389. Which is smaller: 2 or s?
2
Suppose -5*m = d - 49 - 6, 0 = d - 5. Suppose -m*l + 143 = -77. Let s be ((-2)/5)/((-1)/60). Which is smaller: l or s?
l
Let z(a) = 3*a - 12. Let q(j) = 2*j - 12. Let c(t) = 5*q(t) - 4*z(t). Let o be c(-6). Suppose o = -8*x + 3*x - 5. Which is smaller: x or -19/8?
-19/8
Suppose 2*r = -2*o - 3*r - 194, -2*o + 3*r - 178 = 0. Let n be (-8 - o)*(1 - (1 + 1)). Let p = 41 + n. Is -43 greater than or equal to p?
True
Let g = 188 + -187.19. Let l = g + -0.15. Let c = 0.56 - l. Is 0.1 bigger than c?
True
Suppose -3*b - 2*u + 18 = -4*u, 5*b - 2*u = 30. Suppose -150 = 16*o - b*o. Which is bigger: 5 or o?
5
Let o(n) = -3*n - 7. Let t be o(-2). Let b be (-3 - 2) + -6 + t. Is b > -12?
False
Suppose 236*t = -11*w + 232*t - 2, -5*w - 2*t = 2. Which is smaller: w or 1606?
w
Let j be ((-1)/(-3))/((-1)/(-3)). Let y be ((-66)/11)/(52/(-1902)). Let r = y + -219. Are j and r nonequal?
True
Let j(t) = -t**2 + 10*t + 19. Let r be j(19). Let g = r + 161. Which is greater: g or 77/8?
77/8
Let u = -209 - -204. Let n be 6/((-1)/1) - u. Let k be 56/(-174) + 2/3. Which is smaller: k or n?
n
Let h = -1599 + 1595. Let y = -15 + 14. Is y < h?
False
Let j be 165 + 4/((-20)/35). Let g be j/320 + 12/(-30). Which is greater: 0.2 or g?
0.2
Let m = -393 - -344. Let o be ((-28)/(-35) - m/20) + 2. Is 4 smaller than o?
True
Let s be 2 - 1279/(-44) - (28 - 33). Let b = -438/11 + s. Suppose y + 2*g + 6 = -3, 5*g = 5*y + 15. Are b and y unequal?
True
Let z = 20846/5997855 + -12/2735. Is -1 at least z?
Fals