l**2 + 9*l + 4. Let d be j(-6). Let n = d - -24. Let c be (-4)/n - (-91)/65. Is c equal to 0?
False
Suppose -4*t + 11 = -3*t. Suppose 5*l - t = -2*q, 3*q + 43 = -q + 3*l. Let b = 34/5 + q. Is b greater than or equal to 0?
False
Let a be (180 - (2 + -2))/((-69)/2). Do -6 and a have different values?
True
Suppose -5*i + 31 = 2*d, 2*d = -13*i + 15*i - 4. Let x = -0.05 + -0.1. Is x at most as big as d?
True
Let t be (-57477)/210*(-2)/11. Let z = 249/5 - t. Which is smaller: -1 or z?
-1
Let t be -6 - (-3284)/60 - (-2)/(-3). Let x = t - 48. Let c(l) = -l + 1. Let h be c(2). Is h smaller than x?
True
Suppose 58*c = 51*c. Suppose 5*j + 19 + 16 = -5*b, 3*j - 2*b = 4. Let d be (j/(-12))/(8/18). Are c and d equal?
False
Let c = 7 - 28. Let z = -46.8 + 25.7. Let j = z - c. Which is greater: j or -9?
j
Let h(f) = -2*f + 21. Let b(z) = -2*z + 1. Let g(a) = -a**2 + 12*a + 8. Let k be g(13). Let d be b(k). Let m be h(d). Are -2 and m nonequal?
True
Suppose 688*j - 695*j + 511 = 0. Is j equal to 72?
False
Let o(d) = d - 3. Let v be o(9). Is v < 6?
False
Let m = 73.994 - 74. Let p = m + 0.006. Is 46/7 greater than p?
True
Let u = -1 - -9. Suppose 9*o + 445 = 562. Which is smaller: o or u?
u
Let y(s) = s**2 + 3*s + 51. Let o be y(0). Let v = -45 + o. Let k(c) = -c**3 - 3*c**2 + c + 4. Let l be k(-3). Is v equal to l?
False
Suppose 5*f = 8*f. Let p be (0 - (-1)/61)*(-5)/15. Let m = -926/2013 - p. Is m <= f?
True
Let o = 152/27 + 1963/27. Let b = 77 - o. Is b equal to 11?
False
Let u(t) = t**3 + 4*t**2 + 3*t - 4. Let n(c) = -2*c**2 - 1. Let z be n(-3). Let m = z + 16. Let h be u(m). Is 0 less than h?
False
Let p = 35720/17 - 2100. Which is bigger: -3/4 or p?
p
Let i be -6 - (462/(-11))/7. Let l be 2*-5*(-2)/4. Is l less than or equal to i?
False
Let h = -84 + 92. Let c be (2/16)/((-52)/h - -7). Which is smaller: -2/5 or c?
-2/5
Let y = -0.65 - -2.65. Let c = y + -2.07. Is c != 7?
True
Suppose -45*q + 65 = -40*q. Suppose 0 = -q*k + 15*k - 2. Let f be (-2)/4 + (-81)/(-6). Which is greater: f or k?
f
Suppose 0 = -x + 5*w + 23, -5*w + 27 + 46 = x. Let c = 1728048/19 + -90902. Let g = x - c. Is g at most as big as -1?
False
Suppose 57 = 17*l - 79. Which is greater: l or 6?
l
Let t(a) = a**3 + 8*a**2 + 9*a + 1. Let g be t(-7). Let f = g - -14. Is f > 1/27?
True
Let v = -42 + 44. Suppose 2*d - 37 = k, 26 = -3*d + 4*d - v*k. Which is bigger: d or 15?
d
Let l be 188/(-470) - 346/(-340). Which is smaller: 2 or l?
l
Let x(l) = -l**2 - 3*l + 5. Let p be x(-5). Let k = 1 + p. Let m be (-1)/(-5)*(k - -1). Is 1/3 less than m?
False
Let m(o) = -o + 1. Let t be m(6). Let w(h) = h**3 + 5*h**2 - 2. Let d be w(t). Let s(l) = l**3 + 3*l**2 + l - 1. Let u be s(d). Is u smaller than 9/4?
True
Let d = 0.181 - 9.931. Which is smaller: -1 or d?
d
Suppose -3 = 3*m, 6*b = 2*b + 4*m. Suppose 0 = -3*u - 2*i - 23, 3*u - 4*i = -u - 44. Which is smaller: b or u?
u
Suppose 38*t - 85 = 105. Is 32/5 bigger than t?
True
Let o be (-4 + (-18)/(-2))*1. Suppose 2 = -3*n - n + o*z, 2*z = -n + 6. Which is smaller: 10/13 or n?
10/13
Let u(z) = -5*z**2 - 7*z - 9. Let s be u(-1). Is s > -45/8?
False
Let f(w) = w**2 - 28*w - 299. Let o be f(40). Which is bigger: o or 178?
o
Let t(u) = -3*u**2 - 19*u - 19. Let o be t(-5). Is o > 15/43?
True
Let c = -210.4 - -211.4. Which is bigger: c or -948?
c
Let t be (2/10)/(322/(-35)). Suppose -25 = 3*n - 28. Is t less than n?
True
Let n = -82.5 - -68. Let t = n - -3.5. Are t and -3 equal?
False
Suppose i + 6 - 15 = 5*k, 100 = 4*i - 4*k. Which is bigger: 69 or i?
69
Suppose -5*w + 226 = -919. Let p = -237 + w. Suppose 3*u = 4*z + 38, 0*u - 3*u - 34 = 5*z. Do p and z have the same value?
True
Suppose -187 = -9*y - 2*y. Is 13 less than or equal to y?
True
Let q = 6121/231 - 419/21. Is q less than or equal to 7?
True
Let q be 4/(-9)*21/(-14). Let s = -91 + 269/3. Which is bigger: q or s?
q
Let k(r) = 4*r**2 - 9*r - 10. Let f be k(10). Let c = f - 1494/5. Is c > 1?
True
Suppose -105 = -2*y - 43. Is 27 less than or equal to y?
True
Let f = 11.48 + 0.52. Let j = 11.8 - f. Which is bigger: 2/13 or j?
2/13
Suppose -s - 18 = -22. Suppose -4*i = -s*o - 8, -o = 5*i - 2*o + 10. Let x be 1 + (-5 - i) - 2. Which is greater: x or -1?
-1
Let u = -0.223 - -0.093. Is -0.2 at least as big as u?
False
Suppose 0*h = -h - 27. Let l(g) = 2*g**2 + g - 15. Let a be l(7). Let z = 63 - a. Is h bigger than z?
False
Let u = -1062 + 81768/77. Do u and -1 have different values?
True
Let y = -22 - -29. Let w = -68 + 71. Which is smaller: w or y?
w
Suppose -645*m = -651*m - 294. Let z(x) = x**3 + 2*x**2 + 4*x. Let h be z(-4). Is h greater than m?
True
Let q = 195 - 192. Let j be 4*(2 - (0 - -1)). Let c = q - j. Which is smaller: c or -3/16?
c
Let n = 3.04 + -0.04. Let p be -2 - ((-640)/(-152))/(-2). Is n != p?
True
Let n(o) = 5*o + 21. Let g be n(-4). Suppose -279 = -5*c + g. Is 55 greater than or equal to c?
False
Suppose 4*z = 4*l, -2*l + 5*l = 2*z. Let q(f) = -2*f - 6. Let b be q(-4). Which is smaller: l or b?
l
Suppose 4*j = -13*j - 1105. Let w = 112 + j. Is 47 not equal to w?
False
Let q = -111/5 - -479/20. Is 3 bigger than q?
True
Let c(h) = 24*h + 606. Let s be c(-25). Suppose 9 + 3 = 4*k. Let o be (-3)/(-4)*22/k. Is s at least as big as o?
True
Let x be (-4)/6*36/(-24). Which is greater: x or 2?
2
Suppose -5*g - 14 = -3*g + 5*o, 2*o - 6 = 5*g. Let k be (40/14)/(-2) - g. Let v = 797 - 796. Are k and v non-equal?
True
Let k = 53 + -27. Let l(m) = 5*m**2 + 5. Let c be l(2). Which is smaller: k or c?
c
Let y = 0.73 + -0.03. Let a = 0.5 - y. Which is smaller: a or -5?
-5
Let n be 2*((-21)/(-10) + (-15)/25). Which is bigger: 38/11 or n?
38/11
Let c be 596/10*80/(-8). Let f = c - -5369/9. Is f less than 2?
True
Suppose 5*j = -3*b - 35 + 32, 0 = 2*j. Is -2/11 less than b?
False
Let g be (-34)/100 + 88/220. Which is smaller: g or 0?
0
Let g = -56 + 59. Let o be ((-3)/81*-3)/(1/g). Do 3/4 and o have the same value?
False
Let a be (5 - 7)*(0 - (-3)/(-3)). Let m = 3 + -12. Let f = -9 - m. Is a not equal to f?
True
Suppose 8*u - 5*u - 12 = 0. Suppose -c + 0 - u = 0. Is c bigger than -4?
False
Let b = 0.2 - 0.3. Let x = -0.315 - -1.115. Is b at least as big as x?
False
Suppose 21*h = 18*h + 3. Which is smaller: 11/89 or h?
11/89
Suppose 5*p = -w - 61, 2*w + 5*p = -0*w - 137. Which is bigger: -3 or w?
-3
Let o be 12/(-20) + 3/5. Let k(w) = w**2 + w + 2. Let r be k(-2). Let c = o - r. Is -4 smaller than c?
False
Suppose 0 = -2*t + 3*o + 151, 13*o = 12*o - 1. Is t at least as big as 74?
True
Suppose -y - 1 = -3. Suppose 0 = -0*r - y*r - 8. Let b = -2 - r. Which is bigger: 3 or b?
3
Let j = -8 - -11. Suppose -2*w - o + 29 = 4*o, -j*o = -9. Let k = w - 13/3. Do 4 and k have the same value?
False
Let n be ((-4)/(-8))/((-34)/(-4)). Suppose 5*y = m - 2*m + 14, -5*m + 5*y + 10 = 0. Suppose 4*x = -12, q = -m*x + x - 8. Is n less than q?
True
Let z be (6/(-9))/(248/(-16)). Is 0 <= z?
True
Let g = 139 - 975/7. Is -1 >= g?
False
Let f be 43/((9/(-6))/3). Let b = 732 - 819. Is f less than b?
False
Suppose -5*f + 2*f + 3 = 0, -5*z + 30 = 5*f. Let c(t) = 3 + 5 + t - 3 + z. Let k be c(-5). Do 7 and k have different values?
True
Let w(n) = -n**2 - n + 10. Let s be w(-3). Let y be 0/((s + -8)/4). Let q = -4567/266 - -120/7. Is y equal to q?
False
Let a be 9 + (-4 - -4 - (2 + 0)). Suppose -5*l = 0, -3*l - l = 2*b - 56. Suppose -1 - b = 2*j + 5*u, 2*u + 18 = -4*j. Is j != a?
True
Let m = -0.8 + -0.2. Let p = -8.4 + -2.6. Let w = p - -11. Which is smaller: m or w?
m
Let p be -2*1 + (-1)/(357/(-728)). Which is smaller: -3 or p?
-3
Let o = 271 - 274. Is -2 at least o?
True
Let k be 1/4 + 21/12. Let w be (k + -2)/(2/1). Let i = 791/12507 - 1/379. Is w less than or equal to i?
True
Let z = 2671 - 2663. Which is bigger: -0.014 or z?
z
Let h = 0.29 + 0.51. Let f = h + -0.9. Let k(d) = -d**2 - 2*d + 3. Let v be k(-4). Is f less than v?
False
Let g = 0.3544 - 0.0544. Suppose 3*i = -5*o - i + 15, 0 = -5*o - 3*i + 15. Let n = -2 - o. Which is bigger: n or g?
g
Suppose -o - 26 = 3*p, -13*p + 10*p = 4*o + 104. Which is bigger: -29 or o?
o
Let v(k) be the first derivative of -7*k**2/2 + 4*k + 4. Let d be v(2). Let g = 14 + d. Is g >= 2?
True
Suppose -4*t + 190 = -0*p - 2*p, 3*p = 3*t - 138. Suppose -4*i + t = -143. Is i < 47?
False
Let d = -