s 0 less than a?
False
Suppose 3*z + 6 = 5*z. Let o be (-11)/z + (-2)/(-4)*-4. Which is smaller: o or -7?
-7
Let y(d) = -481*d + 3. Let z be y(3). Let i = z - -139684/97. Which is smaller: -1 or i?
-1
Suppose w + u = 166, -16*w + 18*w + 5*u = 323. Is 169 > w?
False
Let w = -0.13 - -0.03. Let h = w - -6.1. Let j = 5 - h. Is 3/5 <= j?
False
Let c(b) = b**3 + 7*b**2 + 4. Let t be c(-7). Let k be t/(-14) - 2008/(-7224). Let x = k + -40/387. Is 0 > x?
True
Let g(s) = 24*s**2 - 2*s + 8. Let a be g(2). Is 98 greater than a?
False
Let p = -13 + 13. Let a = 5 + p. Suppose 5*y - 4 = -z, 9 = 3*y + y - a*z. Is y at most 6/5?
True
Let f(l) be the second derivative of -l**4/4 - l**2/2 + 13*l. Let k be f(1). Does -9/2 = k?
False
Let i be ((-2)/(-1))/(5/(-1)). Let m = 47/20 - i. Which is smaller: m or 3?
m
Let n be (-4 - -7) + 2*(-6755)/4510. Which is bigger: 1 or n?
1
Let z = -1.07 + 0.97. Let n = 716.89 - 721. Let y = n - -0.11. Is y at least as big as z?
False
Suppose 5*h = -2*b - 30, 0 = 4*h - 5*b - 24 + 81. Let u be 34/(-255)*(-2)/(h/(-222)). Is 8 bigger than u?
True
Let l be -2 - (-10)/15 - (-11)/15. Are l and -0.3 equal?
False
Let x be 1*(-3 + -86)*-1. Suppose 2*z = -x + 13. Is 1 greater than z?
True
Suppose 4*q + 21 - 1 = 0. Let y = -22686 + 22686. Are y and q unequal?
True
Suppose -4*j = -2*j - 16. Let s = -3 + j. Suppose -o - s*o = -6. Which is bigger: o or 0?
o
Let i(o) be the second derivative of 11*o**3/3 + 2*o**2 + 15*o. Let d be i(1). Is 27 greater than or equal to d?
True
Let w = -263/5 + 799/15. Is w < 173?
True
Let t be (106 + -79)*(-1)/(-3). Which is greater: t or 182/19?
182/19
Let f = 128 - 132. Let h be f + 252/26 + -5. Which is smaller: 1 or h?
h
Let f be 4/(-6) - 48/(-72). Which is smaller: f or -9?
-9
Suppose r = -r. Suppose -f = -r*f. Suppose f*v + v = -3. Is -3 greater than or equal to v?
True
Suppose 0 - 8 = -4*k, 0 = -2*m + 4*k + 12. Suppose m = 4*o - 2. Suppose -o*i + 12 = -0. Is i < 7/2?
False
Suppose 10*t = 7*t + 24. Suppose 0 = 2*w + 2*r - 3*r - 2, 4*w - r - t = 0. Let b = 13 + -8. Which is smaller: b or w?
w
Let i = 33 - 32. Let b = 8/21 - 74/231. Is i smaller than b?
False
Suppose 9*l + 281 + 142 = 0. Do l and -142/3 have different values?
True
Suppose 0 = -2*o - 7*o. Let t be 4 + -7 - (o + 25/(-9)). Is t at most 1?
True
Let c be (-10)/10 - (0 + -6). Suppose 9*d - c*d = 8. Let o = 0 + 3. Are o and d non-equal?
True
Suppose 3*k + 14 = 11. Let y = k + 2. Do y and -3/40 have the same value?
False
Suppose -4*u = 1 + 7. Let v be -2 - (u + -3) - 3. Let n(o) = -o + 2. Let z be n(v). Is z at most as big as 3?
True
Let f = 671730/13027 + 13/1861. Is f not equal to 52?
True
Let m = 13 - 11. Let g be (-48)/(-9)*(-9)/(-4). Suppose -3*k + 2 = 2*i, -g = 4*k - i - 0*i. Which is smaller: k or m?
k
Let r(s) = 9*s + 12. Suppose -3*i - 5*g + 24 = 0, 2*i + 6 = 2*g + 2*g. Let z be r(i). Let y = z + -26. Is y < 13?
False
Let d = 19 - 13. Let z = -0.057 + -0.043. Which is smaller: d or z?
z
Suppose -75*o = -73*o - 8. Let j = 0 + 2. Let h be (j/(-3))/((-8)/36). Which is smaller: o or h?
h
Let i(q) = -2*q**2 - 117*q + 67. Let m be i(-59). Is -69 > m?
False
Let q(u) = 2*u**2 + 2*u - 19. Let b be 8*8/12 - 2/(-3). Let p be q(b). Is 65 at most as big as p?
True
Suppose 2*m + 0*m = 12. Let t be (-3194)/(-40) - m/10. Let y = t - 80. Which is smaller: -2 or y?
-2
Let p be 28/164*20/14. Let a = 148/943 - p. Which is greater: 1/5 or a?
1/5
Let s(y) = -13*y - 60. Let b be s(-6). Suppose 2 = 3*m - v + 1, -2*m + b = -5*v. Is -14/17 at least as big as m?
True
Suppose 0 = -5*c - 2*i - 261, -7*c - 3*i = -3*c + 206. Do -51 and c have the same value?
False
Let r be -1 + 24/(-1) - -2. Let x = -253 - -230. Are x and r unequal?
False
Suppose 9*y = 667 + 89. Which is smaller: 83 or y?
83
Let l be -6*(1 - 6/12). Let b(m) = -2*m**2 + 4. Let j be b(l). Which is bigger: -9 or j?
-9
Let a be (21/6 + -4)*0. Let f(z) = 2*z - 30. Let v be f(a). Let m be 2/(-5)*v/(-18). Are m and -0.3 non-equal?
True
Let z be (1287/(-8829))/((-20)/(-42)). Let o = -2/327 - z. Suppose -2*k - 2 = -n, 3*k + 2*k + 5 = 0. Is n less than or equal to o?
True
Let b(d) be the second derivative of d**5/20 + d**4 + 3*d**3/2 - 2*d**2 - 5*d. Let k be b(-11). Suppose -9*v + 2*c + 43 = -6*v, -5*v + 2*c = -77. Is v > k?
False
Suppose 4*k - 2 = -4*q - 26, q = -4*k - 3. Let u(m) = m + 5. Let j be u(q). Is j < -12/19?
True
Let l = -16 + 12. Let f be 161/612 - 2/8. Let o = 104/153 - f. Which is greater: o or l?
o
Let o be -6 - -7 - (-65)/(-75). Are o and 25 equal?
False
Let k = -0.0474 - 0.0726. Is -22/5 <= k?
True
Let t(q) = -1 - 11 - 4*q + 3*q. Let x be t(-12). Do x and -3/86 have the same value?
False
Suppose 10 - 12 = -p, -p = 3*a - 110. Which is bigger: a or 35?
a
Let t(r) = -9*r - 82. Let y be t(4). Which is smaller: -119 or y?
-119
Let g(u) = 12*u**3 - 3*u**2 - 3*u - 2. Let t be g(3). Let p = t + 446. Let o be 2 - (p/(-124))/(-3). Which is smaller: 0 or o?
0
Let l = 3290/3 - 1078. Is l at most 18?
False
Let m = 457 - 28790/63. Is -1 at least m?
False
Suppose 6*j - 5*j = 17. Let m = -13 + j. Which is greater: 3 or m?
m
Let n be 42/720*-6 - 2/8. Which is greater: n or -2?
n
Suppose -3*h = k - 45, 0 = -4*h + k + k + 50. Let r = h - 22. Let p(b) = b**3 + 10*b**2 + 10*b + 3. Let i be p(-9). Do r and i have different values?
True
Let o(u) = u**3 - 10*u**2 - 12*u + 11. Let q be o(11). Let m be 5*(-4)/(-10) - q. Is 21/10 bigger than m?
True
Let q be (46/(-69))/(202/(-3)*-1). Let k = 307/404 + q. Which is smaller: k or -5?
-5
Let x = 4.07 + -0.07. Let v = x - 3. Let p = -30/203 + -113/609. Which is smaller: p or v?
p
Let c = 0 - 0. Let q be (-16)/(-6) + (-1924)/666. Which is smaller: q or c?
q
Suppose 45 = -16*f + 77. Let k(q) = 5*q + 3. Let c be k(-2). Which is smaller: c or f?
c
Let g be 374/(-34) - 1*854. Is g smaller than -866?
False
Suppose 0 = 2*u + 5*y - 11, 0 = -u + y + 3*y - 1. Suppose -u = 2*b - 5. Suppose -b = -0*h + h. Which is greater: 0.1 or h?
0.1
Let k = -27 - -20. Let q be (3 - 2 - -9)*5/(-10). Which is smaller: k or q?
k
Suppose -7 = g - 2. Let p(t) = t + 12. Let j be p(g). Suppose -4*o + 22 = 6, 2*m = 5*o - 8. Is j smaller than m?
False
Suppose -k - 10 + 2 = -3*f, -5*k = 10. Let n be f/8 + 14/8. Let m be 6 - -1*2/12*0. Is n not equal to m?
True
Let m(j) = -2*j + 3. Let o = 4 - 10. Let u be m(o). Suppose -2*y = -3*y - 3*t + 3, 0 = 2*y - 3*t - u. Which is smaller: y or 4?
4
Let f be -4*(12 + -3) + 4. Let l = 24 + f. Which is smaller: -9 or l?
-9
Let u = -282 - -253. Let w be 164/(-6) - (-2)/6. Is w at least as big as u?
True
Let s(m) = m**2 + 8*m - 1. Let b be s(-8). Suppose 32 = -4*y + 4*u - 24, -3*u = 2*y + 13. Let n be 104/330 + 2/y. Is n at most b?
False
Let a = -963/5 - -193. Which is smaller: a or 760?
a
Let d = -4.34 + 2.34. Do d and 14 have the same value?
False
Let a = 11 - 11.1. Let c = a - 0.3. Is 8 smaller than c?
False
Let r = 328 - 327.9. Is 42 less than r?
False
Let i = 54 - 42. Suppose 3*j = -j - i. Is 0.2 at most j?
False
Let c = -34/3 - -139/12. Let p = 3034/23 - 132. Is c less than or equal to p?
False
Let b = 6.675 + -0.075. Let d = -2.53 + -0.07. Let q = d + b. Is q less than -2/5?
False
Let i = -8 + 5. Let t = -3.1 - i. Let v = -2/7219 - 7215/14438. Which is bigger: v or t?
t
Let w = 2.57 + -0.57. Let q = -3.9 - -2. Let m = w + q. Do 4 and m have the same value?
False
Let f = 677/8 + -681/8. Which is bigger: -463 or f?
f
Suppose -2*k + 6*a = 7*a - 170, 434 = 5*k - 2*a. Is k greater than 1/5?
True
Let c(z) = 3*z**3 - z**2 + z. Let h be c(1). Let g be h/(-11)*(-20)/(-10). Let b = g + 23/22. Is 1/6 less than b?
True
Suppose -2*y + 5*p - 1464 = -122, 2*y - 2*p + 1342 = 0. Which is bigger: -672 or y?
y
Suppose 79*s = 71*s. Let y = -1328/8801 + -2/677. Is s at least y?
True
Let u(k) = -3*k**2 - 24*k + 18. Let a be u(-11). Let n = a + 83. Is n equal to 5?
False
Let u = -176.622 + 177. Let b = u + -0.078. Which is greater: b or -3?
b
Let o(h) = -5*h - 1. Let q be o(-1). Let x be 85 + (4 + -3 - q). Suppose -14 = -4*u + x. Which is smaller: 0.1 or u?
0.1
Suppose -2*o + 64 = 2*b, -3*b = 3*o - 2*o - 28. Suppose -6*c = o + 2. Is c less than -5?
True
Let y be -3 - (1 - 2 - 2). Suppose -4 = s - y*s. Let x = s + -1. Is x at most as big as -5?
True
Let y be ((-134)/20)/((-2)/(-5)) - 3. Which