nt values?
True
Let h = -157 - -1729/11. Which is smaller: -1 or h?
-1
Suppose 4*z = 3*j - 4*j + 2, 6 = 3*j + 5*z. Let b be -1*(-4)/(-108)*j. Which is smaller: 0 or b?
b
Let s be (-6)/(-2) - (-5)/(-5). Suppose -4*n = -j + 17, n = s*j - 5*j + 12. Let y be 8/488*(n - -1). Do y and 0 have different values?
True
Let l(z) = -z**2 + 6*z + 11. Let c be l(8). Let m be (-111)/(-12) + c/(-20). Let y = m - 49/6. Is 0 at most y?
True
Let c be 2/8*8/7. Let d be ((-15)/(-12))/(-1 + (-21)/(-24)). Let u be -5 + (-55)/d + 2/4. Which is smaller: c or u?
c
Let z = 163/26 + -3908/585. Let m = 1/90 + z. Which is smaller: m or -4/9?
-4/9
Let u(j) be the second derivative of -j**4/24 + j**3/3 + 5*j**2/2 + j. Let c(v) be the first derivative of u(v). Let t be c(11). Is t bigger than -1/2?
False
Let q = -52 - -89. Let n = -33 + q. Which is smaller: 0.2 or n?
0.2
Let l be 118/(-8) - (-12)/16. Let b be 60/l - (3 - 7). Do 1/2 and b have different values?
True
Let m = -26.964 + 27. Let h = -0.036 + m. Are h and 16 non-equal?
True
Let f be (1834/(-147) + 12)/(3/(-14)). Is f <= 3?
True
Let b = 25 - 15. Let j(w) = 6*w - 25. Let d be j(6). Which is smaller: d or b?
b
Let c = 109341/1072 + -102. Which is bigger: 1 or c?
1
Suppose v + 0*v - 3*f + 12 = 0, -2*f - 14 = 3*v. Let a be (-8)/7 - (v - -4). Which is greater: 2 or a?
2
Let a be 0 + 8/(5 + -4). Let i be 38/a*(-12)/(-3). Let z = i - 3. Is 15 at least as big as z?
False
Let f(z) = -6*z + 1. Let u be f(1). Let m be 15 + 0 + u + 2. Let i = m + -12. Is -3/8 not equal to i?
True
Let p(j) = -11*j + 1. Let c be p(-1). Suppose -162 = 5*z - c. Let d = z + 28. Is d < -3/4?
True
Let u(g) = -g**2 + 20*g - 27. Let i be u(17). Is 27 less than or equal to i?
False
Let h(u) = -u**2 - 6*u - 5. Let y be h(-2). Suppose 4 = 3*n + p - 3, n + p = y. Is 2 >= n?
True
Let o(x) = -x**2 + 9*x - 14. Let t be o(5). Let d be -3*((-58)/t - (12 + -10)). Is 35 > d?
False
Suppose -f = -x + 8, f = 5*x + 2*f - 16. Let u be (-6)/(-2) - (-928)/x. Let w be (1 - u/45) + 4. Is 2 equal to w?
False
Let x(q) = 2*q + 10. Let i = -3 - 0. Let u be x(i). Suppose m = u*m. Is m less than 1/18?
True
Let u = -722 + 5769/8. Let r be -2 + 10/(-30)*-3*1. Which is greater: u or r?
u
Let q = -2672/5 + 533. Is -1 not equal to q?
True
Let c = 495 + -488. Is c != 29?
True
Suppose 0 = -5*c - 0*c + 30. Let j = 5350/889 - -34/127. Which is bigger: c or j?
j
Suppose 0 = 2*k + 2*q + 2, 5*k + 21*q + 5 = 25*q. Is 7/48 not equal to k?
True
Suppose -3*b + 5*s + 47 = -0*s, -51 = -3*b + 3*s. Suppose -14*v = -b*v. Suppose v = 2*l + 2. Which is smaller: 0 or l?
l
Let k be (-1 + 0 + 1)/(-1). Suppose 0 = u - k + 5. Let n be 12/u*(-30)/9. Does n = 7?
False
Let k = 402 + -391. Is 13 at least as big as k?
True
Let j = -428 - -427.96. Which is bigger: j or -7/6?
j
Let r be (8/6)/(8/24). Let x = -21 + r. Which is bigger: x or -21?
x
Let o = -1136 + 1136.1. Which is greater: o or -2/695?
o
Let u be (-2)/10 + 46/5. Let h(c) = -c + 13. Let b be h(u). Are 5 and b nonequal?
True
Let t(y) = y**3 + 13*y**2 + 3*y + 11. Let p be t(-13). Let h be (-3)/9 - p/21. Let g be -2 + 29/15 + 0. Which is bigger: h or g?
h
Suppose -90*r = -15*r + 72450. Which is smaller: r or -967?
-967
Suppose 6*a = 437 - 539. Which is greater: -20 or a?
a
Let a = 60.3 + -55. Let n = a - 5.4. Which is greater: 31/2 or n?
31/2
Let d be 8529/11921 - (-8)/28 - 1. Is d != 1?
True
Let m = -77/4 + 19. Let c = 18 + -16.2. Let a = -1.4 + c. Is a < m?
False
Let y be -129*(1 + 2936/3156). Let j = y - -249. Is j > -1?
True
Let f = -239092/186595067 - 2/121087. Is 0 less than f?
False
Let d(h) = -254*h. Let f be d(-4). Let y = 31344480/30877 + -138/2807. Let z = y - f. Which is smaller: z or -1?
-1
Let j(p) = -31*p - 196. Let c be j(5). Which is smaller: -353 or c?
-353
Let x be (2 + -2)*-1*(3 + -2). Suppose -j + x*v = v - 6, -5*v = -j - 24. Is 1 at least j?
True
Let w(b) = -b**2 + 11*b - 12. Let n(v) = -v. Let c be n(-9). Let o be w(c). Suppose -o*m + 3*m = 0. Is -2/23 > m?
False
Suppose i + 3*i = -12. Let v(b) = -3*b - 5. Let a be v(16). Let d = -227/4 - a. Is d < i?
True
Let v be 1*-8 - (11 + 18). Is -30 >= v?
True
Let o be (-1 - 684)/(-5)*-1. Let b = 413/3 + o. Does b = 26?
False
Let f be (264/330)/(2/(-70)). Do -82/3 and f have the same value?
False
Let g be 27/(-6)*(-3 - -5). Let q = 11 + g. Suppose -q*r + d = -5*r + 6, 9 = 3*r + 2*d. Which is greater: r or 0?
r
Let u be (254/3)/(13/26) + 4. Which is smaller: 174 or u?
u
Let x(d) = 52 - 111 - 11*d + 54. Let i be x(2). Are -107/4 and i unequal?
True
Let r(s) = 9 + 5*s**2 - 13 - s - 3*s. Let q(v) = 14*v**2 - 11*v - 12. Let z(m) = 6*q(m) - 17*r(m). Let g be z(0). Which is smaller: g or -2/7?
g
Let s = 43 - 1593/37. Suppose 8 = -4*g - 5*c + 12, -2*g + c = -2. Which is smaller: g or s?
s
Let x = -4.39 - -0.09. Let s = x + 3.3. Which is smaller: 4 or s?
s
Let w = -12 - -8. Let p be (-7 + (2 - 2))*-1. Let f be (11 - 8) + (-19)/p. Is w less than f?
True
Let f(r) = r**3 - 11*r**2 + 11*r - 1. Let p be f(10). Let x be 8/6*27/(-18). Is p greater than or equal to x?
True
Let j(m) = -m**3 - 4*m**2 - 3*m - 4. Let c be j(-4). Let o(x) = -3*x**2 - 11 + 2*x**2 + x + 18*x. Let d be o(18). Are c and d equal?
False
Suppose 4*r + 16*z = 11*z - 19, 5*r - 1 = 2*z. Is r smaller than 10?
True
Let p(i) = i**3 + 11. Let n be p(4). Which is smaller: n or 73?
73
Suppose k + 86 = -3*w, 25 = -0*k - 5*k. Is w at most as big as -300/11?
False
Suppose -2*n + g = -1, -n - 2*n - 4*g = -29. Let y be 12/42*(-1)/n. Is 0 at most y?
False
Let m = 0.71 + -0.61. Let p = -0.2 + m. Are -52 and p nonequal?
True
Let k = 1198/2397 - 32/51. Let i = -6999 + 7000. Is i greater than k?
True
Let r(j) = 15*j + 3. Let z be r(3). Let b be z/12 - (2 + -1). Suppose 3*s + 12 = 2*s - 3*g, 12 = -b*g. Which is smaller: s or 1?
s
Let w = 15.36 - 15.26. Is w at least -30?
True
Let j = -3/149 - -1058/745. Let t = -0.7 + 0.4. Which is smaller: t or j?
t
Let h = -1112/3 + 374. Is 3 not equal to h?
True
Suppose 11 - 4 = -m. Let i be (-3 + -1 - m)/(-1). Is i bigger than -2?
False
Let z(l) = 0*l - 5*l**3 + l**3 - 8*l**2 + 9 + 3*l**3 + 2*l. Let s be z(-8). Suppose 5*u - 30 = 5*k, -u = -2*k - 12 - 2. Are k and s equal?
False
Let n(m) = -m**2 - 7*m + 2. Let c be n(-5). Suppose -7*w + 3*w = c, 5*i + 2*w - 19 = 0. Suppose -3*p = -4*b - 4 + 11, -3*b + i*p = -8. Is 1 smaller than b?
False
Let q = 1058/2067 + -8/159. Let t(b) = b**3 - 5*b**2 + 4*b - 10. Let r be t(4). Let s = r - -10. Which is bigger: q or s?
q
Let r be (9/366)/((-90)/(-12) + -8). Is -2 greater than r?
False
Let b be (2 - 9)/(1/4). Which is bigger: -30 or b?
b
Let s = -36 - -37. Let g = 1 + s. Which is smaller: -0.4 or g?
-0.4
Let j = 0 - -4. Suppose 987 = -j*u + 279. Let b = 536/3 + u. Does 2 = b?
False
Let j = -44.21 - -0.21. Let x = 44.3 + j. Which is bigger: x or -0.2?
x
Suppose 0*q - 84 = -2*q. Suppose 79 - 109 = 30*t. Is q > t?
True
Suppose -2*q + 115 = 3*q. Let l = 25 - q. Suppose l + 2 = v + p, 0 = v + 5*p - 16. Which is smaller: 3/14 or v?
3/14
Let u be ((-36)/(-14))/((-3)/21). Let x be 4/u - (-35)/90. Is 2/7 bigger than x?
True
Let g = 23.91 - 24. Let w = 0.18 - g. Let q = w - 0.17. Is 7 less than or equal to q?
False
Let m = -35.88 + 36. Let l = m + 0. Which is greater: l or 0.1?
l
Suppose 0 = -82*z + 214 - 2018. Suppose 7*x + 110 = 2*x. Is x smaller than z?
False
Let p(d) = 10*d**2 + d + 2. Let g be p(-1). Let f(r) = 2*r - 20. Let a be f(g). Are a and 0.1 non-equal?
True
Let n be (-259)/(-42)*18/(-4). Let h = n - -28. Is h < 1.3?
True
Suppose 14*m - 4 = 10*m. Let b(w) = w**2 - w + 1. Let s be b(m). Which is smaller: -1/9 or s?
-1/9
Let a = -217 + 111. Is a less than or equal to -108?
False
Suppose 0 = -f - 2*u + 8, 0*u = -f + u + 17. Suppose -4*b = b - 3*w - 15, 3*b - 5 = w. Which is greater: f or b?
f
Let k be 4/18*(-12)/56*2. Which is greater: k or 1?
1
Suppose -a + 1 = 0, -a = 20*t - 16*t - 3101. Is 775 not equal to t?
False
Suppose -4*r + 4*k - 340 = 0, 5*r + 890*k = 887*k - 369. Let a(j) = -10*j**2 - 5*j - 2. Let b be a(-3). Which is greater: r or b?
b
Let z = 176 + -175. Is z < -67?
False
Let l = 0 + 4. Let o be (l + 0)*(-3)/(-4). Let f be 3/(o + 3)*0. Is f bigger than 2/7?
False
Let o be 52 + -46 + (-1096)/182. Which is smaller: o or -1?
-1
Suppose 3*g = -3, -3*n + 4*g - 7 = 37. L