m?
1
Let u be ((-46)/(-69))/((-2)/207). Which is smaller: -68 or u?
u
Let c be (-2)/(-3) - 3/(-9). Suppose -3*i - 52 = -2*w, -w - 3*i + 6*i = -32. Let x = w - 20. Is x < c?
True
Let g = 46 - 46.42. Let u = g - -0.02. Let l = u + -0.4. Which is smaller: -0.1 or l?
l
Suppose 0 = 11*s - 2 + 13. Is s smaller than -1/100?
True
Suppose 3*m + 57 = -3*j, j + j - m + 44 = 0. Let i be (-10)/(-4)*((-4 - -3) + j). Is i > -56?
True
Let v(g) = -2*g**3 - 15*g**2 + 11*g + 17. Let f be v(-8). Which is smaller: -9 or f?
-9
Let n = 150 - 177.1. Let b = 27 + n. Is 13 at most b?
False
Let m be (-13)/(650/2020) - 4/(-10). Are -64 and m equal?
False
Let y = 5 + -2. Let j = 4 + -4. Suppose -2*r + 1 + 5 = j. Is r < y?
False
Let v = -7 - -14. Suppose -5*y = -2*x + 8, 2*y - 7*y = -3*x + v. Suppose 2 = 3*p + 11. Is y less than p?
False
Let k = 13 + -3. Suppose 0 = -31*d + 26*d + k. Suppose 2 = -4*z + y, -3*y + 4 = -d. Is z greater than -3/25?
True
Let w(z) = -36*z**3 - z**2 - 2*z - 1. Let h be w(-1). Suppose -141 = -7*s + 3*s - 3*o, 5*s - 5*o - 185 = 0. Does h = s?
True
Let m = 345.4 + -316.47. Let o = 36 + -7. Let r = o - m. Which is greater: -2 or r?
r
Let c = -6.1 - -6.14. Let g = -0.03 + c. Is -2 at least g?
False
Suppose 2*k - 5*g + 11 = 3, 0 = 5*k + g - 7. Suppose -4*c = 5*q - 22, 21 = 8*c - 3*c + 3*q. Are k and c unequal?
True
Suppose -2 = -17*o - 2. Do o and -2/3 have the same value?
False
Let n(z) = -z**2 + 2*z - 1. Let u be n(4). Let d be ((-6)/616)/(u/(-26574)). Let l = -201/7 - d. Are l and 0 unequal?
True
Let v = 41 - 40.68. Let g = 0.88 + v. Which is bigger: -2 or g?
g
Let n(z) = -z - 10. Let j be n(-8). Let q be ((-8)/3)/(j/9). Let g be 4*1*3/q. Is g not equal to -1/5?
True
Let v = -7/23 + 205/69. Let r = 19 - 16. Which is greater: r or v?
r
Let o = -8/21 + 5/7. Let f be 220/132 + (-64)/12 + 3. Which is greater: f or o?
o
Let y = -5 + 2. Let n be 10/(-6) - 2/y. Let s = 204/25 + -433/50. Which is smaller: s or n?
n
Suppose 0 = 5*u - 5*m + 10, 0 = 3*u + 3*m + 8 - 32. Let r be u*1/9*-2. Let w = -55 + 55. Is w greater than or equal to r?
True
Let z be 4/(40/(-5))*2/17. Let v(y) = -y**2 + 4*y + 3. Let p be v(4). Let k be (-1)/(0 - (p - 2)). Which is greater: k or z?
k
Let t = -0.026 - 8.974. Is 4 < t?
False
Let q = -0.4 - -0.24. Let a = 0.26 + q. Are a and -29 equal?
False
Let s(y) = -2*y - 10. Let g be s(-6). Suppose g*x + 2*n - 5 = 3, -5*x + 2*n = 1. Let f be (-26)/(-87) + (-2)/6. Are x and f equal?
False
Let q = -192457/118 + 1631. Let b = -243/826 + q. Let o = -469 - -459. Which is smaller: b or o?
o
Let c(u) = u - 1. Let a(f) = 4*f + 9. Let w(i) = -a(i) + 2*c(i). Let y be w(-7). Let h(q) = q**2 - 2*q + 3. Let o be h(2). Is y at least as big as o?
True
Let w be (1 - (-2 - -1))/(52/234). Which is greater: w or 6?
w
Let d(g) = -3*g**2 - 16*g - 63. Let t(k) = -2*k**2 - 8*k - 31. Let f(h) = -3*d(h) + 5*t(h). Let v be f(11). Which is bigger: v or 7/5?
7/5
Suppose 3*t - 12 = -0*t, 5*x = -2*t + 23. Suppose 3*v = g - 2*v - 19, -x*g + 67 = -5*v. Is g equal to 24?
True
Suppose 0 = -t + 5*t. Let y = 4 - t. Suppose p + 2 - y = 0. Is 6 smaller than p?
False
Let h = 31.65 - -1.35. Is h < -2/7?
False
Let a = 108 - 80. Let w be (-1251)/(-45) - 1/(-5). Is w at least as big as a?
True
Suppose 9 = 3*n - 18. Suppose 3*y - y = 18. Let h be y/45 - (-304)/30. Which is smaller: n or h?
n
Let i = 11694/5 + -2314. Is i smaller than 1/3?
False
Let n = 284 + -283.8. Which is smaller: -357 or n?
-357
Let i(w) = -w - 24. Let s be 6/(-14) + 1330/(-98). Let r be i(s). Does -2 = r?
False
Suppose 3*b - 3*m - 66 = 0, -5*m + 13 = 2*b - 10. Suppose -17*q - 2 = -b*q. Which is bigger: 4/27 or q?
q
Suppose -3*c - 172 = 2*d - 97, -3*c = 5*d + 84. Is c >= -24?
True
Let c = -384.9 - -385. Which is smaller: c or -16?
-16
Let y = -25199/45 - -560. Which is greater: -1 or y?
y
Let k be ((-54)/(-5))/(2/5). Let h = k - 17. Suppose m + h = 27. Does 18 = m?
False
Suppose 4*z + 355 = 5*h, -z = -3*h + 2*z + 216. Let s = -206/3 + h. Which is greater: s or -1?
-1
Let f(i) = -i**2 + 13*i - 20. Let t be f(11). Suppose r = -a + 4, a = r - 0*r + t. Is 13 != r?
True
Let t = 0.015 + -1.015. Suppose -2 = v - 1. Let p be ((-2)/v)/((-6)/(-9)). Is t smaller than p?
True
Let v = -18.42 + 18.5. Is v != -3?
True
Let u be (-5)/(20/(-16)) + -25. Let p be (-11106)/350 + u/(-7). Let g = 200/7 + p. Which is smaller: 0 or g?
g
Let u = 393.7 - 5.7. Which is smaller: -2 or u?
-2
Suppose r - 316 = -2*v - 309, v + 5*r - 17 = 0. Suppose -3*k + 8*k = 0. Let f be k/5 - (-4)/3. Does f = v?
False
Let z(c) = c**3 - 4*c**2 + 9. Let n = -47 - -50. Let g be z(n). Which is bigger: g or -1/10?
g
Let q be 4*(-2)/(-4) - -3. Suppose q*t - 12 = 3*t. Is t bigger than 6?
False
Let z(r) be the second derivative of r**4/12 - 5*r**3/6 - 4*r**2 - 16*r. Let a be z(6). Let y be 12/(-18) - 10/21. Is a equal to y?
False
Suppose -5*w + 5*t = -40, 2*w + t = -t + 36. Is w <= -1?
False
Let y be (1/205)/((126/(-24))/(-21)). Which is bigger: y or 0?
y
Let c = 229.7 + -230.7. Are 123 and c equal?
False
Let o be (1560/1350)/(2/(-5)). Which is greater: o or -3?
o
Let j(w) be the first derivative of -w**2 - 14*w - 3. Let n be j(6). Let f = n - -16. Is -7 != f?
True
Let d = 1.1 - 0.1. Let p be (-2*2)/(-4 + (-119)/(-21)). Let n = -2 - p. Are n and d nonequal?
True
Suppose 1 = -4*k - 4*b - 19, -3*b - 20 = 4*k. Which is smaller: -16 or k?
-16
Let a be (2/2)/1 - 1. Let w = 11357067/17 + -668883. Let z = -820 - w. Which is greater: a or z?
z
Let c be (-21)/7 - -94*(-2)/4. Is c greater than 5?
False
Let p(w) = w - 7. Let q be p(9). Let i = 10 - 9. Is q != i?
True
Let z(j) = -j**3 - 17*j**2 + 2*j + 2. Let u be z(-17). Let x = u - -32. Which is greater: x or -3?
x
Let s = 92.2 + -92.3. Let z be ((-4)/14)/(18/(-14)). Is s less than or equal to z?
True
Let m = 765/2 + -382. Which is smaller: -119 or m?
-119
Let g(v) = -v + 8. Let n be g(3). Is 0.2 at least n?
False
Let x be (-6*(-4)/(-18))/(4/(-6)). Suppose -4*f + k = -6, -6*k + k = -x*f + 12. Which is smaller: f or 3?
f
Let b = 926.934 - 928. Let l = b - -11.046. Let x = l + -10. Is -1/4 less than x?
True
Let y = 458.8 + -321. Is 1/2 equal to y?
False
Suppose 5*v - 7 + 2 = 0. Let u = v - 13. Let k = 12 + u. Which is bigger: k or -4?
k
Let j = 12 + -12. Suppose 12*n - 16*n - 32 = j. Let u = n - -2. Are -6 and u equal?
True
Suppose -5*p + 6 + 19 = 5*y, 4*p - 3*y = -8. Is p at least -8/35?
True
Let o = -146103 + 3799487/26. Let g = -187/6 + o. Which is smaller: -1 or g?
-1
Suppose -3*q = 2*r + 2*r + 90, -2*q + 101 = -5*r. Let j = r + 51. Is 30 at least as big as j?
True
Let p = 5.04 - 0.04. Let y = -14 - -13. Which is greater: p or y?
p
Let d = 31.5 - 29.5. Which is greater: 61 or d?
61
Let k = 9 + -15. Let u(p) = p + 2. Let y be 6/4*(-112)/24. Let t be u(y). Which is smaller: k or t?
k
Suppose -703*x = -701*x - 18. Is 8 equal to x?
False
Let b be 2/(3/3) - 8092/4060. Is 1 smaller than b?
False
Let t be 8/2 - (392/20)/7. Let j = -4 - -8. Suppose 4*l + j*p - 28 = 0, -4*l + 4*p = -0*l + 12. Which is greater: t or l?
l
Let m = 1/116 - 235/348. Are m and -1303 equal?
False
Suppose 256*y = 254*y. Is -12 at most as big as y?
True
Let t = 101.8 - 98. Let r = t - 4.37. Which is bigger: r or 2/7?
2/7
Suppose 3*r = -5*l - 180, r - 5*l + 260 = -4*r. Let k be 1*(-3)/(-15) - r/(-25). Is k less than -16?
False
Let r(t) = 8*t + 255. Let x be r(-35). Is x at most as big as -32?
False
Let u = -0.2 + 0.1. Let c = u - -2.1. Let r be 2 - (162/33)/(-6) - 3. Is r greater than c?
False
Let z = 4869 - 12892/3. Is z less than 573?
True
Suppose -13*k + 8*k + 25 = -4*z, 40 = 5*k - 7*z. Is -18/209 greater than k?
False
Let b be 20/(-9) - 2/(-9). Let o be 145/15 - 2/(-6). Let h be (15/9 + -2)*o. Which is smaller: b or h?
h
Let k = 18 + -3. Suppose 5*q - k = -5*u, -u + 5*u = 5*q + 21. Suppose -4*m + 0*m = -u. Is m not equal to 2/3?
True
Suppose -14*m = s - 10*m + 19, 3*s + m = -68. Is -23 greater than or equal to s?
True
Let l be (4 + -5 + 0)*15/(-3). Is 37/6 <= l?
False
Let t = -15 - -3. Suppose -630 = -6*a + 18. Suppose -7*m - 2*m - a = 0. Is t != m?
False
Let f(c) = -4*c**3 - 8*c**2 + 10*c + 1. Let b be f(-5). Which is greater: 250 or b?
b
Let t = -573.8 - -552. Do -1 and t have different values?
True
Let g = 710 - 709. Is -541 greater than g?
False
L