06041)/6468)/(-13) - (-40)/(-32). Are 0 and p nonequal?
True
Let w = 27 - 26.915. Let k = 0.385 + w. Let v = -0.17 + k. Which is greater: v or -3/4?
v
Let k be 219/(-9) + 4/(-6). Let d be (-30)/k*(-3)/2. Which is bigger: -2 or d?
d
Suppose 2*r = k + 30, -5*r + 80 = -0*r - 5*k. Let w be 1 + 32/(-28) + (-12)/r. Is -1/2 less than or equal to w?
False
Let x = 238533 - 118550801/497. Let r = x - -6/71. Let c(f) = f - 4. Let b be c(5). Which is smaller: r or b?
r
Let p be -1 + 2 + (-51)/57. Suppose 0 = -s - 0*s + 2. Suppose 0 = -3*x - s*x. Do p and x have the same value?
False
Let g = -4404 + 198172/45. Let c = g - -109/360. Is 2 greater than c?
True
Suppose -5*c = 2*v + 91, 5*v - 59 = 3*c + 4*v. Is 0.9 greater than c?
True
Let f = -18 - -19. Let c = 205 + -97. Let x = c - 320/3. Which is smaller: f or x?
f
Let o(i) = -i**3 - 4*i**2 + 2*i - 12. Let y be o(-5). Suppose 0 = -y*q - q + 144. Suppose -3*k - q = 3*h, 0 = -5*k + 4*h + h - 100. Is -17 smaller than k?
True
Suppose 0 = 41*f - 37*f + 404. Let l be (-101 - f)*(-2 + 0 + 1). Is 3/32 < l?
False
Suppose -3*d - 4*s - 80 = 0, -95 = 5*d + 46*s - 47*s. Which is smaller: d or -19?
d
Let k = 0.737 - -0.263. Is -1/413 smaller than k?
True
Let v be (-28)/8*(-2)/7. Suppose v = -2*o + 3*t, 2*o + 2*t = 9 + 15. Is 2 bigger than o?
False
Let g = 55.4 - 44. Let x = -70.6 - g. Which is smaller: -0.1 or x?
x
Let f be ((-36)/(-8) - (-5)/(-1))/1. Is 404 < f?
False
Let u = -51 + 52. Which is smaller: -160 or u?
-160
Suppose 3*u - x = 1687, 5*u = 2*u + 3*x + 1677. Which is smaller: 563 or u?
563
Let p = 1724/23 - 75. Let b(r) = -27*r + 17*r + 11*r + 13. Let c be b(-13). Is c not equal to p?
True
Let w(a) = -a + 13. Let y be w(-6). Suppose 0 = -2*t + 6, -6*z + 2*z - t = -y. Is z greater than or equal to -1/3?
True
Let h = 3 + -4. Let s(a) = -5*a**2 + 12*a + 6. Let i be s(3). Let m be (-42)/12*(i - h). Does m = 32/5?
False
Suppose 0 = 4*d + 3*d - 245. Let a = -34 + d. Which is smaller: a or 0?
0
Suppose 52*t - 57*t = -25. Let s = 3 + -11. Let k be (-18)/45*t/s. Is 1 at most k?
False
Let m(u) = -2*u**3 + 10*u**2 - 5*u + 30. Let q be m(5). Is 4 less than q?
True
Let d be (35/(-2))/(-5)*-4. Let r(c) = -6*c**2 + 5*c + 24. Let p be r(-3). Let s be (p/(-210))/((-60)/d). Is 1 at least as big as s?
True
Let v(a) = a - 2. Let k be v(7). Which is bigger: k or 4?
k
Let u = -1.141 + 0.141. Let v = -4.6 - -4.557. Do v and u have different values?
True
Let z = 2/175 + 324/2275. Let f(i) = -i**2 + 3*i - 2. Let m be f(2). Does m = z?
False
Let p = -17 + 8. Let t = -8 - p. Let f = 3.6 + -3. Which is smaller: f or t?
f
Let v = -8 + 12. Suppose -v*y + 464 = -0*y. Let r be y/(-180) + 1/5. Which is bigger: r or -1?
r
Let w(k) = -13*k - 52. Let s be w(-5). Which is bigger: 10 or s?
s
Suppose 0 = 5*p - 0*z - z - 43, 2*p - 14 = 2*z. Suppose 18 = 4*h + 2. Suppose 0 = 4*j - h, -5*f + 43 = -5*j + 3*j. Is p smaller than f?
False
Let r = 0.1 - -0.9. Let k = -8 - -8.19. Is r smaller than k?
False
Let j(w) = -w**2 - 12*w + 31. Let n be j(-14). Suppose -2*k - 5*s = -7, 2*s + 8 = -2*k + n*k. Let l be k/(-9) - (-11)/(-15). Which is smaller: l or -1?
l
Let u = 2.9 - 4.2. Let m = -13.6 + u. Let z = 15 + m. Is z != 0.1?
False
Let h be 8 - 64/(5 - -3). Is h < -5/57?
False
Let t(l) = 2*l**2 + 5*l - 26. Let j be t(3). Let w = -2 + 4. Let r be (-163)/7 + w/j. Is -24 greater than r?
False
Let d(k) = k**2 - 12*k + 2. Let g = 28 + -21. Let y be d(g). Let p be ((-2)/8)/(y/(-36)). Which is bigger: p or -2?
p
Let x be (6/9)/(2/9). Suppose p - 7 = -n, -n = 4*n + x*p - 25. Suppose -n*z + 2 = 0, -5*a = -a - 4*z - 4. Is -3 bigger than a?
False
Let l = 633331/245 - 2585. Which is smaller: l or 0?
0
Let i(p) = 26*p + 1013. Let u be i(-39). Let q = 2338889/367 - 6373. Which is bigger: u or q?
q
Suppose 0*b = -h - b + 20911, 5*b = -h + 20911. Let k be -1 + h*3/87. Let d = -720 + k. Which is smaller: d or -1?
-1
Let c = -1860 + 1124. Is c bigger than -736?
False
Let i = 1352 - 1352. Is -645 greater than or equal to i?
False
Suppose -5 = -3*q + 2*q. Suppose -o - q = -1, -8 = 2*y + 2*o. Suppose -2*n = -y - 2. Which is smaller: 3 or n?
n
Suppose 0 = 5*k - 10 - 5, 3*o - 4*k = -15. Let g = -9 - -11. Suppose 2 = -g*a + a. Which is bigger: a or o?
o
Let b(c) = -c**3 + 22*c**2 + 76*c + 3. Let p be b(25). Is p bigger than 27?
True
Let x(r) = 3*r**2 - 6*r + 8. Let u(j) = 7*j**2 - 11*j + 17. Let y(b) = -2*u(b) + 5*x(b). Let m be y(4). Let s be 3 + 0 - (-2 - -16). Does s = m?
False
Let f be 1692/(-108) + (-10)/(-6) + -2. Which is smaller: -24 or f?
-24
Let w be (-22)/(-55) - ((-92)/(-5) + 2). Is w at least -206/11?
False
Suppose 4*y + y + 10 = 0. Let i = -3.99 - -4. Let f = -0.19 - i. Which is bigger: f or y?
f
Let a = -0.06 + -0.14. Let p be 8/30*9*6. Let z = 15 - p. Is a at most z?
True
Let q = 3479/31 + -337/3. Which is bigger: q or 0?
0
Suppose -50*q + 55*q = 3*l + 3818, -2*q + 5*l = -1512. Is 766 not equal to q?
False
Let i = -1.1 - -1.321. Which is bigger: i or -1?
i
Let c be 24/20 + (12/(-10))/6. Is 3/29 bigger than c?
False
Let c = -133178/13 + 10262. Let a = -18 + c. Is a less than or equal to 0.1?
True
Let u(a) = -a**3 + 15*a**2 - 10*a + 16. Let w be u(14). Let p be (-4 + w/(-28))/9. Let k = -4/63 - p. Which is bigger: k or -18?
k
Let p(n) = -5*n**3 + 33*n**2 - n + 4. Let i be p(5). Which is smaller: 197 or i?
197
Let c = -86 + 144. Let m = c - 17. Are 0 and m equal?
False
Let y(s) = s**2 - 3*s - 2. Let z be y(3). Let a = -5/2 - z. Which is smaller: -1 or a?
-1
Let h = -749 - -725.5. Do h and -2/5 have the same value?
False
Let u = -772.918 - -773. Which is greater: u or 0.02?
u
Let f(m) = m**2 - 6*m - 5. Let j be f(7). Suppose 0 = j*c + 12 - 16. Is c greater than 5/7?
True
Let g(c) = -4*c**3 + 2*c**2 + 3*c + 6. Let d be g(-2). Is d > 1/4?
True
Let b = 928 - 880. Is -2/7 < b?
True
Let i = 25.47 - 44.5. Let q = -19 - i. Let p = 0 + 2. Which is greater: p or q?
p
Suppose 0 = -0*i + 7*i - 329. Let f = 47 - i. Is -4 > f?
False
Let h(t) = -t**2 - 8*t + 13. Let c be h(-10). Let w be -5 + 2 + (-2 - c). Suppose w*d + 6 = d. Is -8 at most d?
True
Suppose 0 = 3*g + 3*f + 108, -4*g + 37*f - 150 = 38*f. Which is smaller: g or 13?
g
Let h(w) = -3*w**3 - 3*w**2 + 4*w - 2. Let d be h(1). Let j be (-5)/10 + -6*1/d. Is j equal to -5/12?
False
Let y = 5.15 - 1.92. Let o = 3 - y. Which is greater: 0.2 or o?
0.2
Let b = 1/198 + -5/22. Let m = -0.6 - -2.6. Let a = m + -2. Does b = a?
False
Let d = 1090 + -1092. Is d <= -10.7?
False
Let w = 0 + 1. Let i = 18.2 + -18.16. Does i = w?
False
Let j = 781 - 783. Is -2.81 less than j?
True
Let g = -19 + 40. Suppose -2*y - 3*k = -25, 4*y = -2*k + 70 - 0. Is g at least y?
True
Let s = -45 + 48. Let v = 3 - s. Which is smaller: -24 or v?
-24
Let f be (-5)/(-15)*-1 + (-11)/(-15). Let a = -2 + 2. Which is smaller: a or f?
a
Let c = 40 - 418. Which is greater: -379 or c?
c
Let g = 34.72 - 35. Let j = -0.72 + g. Is -0.15 bigger than j?
True
Let h = 9 - 15. Let k(x) = -x**2 + 3*x - 6. Let j be k(3). Is j >= h?
True
Let h be (-4)/(-10) + (-39)/(-15). Suppose -2*a = -h*a - 2. Let y = 2 + a. Which is bigger: -8/11 or y?
y
Let g be 4/30 - 0*(-4)/(-12). Let l(h) = h + 1. Let u be l(-4). Let d = -2 - u. Which is greater: g or d?
d
Let t(h) = -6*h**2 + 8*h + 8. Let n be t(2). Is n less than or equal to 3/254?
True
Let q = -917/21645 + -1/481. Suppose -2*s - 2 = -3*s. Suppose 0 = 3*y - s*y. Is q >= y?
False
Let p(i) = -2*i**3 + i**2 + 2. Let b be p(-2). Let q = b - 14. Let a be q/(3*(-4)/12). Which is bigger: a or -7?
-7
Let f = 1/28 + -233/252. Let u = -4 - -6. Which is smaller: u or f?
f
Let j = -80 - -11. Let p = j + 69.04. Is p greater than 8?
False
Let i be 144/246*15/(-10). Which is smaller: i or -1?
-1
Let d be 0*(-4 + 0)/4. Suppose d = -5*q - 5*k + 55, k - 31 = -3*q - 0. Suppose 0 = -p - p + 3*r - q, -3*r - 45 = 3*p. Is -10 greater than p?
True
Let g be 0/1 + 0 + 2. Suppose -3*f + 12 = -g*f. Suppose 0 = f*n - 15*n - 3. Do -1/12 and n have different values?
True
Let i(z) = z**2 - 8*z - 9. Let j be i(11). Let b = j + -33. Which is smaller: -29/3 or b?
-29/3
Let f = -62945 - -250373/4. Let a = f + 348. Which is smaller: -4 or a?
-4
Let q = -109 + 108.99. Is -2 at most q?
True
Let i = 7721 + -11654. Let m be (-6)/57 - 528/i. Does m = 0?
False
Suppose -g - 4 = -3