 smaller: s or u?
s
Let k(c) = c. Let r(i) = -i + 7. Let f be r(5). Let d be k(f). Let x be 1*(1 + 0)*d. Are 6 and x unequal?
True
Let p be ((-1)/2)/((-1)/(-2))*1. Does p = 4/55?
False
Let d = -50483/637183 + 40/521. Is d equal to 1?
False
Let j be -7 + (-18)/(-9)*4. Which is smaller: 2/217 or j?
2/217
Suppose s + 33 = 5*l, -4*s = -l - 19 + 18. Is 6 greater than l?
False
Let o = -97 - -97. Let d be o/(-2)*((1 - 1) + 1). Let s = 1/4 - -1/12. Is d >= s?
False
Let q(f) = 12*f + 29. Let w be q(-8). Suppose 2*o + b = 2*b + 48, -o = -b - 25. Let c be -2 - w/o - 1. Which is greater: 2/5 or c?
2/5
Let v(n) = 2*n**2 + 11*n - 27. Let d = 160 + -155. Let j be v(d). Is j greater than or equal to 78?
True
Let k(h) = 2*h + 22. Let y be k(-16). Which is smaller: y or -8?
y
Let s(j) = j**2 + j + 7. Let b(m) = -2*m**2 - 8. Let f(k) = -2*b(k) - 3*s(k). Let o be f(4). Let w = -607/16 - -38. Is w at most o?
False
Let q be -1 - (1*2)/(8/(-16)). Suppose q*t = -2*t + 205. Which is smaller: -1 or t?
-1
Let a = 35 + -64. Let p = -50 - a. Let s = p - -29. Is s >= -1/4?
True
Let s be (-3 + (-10)/(-4))/(10/(-340)). Is 18 <= s?
False
Let d(p) = -p + 2. Let q be d(2). Let t(y) = -19*y**2 + 6. Let r be t(2). Let c be 3/(243/(-21))*(-20)/r. Is c less than q?
True
Suppose 3*d + 8*h - 6*h = -218, 0 = 4*d + 4*h + 296. Do 1 and d have different values?
True
Let l = 428.22 + -427. Which is smaller: l or -1?
-1
Let s = -57 - 6. Is s <= -63?
True
Let u = -42 + 43.9. Let h = 0.197 + 1.803. Let c = u - h. Which is bigger: c or 0.02?
0.02
Let c = 2463/11 + -223. Suppose -5*x + 0 + 5 = 0. Does x = c?
False
Let g = 36.1 - 36. Let m = 8.6 - 9. Let z = 0.5 + m. Is z equal to g?
True
Let j = 14545/3 + -4898. Do j and -49 have different values?
True
Suppose 0 = j - 3*j - 14. Suppose 160 = -1558*f + 1542*f. Is j less than f?
False
Suppose 5*a + d = -84, d = -0*a - 3*a - 50. Are -11 and a unequal?
True
Suppose 5*h = x + 7*h + 7, -4*x = 3*h + 3. Which is smaller: 1 or x?
1
Let m = -436 - -433. Are m and -30/7 equal?
False
Suppose -3*g + g + 72 = 0. Let r = 11 - g. Let f be (-1 - r/21)*3. Is 2 equal to f?
False
Suppose -d + 2*d = 15. Suppose -2*j - 58 = -122. Suppose v + 4*y = -0*v + j, -3*y - 68 = -5*v. Are d and v nonequal?
True
Let q = -6 + 6. Let l = 0.58 + -0.54. Is l less than q?
False
Let v be 8/20*(-7 + 2). Let j be (-6)/(-12) + (-3)/v. Is j greater than or equal to 9/4?
False
Let b(h) = 2*h - 2. Let j(z) = 3*z - 3. Let c(x) = -4*b(x) + 3*j(x). Let g be c(3). Let k be 2 - g/(16/20). Do k and 0 have the same value?
False
Let l be 8/6 - (-3)/9. Let g be (300/96 - 3) + 5/24. Which is bigger: g or l?
l
Let a = 24.01 - 0.01. Let j = a - 33. Let b = -9 - j. Which is smaller: 1 or b?
b
Let f(y) = -2*y**3 + 2*y**2 + 38*y - 1. Let g be f(-5). Is g not equal to 109?
False
Let h(g) = -g**3 - 4*g**2 - 4*g - 3. Let i be h(-6). Let a = i - 140. Which is greater: -48 or a?
a
Let q(v) = -4*v**2 - 2*v + 4. Let i be q(-4). Let g be (-2)/i*(3 - -1). Let u = -3/13 + g. Is -1 at least as big as u?
False
Suppose -5*m - o = 1162, 9*o - 7*o + 693 = -3*m. Is m less than or equal to -234?
False
Let f(c) = -c + 1 + 2 + 9. Let j be f(9). Suppose 3*l - p + j = -1, -3*l - 16 = -4*p. Which is smaller: 1/15 or l?
l
Let y be ((-6)/(-15))/((-2)/30). Let z be (y/(-8)*2)/3. Let p = -3/4 + 1/2. Which is greater: z or p?
z
Let c be 3/2*(-4)/6. Let a = 8 + c. Suppose -8*g + a*g = 5. Which is smaller: g or -6?
-6
Let u(c) = 14*c**2 - 5*c - 6. Let d be u(-4). Let h be 1352/d - 2/7. Let g = h + -39/7. Is g at most -1?
False
Suppose -4*z = z. Let i(d) = 2*d - 14. Let u be i(z). Are u and -29/2 unequal?
True
Let v = 593 + -570. Is 21 at most v?
True
Suppose -p + 5*v = -0*p - 39, 5*p - 5*v - 95 = 0. Suppose -p + 21 = 7*f. Suppose 6*j = 3*j - 12. Is j > f?
False
Let f = 332 + -343. Which is greater: -10 or f?
-10
Suppose -2 = 2*j, t + 22 + 67 = -j. Is t at least -89?
True
Let a be (-398)/540 - (-6)/15. Let s = a - -3/10. Which is smaller: 0 or s?
s
Let s(u) = u**2 + 18*u + 30. Let a be s(-12). Is -39 bigger than a?
True
Suppose 3*k + 462 = 6*k. Let w = 277 - k. Is 122 <= w?
True
Let f = -3 + 1. Let d be 9/(-6) + (-51)/(-30). Is f < d?
True
Let z = -3.99 - 0.01. Suppose -2*m + 68 = -4*m. Let v be 2*1*(-7)/(1 - m). Do z and v have different values?
True
Let g(h) = h**2 + 8*h - 20. Let k be g(-10). Suppose k*i = -5*i + 455. Do i and 92 have the same value?
False
Let d = -1224 + 1833. Is d smaller than 608?
False
Let o = 410 + -339. Is o greater than or equal to 72?
False
Let y be (18/(-73))/3 + 6 + -6. Is y < 1?
True
Let t = -79 - -103. Let g = -18 + t. Are g and 4 nonequal?
True
Let o = 109 - 101. Suppose -3*g = 6, 4*g + o = -4*m - 24. Is -3 < m?
False
Let s(g) = -160*g + 1115. Let i be s(7). Let w = 0 - 10. Is i at least w?
True
Let i = 2 - 0. Let k be 717/15 - -2*4/40. Let g = k - 45. Which is bigger: g or i?
g
Let g(c) = c**3 - 7*c**2 - 7*c + 32. Let v be g(7). Does v = 6?
False
Let b = 0.07 - -2.93. Let z = 0.43 + -1.43. Let s = b + z. Is -0.2 not equal to s?
True
Let q = -3.82 + -2.18. Is -76 smaller than q?
True
Let c = 9 + -8. Let s be ((-14)/(-49))/(24/98). Which is smaller: c or s?
c
Let z(b) = -b**3 + b**2 - b - 1. Let j(o) = -2*o**3 + 11*o**2 + 2*o - 10. Let p(f) = -j(f) + 3*z(f). Let s be p(-7). Is s equal to -9?
False
Let c(z) be the second derivative of z**4/6 - z**3 - 9*z**2/2 - 25*z. Let v be c(6). Are v and 28 unequal?
True
Let g = 6 + -20. Let b = g + 16. Let x = -3 + 1. Is b < x?
False
Let j = 4 - -4. Let d be 42/54*j/(-14). Let f = 16 - 15. Which is smaller: d or f?
d
Suppose -21 + 61 = 4*c. Let v be -2 - (-2 + -1 + (-1 - -5)). Let b be (c/4 - 2)*v. Which is greater: 0 or b?
0
Suppose 0 = 3*z, 16*z - 11*z = -j - 5. Is j equal to -6?
False
Let f be 16/6*150/(-20). Let u = -17 - f. Is u at least 14/5?
True
Let t = 15/604 + -9011/22348. Is 1 greater than or equal to t?
True
Let k(r) = 2*r - 22. Let f be k(12). Let y be f/(-6) + 1/3. Is y at least -9/8?
True
Suppose 4*t - t = 0. Suppose -3*b + 4 + 5 = 0. Let s be (b/2)/((-11)/2). Is t less than or equal to s?
False
Let o(h) = h**2 + 3*h - 304. Let b be o(16). Which is bigger: b or 2/1443?
2/1443
Suppose 0*z - 8 = 2*z - 3*u, 0 = z + u - 6. Let f be ((-5)/z)/(5/(-20)) + 1. Is 43/4 at least f?
False
Let r(n) = -6*n**2 + 73*n - 13. Let x be r(12). Which is smaller: -1/4 or x?
x
Suppose -24 + 2 = 2*p. Let c be (-2)/((-4)/(-27)) - 0. Let h = c - p. Is -3 greater than h?
False
Suppose 2*y - 8 + 10 = 0. Let b be y/((-1)/12*2). Is 9 smaller than b?
False
Let k = -3305 - -3346. Which is smaller: 53 or k?
k
Let u(f) = 8*f - 7. Let c be u(7). Let o be (3*-3)/(4/(384/(-18))). Which is bigger: o or c?
c
Let q be ((-186)/(-86) + -2)*(-2220)/518. Which is smaller: 0 or q?
q
Let i = 12 + -27/2. Let f(o) = -o**2 + 11*o - 13. Suppose 5 = -5*m, -3*m = -4*b - 0*m + 43. Let x be f(b). Which is smaller: i or x?
x
Let q = 46 - 19. Let z = q - 31. Is z at most 3/8?
True
Let b = -1789 + 23255/13. Which is bigger: b or -7?
b
Let h(l) = -4*l**3 + 3*l + 2. Let o be h(-1). Suppose 6*j - o + 9 = 0. Let u be ((-1)/(-1))/(14 + 2). Which is smaller: j or u?
j
Let t = -2591/5 + 511. Which is smaller: -8 or t?
-8
Let k be (-2)/6*3/(-1). Let l be -1*(7130/(-790) - -9). Which is smaller: k or l?
l
Suppose 6*s + 3 = 27. Suppose 12 = -0*u + u - 5*v, -31 = -s*u + 3*v. Is 8 equal to u?
False
Let z(a) = 17*a**2 + 27*a + 50. Let j be z(-2). Is j < 66?
True
Let j = 728 + -40043/55. Do -1 and j have the same value?
False
Let g be (-9 + 0)/(-9)*(-3)/1947. Which is bigger: 1 or g?
1
Let w = 166/7 + -809/35. Suppose 656 = 3*g - 208. Let a be 136/g + 2/(-9). Is a greater than w?
False
Suppose 0 = 10*p - 6*p + 20, 4*f + 2*p = -170. Which is greater: f or -121/3?
f
Let c = -577 + 439. Which is greater: 2 or c?
2
Suppose 5*q - 3*t - 6 = 0, -2*q = -3*q + 3*t + 6. Suppose 0 = g, q = -r + g + g - 24. Are -23 and r unequal?
True
Let w be (-7)/(112/(-108)) + 2. Is 9 equal to w?
False
Let n(t) = 32*t + 11. Let w be n(2). Let l = -78 + w. Which is smaller: l or -0.1?
l
Let t be 2 + (-1 - 27385/(-12)). Let i = t + -2287. Let l = i + 13/4. Which is greater: -2 or l?
l
Suppose 0 = -u + 3 + 1. Suppose u*q = q. Is q > 1/7?
False
Suppose -h - 139 = -3*j, 4*j - 61*h - 192 = -63*h. Which is greater: j or 50?
50
Let x(m) = -55*m -