 Is y smaller than 3.21?
True
Let c = 224 - 210. Do c and 14 have different values?
False
Let g be 62/(-30) + (-46)/(-115). Which is smaller: -12 or g?
-12
Suppose -93 + 105 = 3*p. Suppose p*w - 5*k - 244 = 0, 4*k - 208 = -3*w - w. Is 57 less than w?
False
Let s(i) = 7*i + 24. Let u be s(-10). Let o = u - -70. Are o and 25 unequal?
True
Let n(t) = -12*t**2 - 10*t + 9. Let q be n(1). Let o be (-45)/(-39) - (-2)/q. Which is bigger: o or 7/5?
7/5
Suppose 11 = -18*d + 47. Let q = 971 - 3931/4. Let t = q + 12. Which is bigger: t or d?
d
Suppose 8*g - 2*g + 24 = 0. Let c be -1 - 3*g/12. Which is smaller: c or 2/55?
c
Suppose -z - 2*u - 42 = 0, 4*z = 4*u - 2*u - 168. Let x(q) = q**3 - 5*q**2 - 94*q + 38. Let j be x(-8). Is z equal to j?
True
Suppose 2*b - 22 = 18. Let p be (-88)/(-20) - b/5. Suppose 5*u + 3 + 2 = 0. Which is smaller: p or u?
u
Let f be 1626/1*(-37)/(-222). Is f at most as big as -2/5?
False
Let k(w) = -3*w + 1. Let t be k(-2). Let u be (t/2)/(11/22). Which is smaller: u or -0.1?
-0.1
Suppose 2*o = 8*o - 852. Is 142 greater than o?
False
Let o = 11.4 + -8.4. Are 30 and o non-equal?
True
Let w be 1 + -24 - (1 + -2). Let r be 4 - (7 + 10) - 9. Is w > r?
False
Let h be (112/168)/((-15)/153). Which is greater: 2/7 or h?
2/7
Let k be 7/2*48/84. Let f be (5/1 - k)*-3. Let g be 4 + (f/7 - 1). Are g and 3 non-equal?
True
Let l(c) = c**2 - 6*c - 15. Let z be l(8). Suppose 5*g = 4 + z. Is -1/57 at least g?
False
Let h be 217/42 + (-1)/6. Let z(b) = b - 3 + b + 12*b - 3*b. Let n be z(1). Is n at least h?
True
Let r = 35 - 53. Let o = -15 - r. Suppose 0 = 2*t + 8, -o*i + t - 2 + 9 = 0. Do i and -1/21 have the same value?
False
Let g(j) = -7*j - 14. Let f be g(-5). Suppose -5*q - f = -26. Is -7/25 <= q?
True
Let r(i) = -i + 4. Let n be r(6). Suppose 5*b - 21 = z - 4*z, 5*z = -4*b + 9. Which is bigger: n or z?
n
Let d = 3.4 - 17.4. Let v = 14 + d. Which is smaller: v or 2/35?
v
Suppose -6*q + q = 35. Let v be (2/1)/((-112)/q). Which is greater: v or 1?
1
Suppose 4 = -s, a + 2*a - 227 = -4*s. Let i = a - 163. Let j be i/110 + 7/35. Is j at most 1/4?
True
Let h(w) = -w**3 - 3*w**2 - 2*w - 2. Suppose 7 = 5*n + 22. Let x be h(n). Let g = 1 - 1. Is x < g?
False
Suppose 6 + 6 = 3*a. Suppose 0 = -0*j - 2*j - a*c + 6, 4*c + 27 = j. Which is greater: 12 or j?
12
Let j(u) = -4*u - 51. Let s be j(-14). Are s and 40/7 equal?
False
Let f = 54.023 + -54. Let m = f - -22.977. Let l = m - 11. Which is smaller: l or -2/5?
-2/5
Let g = -0.3624 + -0.0376. Let m = 30 - 61/2. Does g = m?
False
Let i be (-28)/((-25)/(-15) - 1). Let t be (-4)/i + 14/(-21). Are -0.3 and t nonequal?
True
Let y = 20 - 21.3. Let o = 129 + -123.3. Let t = o - y. Is t less than 0.1?
False
Let s be 9889/(-5829) - 15/(-9). Let u = -2 + 3. Let i be u*1/3*3. Are s and i nonequal?
True
Suppose -94 = 4*g + 3*l - 5, -5*g = -2*l + 94. Let p be (65/g)/(4/(-16)). Is 15 equal to p?
False
Suppose -3*v = -4*v + 14. Suppose v*k = 17*k - 6. Which is smaller: k or 0?
0
Let c(u) = 4*u**3 - 4*u**2 - 10*u + 21. Let j be c(5). Let g = j + -12987/35. Is -1/4 > g?
False
Let f be (1 - -1) + -1 - 0. Let n = 2 + 0. Suppose -n*s = s. Is f greater than s?
True
Let u(d) be the second derivative of d**5/20 - d**4/12 - 22*d. Suppose 0 = -0*t + 2*t. Let j be u(t). Are 0 and j equal?
True
Let o(h) = -h + 15. Let a be o(-13). Suppose -5*z = -9*z + a. Let f(n) = -n**3 + 7*n**2 + 2*n - 7. Let s be f(z). Which is smaller: 9 or s?
s
Suppose -5*m + 2*z + 86 = 0, m + 28 = 3*m - 4*z. Suppose b + 18 = 2*b. Is b < m?
False
Let k = -7 + 29/2. Let c = k - 10. Let v = -4 + 2. Is c not equal to v?
True
Let i = -2/99 + -31/99. Let b = 0.97 - 1.37. Is b >= i?
False
Let y(c) = -2*c**2 - 51*c - 119. Let o(d) = -d**2 - 26*d - 60. Let a(h) = 7*o(h) - 4*y(h). Let k be a(-19). Do 0 and k have different values?
True
Let l = 9 + -7. Let c = 512 + -482. Are c and l unequal?
True
Let z be (1 - 0)*5*1. Suppose 5*h + 5*t = 0, -2*h + z*h = t + 4. Is h bigger than 3/13?
True
Let i be (-2)/(-3) - (-1 + 3419/2028). Which is smaller: i or 1?
i
Let y = -57 + 59. Suppose y*g + 5*i - 4*i = 0, -5*g + 3*i = 0. Which is greater: -17 or g?
g
Let w be (-2 + 14)/(-3) + 6. Suppose f - 10 = -0*r + w*r, 50 = 5*f - 5*r. Let y be 4/f*2/12. Is y smaller than 1?
True
Let t = 37 - 12. Let f = t + -21.7. Is f at most 0?
False
Let x = -319/2135 - -2/305. Let a = -1.9 + -0.1. Is x <= a?
False
Let v be ((-104)/(-32))/(5/(-40)). Which is greater: -14 or v?
-14
Let m(q) = 174*q**2 - 56*q - 117. Let j be m(-2). Are j and 691 unequal?
False
Suppose -5*c = 5*v - 20, -2*c + 2*v - 2 = -c. Suppose 3*b - 4*i = 0, 2*b = -4*i + 2*i + 14. Let y be (b/56)/((-6)/(-216)). Is c at least as big as y?
False
Let n(s) = -3*s**3 + s**2 + 2*s + 1. Let r(w) = 16*w**3 - 5*w**2 - 9*w - 4. Let b(m) = 11*n(m) + 2*r(m). Let j be b(-2). Are 10 and j nonequal?
True
Let g be 124/31 + 5*-1. Which is smaller: g or -3/71?
g
Let b = 395.3 + -384. Which is greater: -1 or b?
b
Suppose 5*q + 52 = b - 39, 5*b + 85 = -5*q. Suppose 17*f - 13*f = 4*t + 104, 5*f - t = 110. Let o = q + f. Are 22/5 and o nonequal?
True
Let c be 189/(-147) - 4/(-14). Is c equal to -1?
True
Let z(d) = 4*d - 19. Let m be (-5)/10*4 + 11. Let j be z(m). Which is smaller: 16 or j?
16
Suppose 2*z + 15 = 5*z. Let u be (-11 - (4 - 5))/(-2). Suppose -7 = u*x - 27. Is z greater than or equal to x?
True
Suppose 0 = -11*g + 2519 + 2431. Do 450 and g have the same value?
True
Let k = -1143 + 865. Is -279 < k?
True
Let b = -72960 - -948016/13. Which is smaller: -37 or b?
-37
Let x = -645 + 919. Let d = 268 - x. Let l(q) = -2*q**3 + q. Let g be l(1). Is g equal to d?
False
Let v = -6312 + 6531.04. Let o = v + -215. Let x = -0.04 + o. Is 0 not equal to x?
True
Let q be 66/21 - 1/7. Let p(h) = h**2 - 3*h - 1. Let w be p(q). Let l be (4/30)/((-24)/40). Is w > l?
False
Let x = -44/133 + 822/2527. Which is bigger: x or 0?
0
Let i = -1230 + 700. Let y = -3173/6 - i. Which is greater: y or 0?
y
Let w = -253/15 - -50/3. Are w and 132 equal?
False
Let w be 3120/(-560) - 4/(-7). Is w smaller than 3/19?
True
Let j(d) = 2*d + 13. Let t be j(-6). Let a(k) = 2*k**3 + 1. Let s be a(t). Suppose s = -5*v + 8*v. Is v < 3?
True
Let h be 73 - 8 - 2/1. Suppose 221 + h = -4*n. Which is greater: n or -70?
-70
Let i = 9.128 - 10.49. Are i and -1 unequal?
True
Let c be -4*4/(-64)*4. Are c and 0.097 non-equal?
True
Let q(y) = 9*y + 8. Let b be q(-6). Let z = b + 45. Let u = 683/6308 + -1/332. Which is bigger: u or z?
u
Suppose -m - 4*y = 56 + 42, 2*y - 68 = m. Let c be m/(-290) + 2/(-20)*2. Which is greater: c or -1?
c
Let q be 726/(-102) + (-2)/(-17). Are -17/3 and q unequal?
True
Let w be (14 + 2)*4/(124 + -4). Is 4 at least as big as w?
True
Let n = -8/725 - 919/113825. Which is smaller: n or -1?
-1
Let v be (-1802)/2652 + 4/(-26). Which is bigger: -0.02 or v?
-0.02
Let l = 458.5 - 457. Do 0.06 and l have different values?
True
Let h = 1.6 + -2.6. Let p = 10 - 1. Let s = 6 - p. Is h <= s?
False
Let g = 23 - 31. Let f(z) = -z**2 - 4*z - 5. Let v be f(g). Let l = v + 54. Which is smaller: l or 16?
16
Suppose -o - 5 = -36. Let r = o - 35. Which is smaller: r or -3?
r
Suppose -f = -0*f + 2. Let z be (f + 3)/((-1)/(-84)). Let q be 2/(z/(-87)) + 2. Are q and -1 equal?
False
Let v = 16 + -16. Suppose v = 3*j - 4*p - 3, 2*j + p - 5 = -3*j. Let r be 75/(-36) + 1 + j. Is r equal to 1?
False
Suppose -4 = -2*x - 3*r + 4*r, r - 16 = -3*x. Suppose x*m + 3 = 7*m. Which is smaller: m or 0?
0
Let d(u) = u + 3. Let o be d(-4). Let r = 10390813/16 - 649910. Let t = r - -484. Which is smaller: t or o?
o
Let x = -0.5 + 1. Let m = x + -0.49. Let a = 187 - 187. Which is smaller: a or m?
a
Let i = -22.61 - -23. Let b = -0.95 - -1.3. Let k = i - b. Which is smaller: -0.1 or k?
-0.1
Suppose -r - 5 = -2*r. Suppose -7*u + 13 = -2*u + 4*a, -r*u + 3 = -a. Let g be (-2)/6 + (-4)/(-18). Are u and g unequal?
True
Let y = 931/15 + -62. Let h = -7/15 + y. Is h at most as big as 1?
True
Let i be -8*(7/28 - 1). Which is smaller: i or -3?
-3
Suppose -14*o + 13*o = 1. Let f = 7/435 - 403/1015. Let k = -29/70 - f. Which is smaller: k or o?
o
Suppose 4*k - 2*u - 162 = 0, -k - 6*u + 35 = -u. Is 39 greater than k?
False
Let j = 43.081 + -43. Let p = -6.181 + j. Which is bigger: 1 or p?
1
Suppose -n = 8 + 73. Let d